Algoritmo randomizzato per 3sat
-
04-11-2019 - |
Domanda
Esiste un algoritmo randomizzato molto semplice che, dato un 3sat, produce un incarico che soddisfa almeno 7/8 delle clausole (in attesa): scegli un incarico casuale. Un incarico casuale soddisfa ogni clausola con probabilità 7/8, e quindi la linearità delle aspettative mostra che la frazione attesa delle clausole soddisfatta da un incarico casuale è 7/8.
Questo può essere fatto in modo deterministico? In tal caso, perché siamo interessati all'algoritmo randomizzato?
Nessuna soluzione corretta
Autorizzato sotto: CC-BY-SA insieme a attribuzione
Non affiliato a cs.stackexchange