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

A classe de complexidade é definida da seguinte maneira (da Wikipedia ):SP2S2P\textrm{S}_2^\textrm{P} Uma linguagem está em se existir um predicado de tempo polinomial tal queLLLSP2S2PS_2^PPPP Se , existe um tal que para todos ,x∈Lx∈Lx \in LyyyzzzP(x,y,z)=1P(x,y,z)=1P(x,y,z)=1 Se , existe um tal que para todo ,x∉Lx∉eux \notin LzzzyyyP(x,y,z)=0P(x,y,z)=0P(x,y,z)=0 onde o tamanho …

10 cc.complexity-theory  complexity-classes 

Na complexidade da comunicação, a conjectura de log-rank afirma que cc(M)=(logrk(M))O(1)cc(M)=(log⁡rk(M))O(1)cc(M) = (\log rk(M))^{O(1)} Onde é a complexidade da comunicação de e é a classificação de (como uma matriz) sobre os reais.M ( x , y ) r k ( M ) Mcc(M)cc(M)cc(M)M(x,y)M(x,y)M(x,y)rk(M)rk(M)rk(M)MMM No entanto, quando você está apenas usando …

10 cc.complexity-theory  big-picture  linear-algebra  open-problem  communication-complexity 

Em uma palestra de Razborov, uma pequena e curiosa declaração é publicada. Se FACTORING for difícil, o pequeno teorema de Fermat não é comprovável em .S1 12S21 1S_{2}^{1} O que é e por que as provas atuais não estão em ? S1 12S21 1S_{2}^{1}S1 12S21 1S_{2}^{1}

10 cc.complexity-theory  lo.logic  proof-complexity 

Minha pergunta é: por que limites inferiores para circuitos booleanos de profundidade 3 com portas "e" e "xor" para determinantes não implicam os mesmos limites inferiores para circuitos aritméticos sobre ?ZZ\mathbb{Z} O que há de errado com o seguinte argumento: Seja um determinante de cálculo do circuito aritmético, e tomando …

10 cc.complexity-theory  circuit-complexity  arithmetic-circuits 

Permita que a classe BPNC (a combinação de e ) seja um algoritmo paralelo de profundidade de log com probabilidade de erro limitada e acesso a uma fonte aleatória (não tenho certeza se este tem um nome diferente). Defina a classe DBPNC da mesma forma, exceto que todos os processos …

10 cc.complexity-theory  complexity-classes  dc.parallel-comp  randomness  pseudorandomness 

BPPBPP\mathsf{BPP} eZPPZPP\mathsf{ZPP} são duas classes de complexidade probabilística básica. BPPBPP\mathsf{BPP} é a classe de linguagens decidida pelos algoritmos de Turing probabilísticos em tempo polinomial, nos quais a probabilidade do algoritmo retornar uma resposta incorreta é limitada, ou seja, a probabilidade de erro é no máximo1313\frac{1}{3} (para instâncias SIM e NÃO). …

10 cc.complexity-theory  complexity-classes  randomness  randomized-algorithms 

Estou procurando referências sobre a complexidade do problema de balanceamento de fórmulas booleanas . Em particular, Sabia-se que as fórmulas booleanas podem ser balanceadas em AC0AC0\mathsf{AC^0} ? Existe uma prova simples de que o balanceamento de fórmula booleana esteja em AC0AC0\mathsf{AC^0} ? Por "simples", quero dizer uma prova mais simples …

10 cc.complexity-theory  ds.algorithms  reference-request  lo.logic  boolean-formulas 

Contexto : Kavvadias e Sideri mostraram que o problema Inverso 3-SAT é coNP Completo: Dado um conjunto de modelos em n variáveis, existe uma fórmula 3-CNF tal que ϕ é seu conjunto exato de modelos? Surge uma fórmula candidata imediata que é a conjunção de todas as 3 cláusulas satisfeitas …

10 cc.complexity-theory  lo.logic  complexity-classes  computability  sat 

Na maioria dos sistemas de prova probabilística (teorema do PCP, por exemplo), as probabilidades de erro são geralmente definidas no lado dos falsos positivos, ou seja, uma definição típica pode parecer: se , o verificador sempre aceita, mas em outro caso, a probabilidade de rejeição é de pelo menos 1/2.x …

10 cc.complexity-theory  pcp  interactive-proofs 

Não consegui encontrar uma afirmação relacionada a e N P R P na literatura; ponteiros seriam apreciados.MAMA\mathsf{MA}NPRPNPRP\mathsf{NP}^\mathsf{RP} Eu acredito que eles são iguais: : O N P máquina suposições cadeia de Merlin, e os R P verifica da Oracle a cadeia como Arthur faria.MA⊆NPRPMA⊆NPRP\mathsf{MA} \subseteq \mathsf{NP}^\mathsf{RP}NPNP\mathsf{NP}RPRP\mathsf{RP} NPRP⊆MANPRP⊆MA\mathsf{NP}^\mathsf{RP} \subseteq \mathsf{MA} : …

10 cc.complexity-theory  oracles 

Seja qualquer problema completo de EXP. Em seguida, P A = N P A .UMAUMAAPUMA= NPUMAPUMA=NPUMAP^A = NP^A Deixe ser algum oráculo que leva em contas as consultas que M (a TM em P) vai fazer, e podemos obter P B ≠ N P B .BBBMMMPB≠ NPBPB≠NPBP^B \neq NP^B Pergunta: …

10 cc.complexity-theory  oracles  relativization 

Decidindo o gráfico O homomorfismo é geralmente NP-Completo. Existem resultados que estudam esse problema quando os gráficos subjacentes têm estrutura algébrica (como decidir homomorfismos dos gráficos de cosset de Cayley ou Cayley para outros gráficos com alguma estrutura definida também)? Além disso, resultados de complexidade também estão interessados ​​em técnicas …

10 cc.complexity-theory  graph-theory  co.combinatorics 

A Wikipedia escreve: O FPT contém os problemas tratáveis ​​do parâmetro fixo, que são aqueles que podem ser resolvidos no tempo para alguma função computável . Normalmente, essa função é considerada exponencial única, como mas a definição admite funções que crescem ainda mais rapidamente. Isso é essencial para grande parte …

10 cc.complexity-theory  fixed-parameter-tractable 

Sabe-se que o cálculo de uma máquina de Turing não determinística (NTM) é representável como uma árvore de configurações, enraizada na configuração inicial. Qualquer transição no programa é representada por um link pai-filho nesta árvore. Árvores semelhantes também podem ser construídas para visualizar os cálculos de máquinas quânticas e probabilísticas. …

10 cc.complexity-theory  quantum-computing  randomness  derandomization  nondeterminism 

Em comemoração ao aniversário de Alan Turing, o Google publicou um doodle mostrando uma máquina. Que tipo de máquina é o doodle? Ele pode expressar um idioma completo de Turing? Existem diferenças óbvias na máquina de turing clássica: uma fita finita, restrições de como o estado pode ser conectado, ... …

10 cc.complexity-theory  turing-machines