Classes de complexité de l'aléatoire et des petits circuits

10

Que soit une classe de complexité et BP- C la contrepartie aléatoire de C définie comme BPP par rapport à P . Plus formellement, nous fournissons un nombre aléatoire de bits polynomial et nous acceptons une entrée si la probabilité d'accepter est supérieure à 2CBP-CCBPPP .23

On sait que pour la classe des circuits non uniformes on a :BPAC0=AC0

Miklós Ajtai, Michael Ben-Or: un théorème sur les calculs probabilistes à profondeur constante STOC 1984: 471-474

Les généralisations de ce théorème sont-elles connues? Par exemple, savons-nous si (toujours dans le cadre non uniforme)? Cette dernière question me semble en quelque sorte non triviale car il semble plausible que par exemple s , t -Connectivité soit dans BPNC 1 .BPNC1=NC1s,t-ConnectivityBPNC1

Un article pertinent sur le sujet: /mathpro/35184/use-of-randomness-in-constant-parallel-time

CP
la source
2
Qu'est-ce qui motive votre intuition sur la connectivité?
Michaël Cadilhac
4
NC1
8
TC0NC1AC0
1
TC0BPC=C
1
@ EmilJeřábek: Ah, je vois. Je pense que c'est limite; ce n'est évidemment pas une question de recherche , mais elle a été clairement posée sérieusement par quelqu'un ayant une certaine expérience de la recherche dans la complexité, qui a simplement été induit en erreur en essayant d'étendre Ajtai-Ben-Or plutôt qu'en utilisant l'approche la plus simple.
Joshua Grochow

Réponses:

10

NC1BPBPPP/poly2nO(n) 2nnsimultanément avec une probabilité non nulle, et en particulier, il existe une telle séquence. Nous pouvons le câbler dans le circuit.

O(n)TC0TC0

AC0

Emil Jeřábek
la source