Nos anos 80, Razborov mostrou famosa que existem funções booleanas explícitas e monótonas (como a função CLIQUE) que exigem exponencialmente muitos portões AND e OR para calcular. No entanto, a base {AND, OR} sobre o domínio booleano {0,1} é apenas um exemplo de um conjunto de portas interessante que deixa de ser universal. Isso leva à minha pergunta:
Existe algum outro conjunto de portas, curiosamente diferente das portas monótonas, para as quais são conhecidos limites inferiores exponenciais no tamanho do circuito (sem profundidade ou outras restrições no circuito)? Caso contrário, existe algum outro conjunto de portas que seja um candidato plausível para limites inferiores - limites que não exigiriam necessariamente romper a barreira das Provas Naturais, como o resultado dos circuitos monótonos de Razborov não?
Se esse conjunto de portas existir, certamente será sobre um alfabeto k-ário para k≥3. A razão é que, sobre um alfabeto binário, o
(1) portões monótonos ({AND, OR}),
(2) portões lineares ({NOT, XOR}) e
(3) portões universais ({AND, OR, NOT})
esgotam basicamente as possibilidades interessantes, como se segue no teorema da classificação de Post. (Observe que eu assumo que as constantes --- 0 e 1 no caso binário --- estejam sempre disponíveis gratuitamente.) Com as portas lineares, todas as funções booleanas f: {0,1} n → {0,1} são computável é computável por um circuito de tamanho linear; com um conjunto universal, é claro que estamos enfrentando provas naturais e outras barreiras aterrorizantes.
Por outro lado, se considerarmos conjuntos de portas ao longo de um alfabeto de 3 ou 4 símbolos (por exemplo), um conjunto mais amplo de possibilidades se abre --- e pelo menos que eu saiba, essas possibilidades nunca foram totalmente mapeadas do ponto de vista da teoria da complexidade (corrija-me se estiver errado). Eu sei que os possíveis conjuntos de portas são estudados extensivamente sob o nome de "clones" na álgebra universal; Eu gostaria de estar mais familiarizado com essa literatura para saber o que significaria os resultados dessa área para a complexidade do circuito.
De qualquer forma, não parece fora de questão que existem outros limites dramáticos mais baixos para a prova, se simplesmente expandirmos a classe de conjuntos de portas sobre alfabetos finitos que estamos dispostos a considerar. Se eu estiver errado, por favor me diga o porquê!
fonte
Respostas:
(Removido dos comentários, conforme sugerido por Suresh. Observe que alguns erros no comentário foram corrigidos aqui.)
Obrigado a Scott por uma ótima pergunta.
Scott parece sugerir que o motivo da dificuldade dos limites inferiores pode ser o idioma restrito das operações no caso booleano. O argumento de contagem de Shannon, que mostra a maioria dos circuitos, deve ser grande, depende da diferença entre a potência expressiva contável e incontáveis muitos circuitos. Essa lacuna parece desaparecer quando o alfabeto possui pelo menos três símbolos.
Para o tamanho do alfabeto 2 (o caso booleano), a rede de clones é contada infinitamente e é chamada de rede de Post .
A estrutura de Post também esclarece por que existem apenas algumas bases de operações interessantes para o caso booleano.
Para o tamanho do alfabeto 3 ou superior, a treliça dos clones é incontável. Além disso, a rede não satisfaz qualquer identidade não trivial da rede, portanto, parece impossível fornecer uma descrição completa da rede. Para o tamanho do alfabeto 4 ou superior, a rede de clones na verdade contém todas as redes finitas como um sub-rede. Portanto, existem infinitas bases de operações possivelmente interessantes a serem consideradas quando o alfabeto possui 3 ou mais símbolos.
Scott perguntou ainda: a estrutura de clones permanece incontável se assumirmos que as constantes estão disponíveis gratuitamente?
A resposta é que sim, veja, por exemplo
embora aparentemente isso tenha sido publicado anteriormente:
Uma boa declaração específica é de:
Para finalizar, não conheço nenhum trabalho sobre o uso de clones não booleanos para os limites inferiores do circuito. Parece valer a pena investigar com mais profundidade. Dado o relativamente pouco que se sabe sobre a rede de clones, pode haver bases interessantes de operações esperando para serem descobertas.
Mais ligações entre a teoria dos clones e a ciência da computação provavelmente também seriam de grande interesse para os matemáticos que trabalham com álgebra universal. Um exemplo anterior desse tipo de interação surgiu quando Peter Jeavons mostrou que álgebras podiam ser associadas a linguagens de restrição, de uma maneira que permite que os resultados de rastreabilidade sejam traduzidos em propriedades da álgebra. Andrei Bulatov usou isso para provar a dicotomia para CSPs com tamanho de domínio 3. No outro sentido, houve um reavivamento do interesse na teoria da congruência mansa como resultado da aplicação da ciência da computação. Eu me pergunto o que seguiria de um link entre a teoria dos clones e a complexidade do circuito não-booleano.
fonte
Isso é movido dos comentários, como sugeriu Suresh.
Edit 2. O principal obstáculo é que não temos métodos para provar limites inferiores não lineares, mesmo para portões lineares, tanto quanto eu sei (para limites inferiores lineares, pode-se usar a eliminação de gate, que é muito improvável que limites lineares). Embora pareça que alguns métodos da álgebra linear sejam realmente úteis. Portanto, apresentar candidatos é bom, mas de qualquer maneira são necessários alguns novos métodos.
fonte
Em circuitos com portas XOR. Aqui, mesmo o caso da profundidade é amplamente aberto. Os limites inferiores mais altos para transformações lineares explícitas sobre têm a forma . Provar um limite como para uma constante , mesmo na profundidade e mesmo que apenas portas XOR sejam permitidas, é um desafio.y = A x G F ( 2 )2 y=Ax GF(2) n 1 + c c > 0 2nlog3/2n n1+c c>0 2
fonte