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

P versus NP e outra computação limitada a recursos.

2
Garantias teóricas para tempos de execução dos métodos de propagação de crenças?
A propagação de crenças tem se mostrado um método muito poderoso através da pesquisa em modelos gráficos probabilísticos. No entanto, eu não sei nada sobre a BP que seja comparável aos métodos MCMC, onde podemos ter esquemas de aproximação aleatória totalmente polinomiais (FPRAS) para problemas de # P-complete. Alguém poderia …
4
A eta-equivalência para funções é compatível com a operação seq de Haskell?
Lema: Assumindo a eta-equivalência, temos isso (\x -> ⊥) = ⊥ :: A -> B. Prova: ⊥ = (\x -> ⊥ x)por eta-equivalência e (\x -> ⊥ x) = (\x -> ⊥)por redução no lambda. O relatório Haskell 2010, seção 6.2 especifica a seqfunção por duas equações: seq :: a …
1
Transformação de Beicel-Tarui de cricuits ACC
Estou lendo o apêndice sobre os limites inferiores do ACC para NEXP no livro Complexidade computacional de Arora e Barak . http://www.cs.princeton.edu/theory/uploads/Compbook/accnexp.pdf Um dos principais lemas é uma transformação de circuitos ACC0ACC0ACC^{0} em polinômios multilineares sobre os números inteiros com grau polilogarítmico e coeficientes quasipolinomiais ou equivalentemente , a classe …
6
variações de SAT
Procurei na internet, mas não consegui encontrar nenhuma 'grande lista' de variantes do problema SAT. Além do (comum) SENTOU, k-SAT, MAX-kSAT, Half-SAT, XOR-SAT, NAE-SAT o que mais variantes existem? (também será realmente útil se houver classes de complexidade (quando possível))
2
A Paridade-P está contida no PP?
Jan Pax fez essa pergunta na lista de discussão Fundamentos da Matemática . Certamente mas suspeito pelas respostas desta pergunta que não se sabe se (caso contrário, o seria um possível resposta a essa pergunta). Se não se sabe, existe uma separação do oráculo?P⊕ P⊆ P# P=PPPP⊕P⊆P#P=PPPP^{\oplus P} \subseteq P^{\#P} …
2
Abordagens de GI inspiradas no problema do nó
GI e Knot Problem são problemas para decidir a equivalência estrutural de objetos matemáticos. Existem resultados estabelecendo conexões entre eles? Boas conexões do problema do nó à física estatística foram exploradas através de polinômios do nó ; existem resultados semelhantes para ?G IGEuGI Seria particularmente útil saber se existem resultados …
1
Pode-se provar
Resultado 1: O teorema de Linial-Mansour-Nisan diz que o peso quádruplo das funções calculadas pelos circuitos está concentrado nos subconjuntos de tamanho pequeno com alta probabilidade.A C0 0UMAC0 0\mathsf{AC}^0 Resultado 2: O tem seu peso fourier concentrado no coeficiente do grau . nP A R I T YPUMAREuTY\mathsf{PARITY}nnn Pergunta: Existe …
2
Paisagem de sistemas interativos de prova
Minha primeira pergunta é se uma caracterização interativa de sistema de prova é conhecida por todas as classes clássicas de complexidade. Eu chamaria funções clássicas de P, NP, PSPACE, EXP, NEXP, EXPSPACE, recursivas e recursivamente enumeráveis ​​(entre outras). Especificamente, uma caracterização do sistema de prova interativa é conhecida por funções …
Ao utilizar nosso site, você reconhece que leu e compreendeu nossa Política de Cookies e nossa Política de Privacidade.
Licensed under cc by-sa 3.0 with attribution required.