Perguntas com a marcação «natural-proofs»

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 = NP

28 cc.complexity-theory  relativization  p-vs-np  natural-proofs  barriers 

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 …

18 cc.complexity-theory  circuit-complexity  lower-bounds  natural-proofs  hierarchy-theorems 

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 nessas provas …

15 cc.complexity-theory  circuit-complexity  randomness  natural-proofs  boolean-functions 

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 outras barreiras no cenário monótono?m o n o …

15 cc.complexity-theory  circuit-complexity  barriers  natural-proofs