Existem exemplos de brinquedos que fornecem insights 'essenciais' para a compreensão das três barreiras conhecidas ao problema - relativização, provas naturais e algebrização?P=NPP=NPP =
Penso que um teorema da hierarquia de tamanho para a complexidade do circuito pode ser um grande avanço na área. É uma abordagem interessante para a separação de classes? A motivação para a pergunta é que temos que dizer existe alguma função que não pode ser calculada pelos circuitos de...
As provas naturais são uma barreira para provar limites inferiores na complexidade do circuito das funções booleanas. Eles não implicam diretamente tal barreira na comprovação de limites mais baixos na complexidade do circuito . Existe algum progresso para identificar essas barreiras? Existem...
No artigo de Razborov-Rudich, Natural Proofs , página 6, na parte em que discutem que existem "fortes provas de limites inferiores contra modelos de circuitos monótonos " e como elas se encaixam na figura, existem as seguintes frases: Aqui a questão não é construtividade - as propriedades usadas...