@ Kristoffer, sim, isso mesmo, dei como exemplo do tipo de declaração que estou procurando. Em outras palavras, classes interessantes de circuitos em que o aumento da profundidade é conhecido por aumentar a classe.
Kaveh
2
Não tenho muita certeza, mas isso deve funcionar. Sabemos que a profundidade mínima de um circuito para f é ≈ logaritmo do tamanho mínimo de uma fórmula para f . Agora, é possível mostrar a hierarquia para o tamanho da fórmula da mesma maneira que para o tamanho do circuito (usando os resultados de Shannon-Lupanov). Digamos, circuitos de tamanho 4t são adequadamente mais fortes que circuitos de tamanho t . Obviamente, as coisas ficam um pouco mais complicadas, se exigirmos que o tamanho seja polinomial.
Stasys
Respostas:
8
Um artigo de Klawe, Paul, Pippenger e Yannakakis fornece um teorema da hierarquia para fórmulas monótonas de profundidade constante:
http://dl.acm.org/citation.cfm?id=808717
Especificamente, para cada ela fornece uma função que pode ser calculada por uma fórmula de profundidade tamanho mas requer fórmulas de profundidade de tamanho .kknk−1exp(n1/k)
Respostas:
Um artigo de Klawe, Paul, Pippenger e Yannakakis fornece um teorema da hierarquia para fórmulas monótonas de profundidade constante: http://dl.acm.org/citation.cfm?id=808717
Especificamente, para cada ela fornece uma função que pode ser calculada por uma fórmula de profundidade tamanho mas requer fórmulas de profundidade de tamanho .k k n k−1 exp(n1/k)
fonte
Raz e McKenzie, em Separação da hierarquia NC monótona , mostram que a hierarquia NC monótona é rigorosa e separam NC monótona da monótona P.
fonte