Pode-se provar


14

Resultado 1: O teorema de Linial-Mansour-Nisan diz que o peso quádruplo das funções calculadas pelos circuitos está concentrado nos subconjuntos de tamanho pequeno com alta probabilidade.UMAC0 0

Resultado 2: O tem seu peso fourier concentrado no coeficiente do grau . nPUMAREuTYn

Pergunta: Existe uma maneira de provar (se possível) PUMAREuTY não é computável por circuitos UMAC0 0 via / usando os resultados 1 e 2?


7
Não é uma aplicação óbvia do teorema de Linial-Mansour-Nisan? Como o teorema do LMN é provado (em particular, se é provado por argumento probabilístico ou não) é irrelevante.
Tsuyoshi Ito

3
ao mesmo tempo, o teorema de Linial-Mansour-Nisan não é provado assumindo o teorema de Hastad? Parece-me como um cão perseguindo o próprio rabo ...
Alessandro Cosentino

3
É assim que o limite inferior do tamanho de um circuito AC0 que se aproxima da paridade é derivado nas notas de Ryan O'Donnell . Veja o corolário 32.
Sasho Nikolov

5
Penso que a pergunta mais interessante está no seu comentário: todas as funções cujo espectro de Fourier está concentrado em coeficientes de baixo nível computáveis ​​por circuitos AC0 de tamanho pequeno.
Sasho Nikolov 20/09/2012

7
@ Strattav Então você pode fazer essa pergunta.
Tyson Williams

Respostas:


11

O teorema do LMN mostra que, se f é uma função booleana computável por um circuito CA 0 do tamanho M,(f:{1,1}n{1,1})AC0

S:|S|>kf^(S)22Ω(k/(logM)d1)

f^([n])22Ω(n/(logM)d1)

|f^([n])|2Ω(n/(logM)d1)

nada mais é do que a correlação de f com a função de paridade ( n i = 1 x i ) . Deixe δ ser a fracção de entradas onde f difere da P A R I T Y .|f^([n])|(i=1nxi)δfPARITY

12δ|12δ|=|f^([n])|2Ω(n/(logM)d1)δ12Ω(n/(logM)d1)

So, if M is poly(n), for f to be equal to PARITY,

δ12n2n2(cn/(logM)d1)(logM)d1(c1)nM2Ω(n1/d1)

So, LMN theorem not only proves that PARITY cannot be computed by AC0 circuits, it also shows that PARITY has low correlation with AC0 circuits.

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.