1
Échantillonnage de formules 3-SAT satisfaisantes
Considérons la tâche de calcul suivante: Nous voulons échantillonner une formule 3-SAT de variables (une variante: n variables m clauses) par rapport à la distribution de probabilité uniforme, conditionnée à ce que la formule soit satisfiable:nnnnnnmmm Q1: Cela peut-il être réalisé efficacement par un ordinateur classique (avec des bits aléatoires)? …