A computação do limiar restrito ( ) é essencialmente a classificação dos bits de entrada.∑ixi≥k
Se você pode classificar os bits, é fácil comparar o resultado com calcular o limite restrito.k
Por outro lado, suponha que tenhamos circuitos para calcular o limite restrito. Podemos fazer uma pesquisa paralela para encontrar o número de unidades na entrada e exibir a lista classificada.
Estes preservam a profundidade do circuito. Portanto, se você criar um novo circuito para calcular o limite restrito, ele fornecerá um circuito de classificação de profundidade . Portanto, se apresentarmos um argumento simples para mostrar que a maioria está em
você encontrou um circuito de classificação simples de profundidade (diferente daquele baseado na rede de classificação AKS). O ( lg n ) N C 1 O ( lg n )NC1O(lgn)NC1O(lgn)
Observe que é fácil implementar o limite restrito usando a maioria adicionando novas entradas 1 e 0 à porta da maioria.
Anteriormente, essa resposta alegava que isso poderia ser feito usando o divide e conquiste e o fato de que a adição binária está em . Isso mostra apenas que a maioria está em A C 1AC0AC1NC2
O(lgn)
a,b,ca + b + c = x + yx,ya+b+c=x+y
Outro método é usar a representação de dígitos assinados de números inteiros, onde a adição pode ser feita na profundidade e fan-in 2. (A idéia é usar a flexibilidade de que um número pode ser representado de mais de uma maneira, para garantir que carrega não se propaga).O(1)
Veja a seção 4 e o exercício 4 em