Uma pergunta recente de Huck Bennett, perguntando se a classe PH estava contida na classe PP, recebeu respostas um tanto contraditórias (tudo verdade, ao que parece). Por um lado, vários resultados do oráculo foram dados ao contrário, e por outro Scott sugeriu que a resposta provavelmente é positiva, já que o teorema de Toda mostra que o PH está no BP.PP, a variante probabilística do PP, e geralmente acreditamos que a randomização não ajuda muito, por exemplo, suposições de dureza razoáveis implicam PRGs que podem substituir a randomização.
Agora, no caso do PP, não é apriori claro que mesmo um PRG "perfeito" implicará uma des randomização completa, uma vez que a derandomização natural executaria o algoritmo original com a saída do PRG para todas as sementes possíveis polinomialmente e obter a maioria dos votos . Não está claro que obter o voto da maioria entre os cálculos do PP seja algo que possa ser feito no próprio PP. No entanto, um artigo de Fortnow e Reingold mostra que o PP é fechado sob reduções da tabela da verdade (estendendo o resultado surpreendente de que o PP é fechado sob interseção), o que parece suficiente para obter essa votação majoritária.
Então, qual é a questão aqui? Toda, Fortnow-Reingold e todas as derandomizações baseadas em PRG, parecem relativizar, implicariam que a PH no PP para cada oráculo para o qual existem PRGs apropriados. Portanto, para todos os oráculos sob os quais o PP não contém PH (por exemplo, de Minski & Papert, Beigel ou Vereshchagin ), os PRGs para PP não existem. Em particular, isso implica que, para esses oráculos, não há funções apropriadamente rígidas no EXP (caso contrário, existiriam PRGs do tipo NW-IW). Olhando pelo lado positivo, isso implicaria que em algum lugar dentro de cada um desses resultados do oráculo oculte um algoritmo PP (não uniforme) para (aproximando) EXP com esse oráculo. Isso é estranho, pois todos esses resultados da Oracle parecem depender de novos limites inferiores de PP(para circuitos limiares) e são diretos em suas máquinas de construção de oráculos, portanto não vejo onde se esconde um limite superior para o PP. Talvez esse limite superior funcione de maneira geral, mostrando que a PP (não uniforme) pode calcular (ou pelo menos fornecer algum viés) toda a EXP? Algo assim não daria pelo menos uma simulação de CH de EXP?
Então, suponho que minha pergunta seja dupla: (1) essa cadeia de raciocínio faz sentido? (2) Em caso afirmativo, alguém pode "descobrir" os limites superiores implícitos para o PP?
Editar por Aaron Sterling: colidir com a página inicial e adicionar uma recompensa. Essa foi uma das minhas perguntas favoritas e ainda não tem respostas.
Respostas:
Pelo trabalho de Klivans e van Melkebeek (que relativiza), se E = DTIME ( ) não possui circuitos com portas PP de tamanho então PH está em PP. O contrapositivo diz que, se o PH não está no PP, então E possui circuitos de tamanho subexponencial com portas de PP. Isso é consistente com o fato de que uma prova oracle de PH não em PP fornece um limite inferior relativizado para PP. Não há razão para pensar que isso implique um limite superior para PP ou qualquer força para circuitos sem portas PP.2O(n) 2o(n)
fonte