1
Campionamento di formule 3-SAT soddisfacenti
Si consideri il seguente compito computazionale: Vogliamo campionare una formula 3-SAT di variabili (una variante: n variabili m clausole) rispetto alla distribuzione di probabilità uniforme, a condizione che la formula sia soddisfacente:nnnnnnmmm Q1: questo può essere ottenuto in modo efficiente da un computer classico (con bit casuali)? Q2: questo può …