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

Nesta pergunta, uma fórmula 3CNF significa uma fórmula CNF em que cada cláusula envolve exatamente três variáveis distintas . Para um constante 0 < s <1, Gap-3SAT s é o seguinte problema de promessa: Gap-3SAT s Instância : Um 3CNF fórmula φ. Sim, prometo : φ é satisfatório. Sem promessa …

32 cc.complexity-theory  sat  approximation-hardness 

ST-Conectividade é o problema de determinar se existe um caminho entre dois vértices dirigidos distintos e em um grafo orientado G (V, E) . Se esse problema pode ser resolvido no espaço de logs, é um problema aberto de longa data. Isso é chamado de problema NL vs L.ssstttG ( …

31 cc.complexity-theory  graph-theory  space-bounded  treewidth  logspace 

Deixei L={n:the nth binary digit of π is 1}L={n:the nth binary digit of π is 1}L = \{ n : \text{the }n^{th}\text{ binary digit of }\pi\text{ is }1 \} (onde é considerado codificado em binário). Então, o que podemos dizer sobre a complexidade computacional de L ? É claro que …

31 cc.complexity-theory  na.numerical-analysis 

Existem toneladas de problemas completos de NP e fontes que os coletam, por exemplo, consulte o livro de Garey e Johnson. Eu também estaria interessado em ver uma lista dos problemas completos do NEXP. Existe um disponível? Como suponho que não exista, abro esta pergunta (é suposto ser um wiki …

31 cc.complexity-theory  complexity-classes  big-list  nexp 

Eu pensei em compartilhar esta pergunta, pois pode ser interessante para outros usuários aqui. Assume-se que uma função que é de uma classe uniforme (como ) também está em uma pequena classe não uniforme (como um C 0 / p o l y , isto é, não uniforme Um C …

31 cc.complexity-theory  circuit-complexity  uniformity 

Eu estava (e ainda estou) realmente interessado na resposta a essa pergunta, porque essa é uma variação interessante da complexidade dos jogos que não foi resolvida, então eu ofereci uma recompensa. Eu pensei que a pergunta original provavelmente era muito difícil, então eu postei três perguntas relacionadas que também seriam …

31 cc.complexity-theory  gt.game-theory  interactive-proofs 

Neste post convidado por Josh Grochow, no blog de complexidade, ele relata um recente workshop dedicado ao GCT, realizado em Princeton em julho. Vários participantes argumentaram que deveríamos usar o GCT para atacar problemas mais fáceis do que vs. , a fim de criar intuição e ver se o método …

31 cc.complexity-theory  gct 

Decidir se uma fórmula booleana quantificada, como ∀ x1∃ x2∀ x3⋯ ∃ xnφ ( x1, x2, … , Xn) ,∀x1∃x2∀x3⋯∃xnφ(x1,x2,…,xn),\forall x_1 \exists x_2 \forall x_3\cdots \exists x_n \varphi(x_1, x_2,\ldots , x_n), sempre avalia como verdadeiro é um problema clássico completo do PSPACE. Isso pode ser visto como um jogo entre …

31 cc.complexity-theory  sat  gt.game-theory  pspace 

Defina - para ser a classe de idiomas modo que exista um idioma e para infinitos , e concordar em todos os casos de comprimento . (Ou seja, esta é a classe de idiomas que pode ser "resolvida infinitamente com frequência, em tempo subexponencial".)ioioioSUBEXPSUBEXPSUBEXPLLLL′∈∩ε>0TIME(2nε)L′∈∩ε>0TIME(2nε)L' \in \cap_{\varepsilon > 0} TIME(2^{n^{\varepsilon}})nnnLLLL′L′L'nnn Existe …

30 cc.complexity-theory  sat  oracles 

Quais seriam as conseqüências desagradáveis ​​de NP = PSPACE? Estou surpreso por não ter encontrado nada sobre isso, uma vez que essas aulas estão entre as mais famosas. Em particular, isso teria alguma conseqüência sobre as classes mais baixas?

30 cc.complexity-theory  complexity-classes  conditional-results 

Não determinismo limitada associa uma função com uma classe de línguas aceites pelas máquinas de Turing determinísticos limitado de recursos, para formar uma nova classe - . Essa classe consiste nas linguagens que são aceitas por alguma máquina de Turing não determinística, obedecendo aos mesmos limites de recursos usados ​​para …

30 cc.complexity-theory  graph-theory  graph-isomorphism  nondeterminism 

Dado um número inteiro de comprimento bits, quão difícil é produzir o número de fatores primos (ou o número alternativo de fatores) de ?n NNNNnnnNNN Se soubéssemos a fatoração primária de , isso seria fácil. No entanto, se soubéssemos o número de fatores primos ou o número de fatores gerais, …

30 cc.complexity-theory  counting-complexity  nt.number-theory  factoring 

Citando a Wikipedia , "[O Jogo da Vida de Conway] tem o poder de uma máquina de Turing universal: ou seja, qualquer coisa que possa ser computada algoritmicamente pode ser computada no Jogo da Vida de Conway". Esses resultados se estendem a versões barulhentas do Jogo da Vida de Conway? …

30 cc.complexity-theory  pr.probability  cellular-automata  fault-tolerance 

Se olharmos para o teorema da hierarquia DTIME, temos um log devido à sobrecarga na simulação de uma máquina de Turing determinística por uma máquina universal: DTIME(flogf)⊊DTIME(f)DTIME(flog⁡f)⊊DTIME(f)DTIME(\frac{f}{\log f}) \subsetneq DTIME(f) Não temos esse tipo de sobrecarga para o NTIME do DSPACE. Uma justificativa básica vem dos detalhes da prova, considerando …

30 cc.complexity-theory  universal-computation  time-hierarchy 

Qualquer número natural pode ser considerado como uma sequência de bits; portanto, inserir um número natural é o mesmo que inserir uma sequência 0-1; portanto, problemas NP-completos com entradas naturais obviamente existem. Mas existem problemas naturais, ou seja, aqueles que não usam codificação e interpretação especial dos dígitos? Por exemplo …

30 cc.complexity-theory  np-hardness  nt.number-theory  combinatorial-game-theory