Perguntas com a marcação «cc.complexity-theory»

No artigo "Codificação eficiente de CNF para selecionar 1 de N objetos", os autores apresentam sua técnica de "variável de comando" para codificar a restrição e depois falam sobre o problema do buraco de pombo. Como meu erro pode existir no entendimento de nível inferior, deixe-me declarar o que acho …

8 cc.complexity-theory  sat  proof-complexity 

Para poder explicar o problema P vs NP a não matemáticos, eu gostaria de ter um exemplo pedagógico de quando a busca por força bruta pode ser evitada. Idealmente, o problema deve ser imediatamente compreensível e o truque não deve ser muito fácil nem muito difícil. O melhor que eu …

8 cc.complexity-theory  np-hardness  soft-question  complexity-classes  p-vs-np 

Li o famoso livro de Alon e Spencer sobre o método probabilístico na combinatória. Existe uma pesquisa ou notas de aula sobre avanços e relacionamentos recentes com os seguintes tópicos teóricos da complexidade deste método além deste livro? geradores pseudo-aleatórios enganando modelos de computação concretos, gráficos de expansão. limites mais …

8 cc.complexity-theory  reference-request  co.combinatorics  soft-question  survey 

Considere qualquer linguagem . Defina (uma sequência infinita de bits) pela fórmula recursivas ( L ) ∈ { 0 , 1 } ωeuLLs ( L ) ∈ { 0 , 1 }ωs(L)∈{0,1}ωs(L) \in {\lbrace 0, 1 \rbrace}^\omega s ( L )n= χeu( s ( L )&lt; n)s(L)n=χL(s(L)&lt;n)s(L)_n=\chi_L(s(L)_{>0:s(L)_n=\chi_U(s(L)_{>0:s(L, a)_{2n}=\chi_V(s(L, a)_{<2n}) [Eu …

8 cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization 

Enquanto estudava um problema na teoria algorítmica dos jogos, fiquei interessado na complexidade da seguinte pergunta de otimização: Problema Dado: conjunto de base dado por n ,você= [ n ] = { 1 , … , n }U=[n]={1,…,n}U = [n] = \{1,\ldots,n\}nnn classificação dada como ordens totais ⟨ S i …

8 cc.complexity-theory  ds.algorithms  np-hardness  optimization 

Quais são algumas das aplicações da decomposição modular de gráficos na teoria da complexidade / TCS? Estou especialmente interessado em seu uso em provas ou limites superior / inferior, se ocorrer. [1] Decomposição modular de grafos , Wikipedia. [2] Referências para decomposição modular , TCS.SE.

8 reference-request  graph-theory  graph-algorithms  application-of-theory  cc.complexity-theory 

A linguagem dos whileprogramas pode expressar as funções enumeráveis ​​computacionalmente. (Isso é verdade mesmo que as únicas operações aritméticas nas variáveis ​​sejam, por exemplo, incremento e decrementação.) Se whilefor substituído por for, tornando os loops sempre limitados, o idioma poderá expressar apenas as funções recursivas primitivas. Recentemente, tomei conhecimento da …

8 cc.complexity-theory  computability  pl.programming-languages 

Net (conhecido também como FreeNet, ou como NetWalk) é um jogo jogado em um grade com os seguintes objetos:n×nn×nn \times n existem computadores ; cada computador ocupa uma célula e possui um cabo de ligação;mmm cada computador deve estar conectado à unidade central que ocupa uma célula e possui 1, …

8 cc.complexity-theory  reference-request  np-hardness  puzzles 

Espero que esta pergunta não seja muito ingênua para este site. Em matemática (topologia, geometria, álgebra), é comum distinguir entre dois objetos criando uma invariante algébrica ou numérica e provando que os dois objetos têm valores diferentes. Estou me perguntando até que ponto isso foi tentado com classes de complexidade …

8 cc.complexity-theory  complexity-classes  algebra 

No artigo de Savitch em 1969, "Relações entre complexidades de fita não determinísticas e determinísticas", ele afirma que "todas as funções comuns de armazenamento L (n)&gt; = lg n são mensuráveis. Em particular, qualquer polinômio em n e lg n é mensurável". Sua definição de mensurável é: "Diz-se que uma …

8 cc.complexity-theory  pspace  space-complexity 

Não é difícil mostrar que classificar uma matriz de números é difícil para . Se a entrada é uma matriz de 1s e 0s então é essencialmente a função C o u n t (dado n bits de saída do número de 1s em binário) desde C S u n …

8 cc.complexity-theory  circuit-complexity  sorting 

É possível encontrar uma redução na contagem de #SAT para #HornSAT? Eu não encontrei esta pergunta postada aqui, então decidi verificar se alguém tem alguma resposta para isso. Deixe-me explicar o que quero dizer com contagem de redução. Suponha que são dois problemas de contagem. Por exemplo, #SAT pergunta como …

8 cc.complexity-theory  complexity-classes  sat  counting-complexity  reductions 

Isso é conhecido sobre linguagens reconhecidas pelo autômato determinístico bidirecional bidirecional ou pelo logspace TM com contador (modelo equivalente)? Esta classe chamada Aux2DC no meu conselheiro papel . Ou sobre essa classe não determinística? Eu obtive que a classe de idiomas reconhecidos por esses maschines não determinísticos inclui NL e …

8 cc.complexity-theory  complexity-classes  fl.formal-languages  logspace  counter-automata 

Suponha que desejamos encontrar o menor elemento de um conjunto , cujos elementos são indexados de a . Não temos acesso aos valores desses elementos, mas podemos comparar quaisquer dois elementos de para ver qual é menor. Para quaisquer índices e , existe um associado custo para comparar o th …

8 cc.complexity-theory  ds.algorithms  reference-request  online-algorithms 

O seguinte problema é NP-difícil? Dado um conjunto de números reais (metas) e um "tridente" definido por duas distâncias , do centro do tridente, qual é o número mínimo de posições de o tridente para cobrir todos os alvos, por exemplo, x 1 , … , x N a b …

8 cc.complexity-theory  np-hardness  set-cover