Barreiras à separação de outras classes de complexidade


9

Do natural Provas , Relativização e algebrização também afectar a separação de outras classes de complexidade como etc?LNLNPcoNPPHPSPACE

Por exemplo barreira prova natural deve afectar qualquer prova de , uma vez que irá separar P N P . No entanto relação entre N P e C O N P não parece ter muito com OWFs em comparação com relação entre P e N P . Então as provas naturais afetam a separação mais forte de N P C o N P ?NPCoNPPNPNPCoNPPNPNPCoNP


Sei a linha de topo do papel ( cs.umd.edu/~gasarch/BLOGPAPERS/natural.pdf ) tem , P N P , P N C . Por isso, excluí P da lista acima. Desde que klnow N P C O N P spearates P e N P também incluí a questão separadamente. Então, você tem uma citação em que diz especificamente N P C o N PPPSPACEPNPPNCPNPCoNPPNPNPCoNP?
T ....

Respostas:


12

Existem (pelo menos) duas áreas em que as barreiras existentes têm pouco a dizer:

Limites inferiores do ACC Não há barreira conhecida para provar que o TC0 não está no ACC (não uniforme) - além da possibilidade de que a separação seja falsa. Não está claro se a barreira das Provas Naturais deve ser aplicada ao ACC. A questão se resume a: devemos esperar que haja funções pseudo-aleatórias implementáveis ​​no ACC?

LOGSPACE vs NP Como apontado por Fortnow , os mecanismos oracle existentes para computação limitada no espaço não parecem apresentar uma barreira real para LOGSPACE vs NP. Que eu saiba, os modelos conhecidos de oráculo que produzem um colapso de LOGSPACE e NP também colapsam ALTERNATING LOGSPACE (ou seja, P) e ALTERNATING POLYTIME (ou seja, PSPACE); portanto, esses oráculos tratam modelos computacionais alternados inconsistentemente com a realidade (já que LOGSPACE não é igual para PSPACE).


6

O resultado de Razborov e Rudich em seu papel de provas naturais é bastante geral. Ele não se limita a vs N P .PNP

Pessoalmente, gosto da clareza da explicação no livro recente de Stasys Jukna " Complexidade da função booleana: avanços e fronteiras ":

Definição 18.30. Uma função com l < n é chamada de gerador pseudo-aleatório seguro ( s , ϵ ), se for para qualquer circuito C de tamanho s em n variáveis, | P r [ C ( y ) = 1 ] - P r [ C ( G (G:{0,1}l{0,1}nl<n(s,ϵ)Csn onde Y é escolhido uniformemente aleatoriamente em { 0 , 1 } n , e x em { 0 , 1 } l .

|Pr[C(y)=1]Pr[C(G(x))=1]|<ϵ,
y{0,1}nx{0,1}l

Definição 18.31. Seja uma função booleana. Dizemos que f é ( s , ϵ ) -hard se for para qualquer circuito C de tamanho s , | P r [ C ( x ) = f ( x ) ] - 1f:0,1n0,1f(s,ϵ)Cs ondexé escolhido uniformemente aleatoriamente em{0,1}n.

|Pr[C(x)=f(x)]12|<ϵ,
x{0,1}n

Um gerador de função pseudo-aleatória é uma função booleana . Definindo as variáveis y aleatoriamente, obtemos sua subfunção aleatória f y ( x ) = f ( x , y ) . Seja h : { 0 , 1 } n{ 0 , 1f(x,y):{0,1}n+n2{0,1}yfy(x)=f(x,y) seja uma função booleana verdadeiramente aleatória. Um gerador de f ( x , y ) é seguro contra Γ -attacks se para cada circuito de C em Γ , | P r [ C ( f y ) = 1 ] - P r [ C ( H ) = 1 ] | < 2 - n 2 .h:{0,1}n{0,1}f(x,y)ΓCΓ

|Pr[C(fy)=1]Pr[C(h)=1]|<2n2.

Um prova -natural contra Λ é uma propriedade Φ : B n0 , 1 satisfazendo as seguintes três condições: 1. Utilidade contra Λ : Φ ( f ) = 1 implica f Λ . 2. Amplitude: Φ ( f ) = 1 para pelo menos 2 - O ( n ) fração de todas as 2 2 n funções f ΓΛΦ:Bn0,1
ΛΦ(f)=1fΛ
Φ(f)=12O(n)22n . 3. Construtividade: Φ Γ , ou seja, quando vista como uma função booleana em N = 2 n variáveis, a propriedade Φ pertence à classe Γ . fBn
ΦΓN=2nΦΓ

Teorema 18.35. Se uma classe de complexidade contiver um gerador de função pseudo-aleatória seguro contra ataques Γ, não haverá prova natural de Γ contra Λ .ΛΓΛ

A questão é: 1. Acreditamos se existem funções tão difíceis? 2. Quão construtivas / grandes esperamos que as propriedades das provas de separação atualmente possíveis sejam?

Por outro lado, Razbarov mencionou em vários lugares que ele pessoalmente vê o resultado como um guia para o que evitar e não como um obstáculo essencial para provar limites inferiores.

Além dos documentos de Ryan Williams durante os últimos anos, havia dois documentos que ele mencionou:

  1. NPP

  2. NC1TC0TC0

A relativização e a álgebra são um pouco mais complicadas e dependem da maneira como definimos a reativação para essas classes. Mas, como regra geral, diagonalização simples (uma diagonalização que usa o mesmo contra-exemplo para todas as máquinas que computam a mesma função, ou seja, o contra-exemplo depende apenas de quais máquinas na computação menor e não depende do código e de como elas calculam ) não pode separar essas classes.

É possível extrair funções de diagonalização não simples de resultados indiretos de diagonalização, como limites inferiores do espaço-tempo para o SAT.


PNPLNLNPcoNPPHPSpace

NPCoNPPHPSPACENPCoNPL

11
Γ

@ Jas, btw, se eu fosse você, não aceitaria uma resposta tão rapidamente, você pode obter melhores respostas.
Kaveh

oh ok .... Não tenho certeza do que melhor pode ser dado além do que está no livro.
T ....
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.