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

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

1
Faz ?
Espero que a resposta seja não, mas na verdade não consegui construir um contra-exemplo. A diferença é que em , podemos não conseguir escolher um algoritmo uniformemente em .∩ε>0DTIME(O(n2+ε))∩ε>0DTIME(O(n2+ε))∩_{ε>0} \mathrm{DTIME}(O(n^{2+ε}))O(n2+ε)O(n2+ε)O(n^{2+ε})εεε Por um argumento de encaixe (por exemplo, veja esta pergunta ), se houver um conjunto ce de máquinas de Turing …
3
Fórmulas booleanas quantificadas com alternâncias logarítmicas
Estou estudando um problema difícil para a classe de fórmulas booleanas quantificadas com um número logarítmico de alternâncias dos quantificadores. Um problema nesta classe seria semelhante a: ∀(x1,x2,…xa1)∃(xa1+1,…xa2),…∃(xalogn−1,…xalogn)F∀(x1,x2,…xa1)∃(xa1+1,…xa2),…∃(xalog⁡n−1,…xalog⁡n)F\forall (x_1, x_2, \ldots x_{a_1}) \exists (x_{{a_1}+1}, \ldots x_{a_2}), \ldots \exists(x_{a_{\log n - 1}}, \ldots x_{a_{\log n}})F Onde alogn=nalog⁡n=na_{\log n} = n , …
3
Exemplos de derandomização bem sucedida de BPP para P
Quais são alguns dos principais exemplos de derandomização bem-sucedida ou pelo menos progresso na demonstração de evidências concretas em relação a objetivo P (não a conexão aleatória da dureza)?P=BPPP=BPPP=BPP O único exemplo que me vem à mente é o teste de primalidade determinística no tempo polinomial da AKS (mesmo para …
1
A Programação Dinâmica nunca é mais fraca que o Greedy?
Na complexidade do circuito, temos separações entre potências de vários modelos de circuitos. Na complexidade da prova, temos separações entre potências de vários sistemas de prova. Mas no algorítmico, ainda temos poucas separações entre os poderes dos paradigmas algorítmicos . Minhas perguntas abaixo visam abordar esse último problema por dois …
1
Faz
O que acontece se definirmos P P A DPPAD{\bf PPAD} de tal modo que em vez de um circuito polytime Turing-máquina / polysize, um logspace Turing-máquina ou um A C 0AC0{\bf AC^0} circuito codifica o problema? Recentemente dando algoritmos mais rápidos para Circuit satisfiability para pequenos circuitos acabou por ser …
1
Complexidade suave do permanente não negativo
Há um trabalho fantástico realizado no Permanente nas últimas duas décadas. Eu tenho pensado há algum tempo sobre a possibilidade de um algoritmo Smooth P para as Matrizes Permanentes de Não-Negativas. Obviamente, existe o famoso algoritmo JSV, mas este é um exemplo. Pensando em outro trabalho dentro da Smoothed Complexity, …
3
Soma do subconjunto vs. produto do subconjunto (dureza NP forte vs. fraca)
Eu esperava que alguém pudesse me explicar por que exatamente o problema do produto do subconjunto é fortemente NP-difícil, enquanto o problema da soma do subconjunto é fracamente NP-difícil. Subconjunto Soma: Dado e T , existe um subconjunto X ′ tal que ∑ i ∈ X ′X={x1,...,xn}X={x1,...,xn}X = \{x_1,...,x_n\}TTTX′X′X'∑i∈X′xi=T∑i∈X′xi=T\sum_{i\in X'}x_i …
3
em termos de
O sistema de prova probabilística é comumente referido como uma restrição de , onde Arthur pode usar apenas bits aleatórios e apenas examinar g (n) bits do certificado de prova enviado por Merlin (consulte http://en.wikipedia.org/wiki/Interactive_proof_system#PCP ).PCP[f(n),g(n)]PCP[f(n),g(n)]\mathcal{PCP}[f(n),g(n)]MAMA\mathcal{MA}f(n)f(n)f(n)g(n)g(n)g(n) No entanto, em 1990, Babai, Fortnow e Lund provaram que PCP[poly(n),poly(n)]=NEXPPCP[poly(n),poly(n)]=NEXP\mathcal{PCP}[poly(n), poly(n)] = \mathcal{NEXP} …
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.