Domande taggate «3-sat»

1
Condizioni di planarità per SAT planare 1-in-3
Planar 3SAT è NP-completo. Un'istanza 3SAT planare è un'istanza 3SAT per cui il grafico creato utilizzando le seguenti regole è planare: aggiungi un vertice per ogni e ¯ x iXioXiox_iXio¯Xio¯\bar{x_i} aggiungere un vertice per ogni clausola CjCjC_j aggiungi un bordo per ogni coppia ( xio, xio¯)(Xio,Xio¯)(x_i,\bar{x_i}) aggiungi un bordo dal …
1
Come provare che una versione vincolata di 3SAT in cui nessun letterale può verificarsi più di una volta, è risolvibile in tempo polinomiale?
Sto cercando di elaborare un compito (tratto dal libro Algorithms - di S. Dasgupta, CH Papadimitriou e UV Vazirani , Cap 8, problema 8.6a), e sto parafrasando quello che afferma: Dato che 3SAT rimane NP-completo anche se limitato alle formule in cui ogni letterale appare al massimo due volte, mostra …
1
Algoritmo randomizzato per 3SAT
Esiste un algoritmo randomizzato molto semplice che, dato un 3SAT, produce un incarico che soddisfa almeno 7/8 delle clausole (in previsione): scegliere un incarico casuale. Un'assegnazione casuale soddisfa ogni clausola con probabilità 7/8, e quindi la linearità delle aspettative mostra che la frazione prevista di clausole soddisfatte da un'assegnazione casuale …
Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.