Perguntas com a marcação «polynomial-hierarchy»

Em Complexidade Descritiva , Immerman tem Corolário 7.23. As seguintes condições são equivalentes: 1. P = NP. 2. Sobre estruturas finitas e ordenadas, FO (LFP) = SO. Isso pode ser pensado como "amplificando" P = NP para uma declaração equivalente sobre classes de complexidade (presumivelmente) maiores. Observe que SO captura …

54 cc.complexity-theory  reference-request  complexity-classes  conditional-results  polynomial-hierarchy 

Sabemos que o primeiro nível da hierarquia polinomial (ou seja, NP e co-NP) está em PP, e que . Também sabemos pelo Teorema de Toda que .PP⊆ PSPA CEPP⊆PSPACEPP \subseteq PSPACEPH⊆ PPPPH⊆PPPPH \subseteq P^{PP} Sabemos se ? Caso contrário, por que com um oráculo é mais forte que ? É …

37 cc.complexity-theory  counting-complexity  polynomial-hierarchy 

Editar : Como Ravi Boppana corretamente apontou em sua resposta e Scott Aaronson também acrescentou outro exemplo em sua resposta , a resposta a essa pergunta acabou sendo "sim" de uma maneira que eu não esperava. Primeiro, pensei que eles não responderam à pergunta que eu queria fazer, mas, depois …

28 cc.complexity-theory  conditional-results  np  polynomial-hierarchy 

É sabido que se , a hierarquia polinomial entra em colapso e .P=NPP=NP\mathbf{P}=\mathbf{NP}P=PHP=PH\mathbf{P}=\mathbf{PH} Isso pode ser facilmente entendido por indução usando máquinas oracle. A questão é: por que não podemos continuar o processo indutivo além de um nível constante de alternância e provar (também conhecido como )?P=AltTime(nO(1))P=AltTime(nO(1))\mathbf{P}=\mathbf{AltTime}(n^{O(1)})AP=PSPACEAP=PSPACE\mathbf{AP}=\mathbf{PSPACE} Estou procurando uma …

18 cc.complexity-theory  polynomial-hierarchy  intuition 

É verdade que existem problemas na hierarquia polinomial solucionáveis ​​no tempo (por uma máquina de Turing alternada em algum nível da hierarquia polinomial) que não são solucionáveis ​​em em algum nível da hierarquia polinomial? Em outras palavras - existe um teorema da hierarquia de tempo para a hierarquia polinomial como …

18 cc.complexity-theory  reference-request  polynomial-hierarchy  time-hierarchy 

Eu preciso de uma lista de idiomas completos. Existem dois desses problemas listados no Complexity Zoo , a saber:Σp2Σ2p\Sigma_2^p DNF equivalente mínimo. Dada uma fórmula DNF F e um número inteiro k, existe uma fórmula DNF equivalente a F com k ou menos ocorrências de literais? Menor implicante. Dada uma …

16 complexity-classes  polynomial-hierarchy 

É sabido que adicionar aleatoriedade de erro limitado ao PSPACE não adiciona energia. Ou seja, BPPSAPCE = PSPACE. É desconhecido se notoriamente P = BPP, mas sabe-se que .B PP⊆ Σ2∩ Π2BPP⊆Σ2∩Π2BPP\subseteq \Sigma_2\cap \Pi_2 Assim, é possível (embora conjecturado como falso) que adicionar probabilidade a P acrescente poder expressivo. Minha …

12 randomness  derandomization  polynomial-hierarchy 

Contidas entre cada nível da hierarquia polinomial existem várias classes de complexidade, incluindo ΔPEuΔiP\Delta_i^{\text{P}} , DPDP\text{DP} , BHkBHk\text{BH}_k e ΣPEu∩ ΠPEuΣiP∩ΠiP\Sigma_i^\text{P} \cap \Pi_i^\text{P} . Por falta de melhor terminologia, que irá referir-se a estas e quaisquer outros como as classes intermédios entre os níveis Euii e i + 1i+1i+1 na …

12 cc.complexity-theory  polynomial-hierarchy 

A Zoologia da Complexidade, por Greg Kuperberg, afirma que existe uma linguagem que - em outras palavras, \ mathsf {BPP} ^ X \ nsubseteq \ mathsf {P} ^ {\ mathsf {NP} ^ X} - mas não fornece uma referência para este resultado. Por que isso se aplica? Ou onde uma …

12 cc.complexity-theory  oracles  relativization  polynomial-hierarchy  separation 

Sabemos que se , todo o PH entra em colapso. E se a hierarquia polinomial entrar em colapso parcial? (Ou como entender que o PH poderia entrar em colapso acima de um certo ponto e não abaixo?)P= NPP=NPP=NP Em palavras, quais seriam as consequências de e ?P ≠ N PNP= …

12 cc.complexity-theory  complexity-classes  conditional-results  polynomial-hierarchy 

O Teorema do PCP declara que todo problema de decisão no NP tem provas probabilisticamente verificáveis ​​(ou equivalentemente, que existe um sistema completo e quase sonoro para os teoremas do NP, usando complexidade de consulta constante e logaritmicamente muitos bits aleatórios). A “sabedoria popular” que cerca o Teorema do PCP …

9 lo.logic  pcp  polynomial-hierarchy 

A seguinte noção de algoritmo de destilação vem de "Em problemas sem núcleos polinomiais". Seja dada uma língua Um algoritmo de destilação para L pega uma determinada lista de cadeias de entrada { x i } i ∈ [ t ] e calcula uma cadeia de saída y de modo …

9 cc.complexity-theory  np-hardness  parameterized-complexity  polynomial-hierarchy  pspace 

As versões não uniformes de P, NP e coNP são P / poli, NP / poli e coNP / poli. Da mesma forma, podemos definir uma versão não uniforme para cada nível no PH. Por exemplo: / poly consiste em problemas no formato { x : ∃ y ∀ zΣ2Σ2\Sigma_2 …

8 cc.complexity-theory  complexity-classes  polynomial-hierarchy 

Eu conheço as seguintes variantes de problemas do SUBSETSUM: ( Elberfeld at. Al., 2010 ), NP-complete e NEXP-complete ( link ).S U B S E T S U M S U C C I N C T - S U B S E T S U MvocêN A R Y …

8 cc.complexity-theory  reference-request  np-hardness  polynomial-hierarchy  subset-sum