Classes de aleatoriedade e complexidade de pequenos circuitos

10

Vamos ser uma classe de complexidade e ser o homólogo randomizado de C definida como BPP com respeito ao P . Mais formalmente, fornecemos polinomialmente muitos bits aleatórios e aceitamos uma entrada se a probabilidade de aceitação for superior a 2CBP-CCBPPP .23

Sabe-se que para a classe de circuitos não uniformes temos :BPAC0=AC0 0

Miklós Ajtai, Michael Ben-Or: um teorema das computações probabilísticas de profundidade constante STOC 1984: 471-474

As generalizações desse teorema são conhecidas? Por exemplo, sabemos se (ainda na configuração não uniforme)? Esta última questão parece de alguma forma não trivial para mim desde que parece plausível que, por exemplo, s , t -Connectivity está em BPNC 1 .BPNC1 1=NC1 1s,t-ConectividadeBPNC1 1

Uma publicação relevante sobre o assunto: /mathpro/35184/use-of-randomness-in-constant-parallel-time

CP
fonte
2
O que impulsiona seu palpite sobre conectividade?
Michaël Cadilhac
4
Você está perguntando sobre aulas de circuito uniformes ? É bastante óbvio que classes não uniformes como são fechadas sob o operador BP. NC1 1
Emil Jerabek
8
Basta usar o mesmo argumento que para P / poli. Você só precisa da função majoritária, que é definível em . (Ajtai e Ben-Or precisam de mais trabalho como a maioria é não disponível em um C 0 .)TC0 0NC1 1UMAC0 0
Emil Jerabek
11
@ EmilJeřábek você está perfeitamente certo. Para cada classe de circuito não-unifom acima temos BP - C = C . Muito obrigado. TC0 0BP-C=C
CP
11
@ EmilJeřábek: Ah, entendo. Eu acho que é limítrofe; obviamente não é uma questão de pesquisa , mas foi claramente perguntado com sinceridade por alguém com alguma experiência em pesquisa em complexidade, que foi simplesmente enganado ao tentar estender Ajtai-Ben-Or em vez de usar uma abordagem mais direta.
Joshua Grochow 13/03/19

Respostas:

10

A maior complexidade não uniforme classes: -incluído são fechados sob o B P operador pelo mesmo argumento como B P P P / p o l y : usando o Chernoff-Hoeffding ligado, a probabilidade de erro pode ser reduzido abaixo de 2 - n executando O ( n ) instâncias do circuito com bits aleatórios independentes em paralelo e obtendo uma votação majoritária; então, pelo limite de união, uma sequência de bits aleatórios fornece o resultado correto para todas as 2 n entradas de comprimento nNC1 1BPBPPP/poeuy2-nO(n) 2nnsimultaneamente com probabilidade diferente de zero e, em particular, existe essa sequência. Podemos conectá-lo ao circuito.

Esse argumento se aplica a qualquer classe de circuitos fechados sob a maioria das cópias paralelas de de um circuito e fixando as portas de entrada para constantes. Na prática, isso significa qualquer classe não uniforme decente acima de T C 0 , pois a maioria é computável em T C 0 .O(n)TC0 0TC0 0

A prova é mais complicada para , porque essa classe não calcula a função majoritária. (Embora eu não tenha visto o jornal Ajtai e Ben-Or, acho que eles usam algum tipo de maioria aproximada.)UMAC0 0

Emil Jeřábek
fonte