Supõe-se que pois o inverso implicaria \ mathsf {PH} = \ Sigma_2 . O teorema de Ladner estabelece que se \ mathsf {P} \ ne \ mathsf {NP} então \ mathsf {NPI}: = \ mathsf {NP} \ setminus (\ mathsf {NPC} \ cup \ mathsf {P}) \ ne \ emptyset . No entanto, a prova não parece generalizar para \ mathsf {P} / \ text {poli} assim a possibilidade \ mathsf {NPI} \ subset \ mathsf {P} / \ text {poli} ie \ mathsf {NP} \ O subconjunto \ mathsf {NPC} \ cup \ mathsf {P} / \ text {poly} parece aberto.
Supondo que (ou mesmo que a hierarquia polinomial não diminua em nenhum nível), é conhecido como verdadeiro ou falso? Que evidência pode ser colocada a favor e contra?
cc.complexity-theory
complexity-classes
advice-and-nonuniformity
p-vs-np
np-intermediate
Vanessa
fonte
fonte
Respostas:
Aqui está uma alternativa possível a um argumento de preenchimento, baseado na generalização de Schöning do teorema de Ladner. Para entender o argumento, você precisa ter acesso a este documento (que infelizmente estará atrás de um muro de pagamento para muitos):
Vamos aplicar o teorema principal desse artigo para e serem linguagens e e como classes de complexidade, como a seguir:A1 A2 C1 C2
Por uma questão de clareza, o fato de provarmos que é implica .NP⊈P/poly NPI⊈P/poly
Supondo que tenhamos e . É claro que e estão fechados sob variações finitas. O artigo de Schöning inclui uma prova de que é recursivamente apresentável (cuja definição precisa pode ser encontrada no artigo), e a parte mais difícil do argumento é provar que é recursivamente apresentável.A uma ∉ C 1 A 2 ∉ C 2 C 1 C 2 C 1 C 2NP⊈P/poly A1∉C1 A2∉C2 C1 C2 C1 C2
Sob essas suposições, o teorema implica que existe uma linguagem que não está em nem em ; e dado que , sustenta que é Karp-redutível a e, portanto, . Dado que está em mas não está nem em , segue-se que .C 1 C 2 Um 1 ∈ P A A 2 A ∈ N P A N P N P N P ∩ P / p o l y N P I ⊈ P / p o l yA C1 C2 A1∈P A A2 A∈NP A NP NP NP∩P/poly NPI⊈P/poly
Resta provar que é recursivamente apresentável. Basicamente, isso significa que existe uma descrição explícita de uma sequência de máquinas determinísticas de Turing que todos param em todas as entradas e são tais que . Se houver um erro no meu argumento, provavelmente está aqui, e se você realmente precisar usar esse resultado, precisará fazer isso com cuidado. De qualquer forma, combinando todas as máquinas de Turing não determinísticas de tempo polinomial (que podem ser simuladas deterministicamente porque não nos importamos com o tempo de execução de cadaM 1 , M 2 , ... N P ∩ P / p o l y = { L ( H k ) : k = 1 , 2 , ... } H K H K H KNP∩P/poly M1,M2,… NP∩P/poly={L(Mk):k=1,2,…} Mk ) e todos os polinômios, representando limites superiores no tamanho de uma família de circuitos booleanos para um determinado idioma, acredito que não é difícil obter uma enumeração que funcione. Em essência, cada pode testar se seu NTM de tempo polinomial correspondente concorda com alguma família de circuitos de tamanho polinomial até o comprimento da cadeia de entrada que é fornecida pesquisando todos os circuitos booleanos possíveis. Se houver acordo, o como o NTM, caso contrário, ele rejeita (e, como resultado, representa uma linguagem finita).Mk Mk
A intuição básica por trás do argumento (que está oculta no resultado de Schöning) é que você nunca pode ter duas classes de complexidade "agradáveis" (ou seja, com apresentações recursivas) sendo disjuntas e sentadas juntas. A "topologia" de classes complexas não permite: você sempre pode construir uma linguagem adequadamente entre as duas classes alternando de alguma forma as duas para trechos extremamente longos de comprimentos de entrada. O teorema de Ladner mostra isso para e , e a generalização de Schöning permite fazer o mesmo em muitas outras classes.N P CP NPC
fonte
Gostaria apenas de escrever uma versão de um argumento de preenchimento, conforme descrito nos comentários. Não vejo por que é necessária uma lacuna. Queremos mostrar que, se NP não está contido em P / poli, existe um problema intermediário de NP não contido em P / poli.
Existe uma função ilimitada tal que SAT não possui circuitos de tamanho menor que e, portanto, existe uma função que é ilimitada, crescente e . Deixe SAT 'denotar o idioma obtido preenchendo cadeias SAT de comprimento a . Então:n f ( n ) g g ( n ) = o ( f ( n ) ) n n g ( n )f nf(n) g g(n)=o(f(n)) n ng(n)
Editar:
A escolha de é um pouco complicada. Se você está feliz em colocar SAT 'na versão promissora do NP, esse bit é desnecessário.g
Defina como o número inteiro máximo, de modo que não exista um circuito de tamanho para o comprimento strings para SAT. Defina por um algoritmo que calcula para e para após o tempo ou quando , e retorna o piso da raiz quadrada do valor mais alto encontrado neste momento . Assim, é ilimitada e e pode ser calculado em tempo . Agora observe que os argumentos acima se baseiam apenas em SAT sem circuitos de tamanho para infinitosn f ( n ) n g ( n ) f ( m ) m = 1 , 2 , … n m = n g ( n ) lim inf g ( n ) / f ( n ) = 0f(n) nf(n) n g(n) f(m) m=1,2,… n m=n g(n) lim infg(n)/f(n)=0 g(n) n nf(n) n .
Também acho interessante ver uma prova abrindo buracos no SAT como em http://blog.computationalcomplexity.org/media/ladner.pdf . Sem o requisito de NP, isso é bastante fácil: existe uma sequência modo que nenhum tamanho do circuito detecta cadeias SAT de comprimento ; restrinja SAT a cadeias de comprimento para alguns .n1<n2<… (nk)k n n22i i
fonte
(NPI P / poli) (P NP)⊈ ⟹ ≠
fonte