Réduction des erreurs déterministe, à la pointe de la technologie?


12

Supposons que l'on ait un algorithme randomisé (BPP) A utilisant r bits de caractère aléatoire. Les moyens naturels d'amplifier sa probabilité de réussite à 1δ , pour tout δ>0 choisi , sont

  • Exécutions indépendantes + vote majoritaire: exécutez A indépendamment T=Θ(log(1/δ) fois et prenez le vote majoritaire des sorties. Cela nécessite rT=Θ(rlog(1/δ)) bits de caractère aléatoire, et fait exploser le temps de fonctionnement par un facteur T=Θ(log(1/δ)) .
  • Paires indépendantes par paire + Tchebychev: exécuter A "par paire indépendamment" T=Θ(1/δ) fois, et comparer à un seuil Cela nécessite rT=Θ(r/δ) bits d'aléatoire, et fait exploser le temps de fonctionnement par un facteur T=Θ(1/δ) .

Karp, Pippenger et Sipser [1] (apparemment, je n'ai pas pu mettre la main sur le papier lui-même, c'est un compte d'occasion) a fourni des approches alternatives basées sur des expandeurs réguliers solides: essentiellement, voir les 2r nœuds r de l'expandeur comme les graines aléatoires. Choisissez un nœud aléatoire de l'expandeur à l'aide des r bits aléatoires, puis

  • faire une courte marche aléatoire de longueur T=Θ(log(1/δ)) partir de là, et exécuter A sur les graines T correspondant aux nœuds sur le chemin, avant de prendre un vote majoritaire. Cela nécessite r+T=r+Θ(log(1/δ)) bits de caractère aléatoire, et fait exploser le temps d'exécution par un facteur T=Θ(log(1/δ)) .

  • exécuter A sur tous les voisins du nœud actuel (ou, plus généralement, tous les nœuds à une distance c du nœud actuel) avant de prendre un vote majoritaire. Cela nécessite r bits de caractère aléatoire et fait exploser le temps d'exécution par un facteur T=d , où d est le degré (ou dc pour le voisinage distance- c . En configurant bien les paramètres, cela finit par coûter T=poly(1/δ) ici.

Je m'intéresse à la dernière puce, qui correspond à la réduction des erreurs déterministes . Y a-t-il eu une amélioration après [1], réduisant la dépendance de T sur ? Quelle est la meilleure solution actuellement réalisable - pour laquelle ? ? (Pour ? Pour ?)δ1/δγγ>1γ>0BPPRP

Remarque: je suis également (très) intéressé par au lieu de . Comme introduit dans [2], la construction pertinente n'est alors plus des expanseurs, mais des disperseurs (voir par exemple, ces notes de cours de Ta-Shma, en particulier le tableau 3). Cependant, je n'ai pas pu trouver les limites correspondantes pour l' amplification déterministe (pas un seul bit plus aléatoire que le autorisé ), ni (plus important encore) ce que sont les constructions de disperseurs explicites de pointe pour la plage de paramètres pertinente. .RPBPP rr


[1] Karp, R., Pippenger, N. et Sipser, M., 1985. Un compromis temps-aléatoire . Dans AMS Conference on Probabilistic Computational Complexity (Vol. 111).

[2] Cohen, A. et Wigderson, A., 1989, octobre. Disperseurs, amplification déterministe et sources aléatoires faibles. In 30th Annual Symposium on Foundations of Computer Science (pp. 14-19). IEEE.


Ma compréhension est la suivante (principalement sur les notes de cours susmentionnées de Ta-Shma , celles de van Melkebeek et celles de Cynthia Dwork . Pour autant que je sache , les disperseurs sont excellents pour amplifier de façon exponentielle étant donné quelques bits de plus , mais pas si il y a 0 bits de hasard supplémentaires.
Clement C.

(si quelqu'un est prêt à utiliser ces quelques bits supplémentaires, alors la conférence de Ta-Shma a un ensemble très pratique de tableaux de résumé). Sans aléa supplémentaire, l'approche BPP / RP basée sur l'expandeur ressemble à la seule (voir les notes de van Melkebeek pour BPP, Dwork pour la variante RP: les deux sont très similaires et basées sur l'article [1], dont je n'a pas pu trouver un pdf direct). Aucun ne semble donner de limite explicite sur le degré du polynôme dans le , car cela dépend du degré et de l'expansion du graphe expanseur. poly(1/δ)
Clement C.15

Il sera au moins linéaire en : mais qu'en sera-t-il pour les constructions (actuelles) les plus connues de graphes expanseurs? En fait, même pour les constructions probabilistes? 1/δ
Clement C.15

Également pertinent (mais ne répond pas à la question spécifique): Section 3.5.4 et Section 4 (Problème 4.6) de Pseudorandomness de Salil Vadhan .
Clement C.

Réponses:


3

Les notes de cours de van Melkebeek ne donnent-elles pas déjà une borne O(1/δ) ? La borne y est λ au plus O(δ)et on obtientλ=O(1/d)utiliser des constructions existantes.

Dans les notes de cours de Dwork également, la condition requise est que l'expansion soit C/δ pour un certain C constant (regarder des points dans la distance c utilise essentiellement l'alimentation pour améliorer l'expansion). Ce qui peut encore être obtenu avec le degré O(1/δ) .

Ω(1/δ)


α>0dR=2rλδCαCαd(N,d)λC/dNdd=Oα(1/δ)

dd1λ=O(1/d) nnO((log3d)/d)
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.