Domande taggate «sat»

SAT sta per il problema della soddisfacibilità booleana.

8
Migliori limiti superiori su SAT
In un'altra discussione , Joe Fitzsimons ha chiesto "i migliori limiti inferiori attuali su 3SAT". Mi piacerebbe andare dall'altra parte: qual è il miglior limite superiore attuale su 3SAT? In altre parole, qual è la complessità temporale del solutore SAT più efficiente? In particolare, è concepibile trovare un algoritmo sub-esponenziale …
1
Gap-3SAT NP è completo anche per le formule 3CNF in cui nessuna coppia di variabili appare in clausole significativamente più della media?
In questa domanda, una formula 3CNF indica una formula CNF in cui ogni clausola coinvolge esattamente tre variabili distinte . Per una costante 0 < s <1, Gap-3SAT s è il seguente problema promettente: Gap-3SAT s grado : Un 3CNF formula φ. Sì, promessa : φ è soddisfacente. No-promessa : …
2
Qualche algoritmo quantistico migliora sul SAT classico?
Gli algoritmi classici possono risolvere 3-SAT in time (randomizzati) o 1.3303 n time (deterministici). (Riferimento: migliori limiti superiori su SAT )1,3071n1.3071n1.3071^n1,3303n1.3303n1.3303^n Per fare un confronto, l'uso dell'algoritmo di Grover su un computer quantistico dovrebbe cercare e fornire una soluzione in , randomizzata. (Ciò può richiedere ancora una certa conoscenza di …
3
Quanti casi di 3-SAT sono soddisfacenti?
Considera il problema 3-SAT su n variabili. Il numero di possibili clausole distinte è: C=2n×2(n−1)×2(n−2)/3!=4n(n−1)(n−2)/3.C=2n×2(n−1)×2(n−2)/3!=4n(n−1)(n−2)/3.C = 2n \times 2(n-1) \times 2(n -2) / 3! = 4 n(n-1)(n-2)/3 \text. Il numero di istanze del problema è il numero di tutti i sottogruppi della serie di possibili clausole: . In sostanza, per …
6
Classi ben note di formule booleane che richiedono prove a risoluzione esponenzialmente lunga
Potresti trovare spesso metodi del piano di taglio, propagazione variabile, branch and bound, apprendimento delle clausole, backtracking intelligente o persino euristica umana tessuta a mano nei solutori di SAT. Eppure per decenni i migliori solutori di SAT si sono affidati fortemente a tecniche di risoluzione della risoluzione e usano una …
6
Quali problemi SAT sono facili?
Quali sono le "regioni facili" per la soddisfacibilità? In altre parole, condizioni sufficienti per un risolutore SAT per essere in grado di trovare un compito soddisfacente, supponendo che esista. Un esempio è quando ogni clausola condivide le variabili con poche altre clausole, a causa di prove costruttive di LLL, altri …
1
Sono noti algoritmi subexponential per PLANAR SAT?
Alcuni problemi NP-difficili che sono esponenziali su grafici generali sono sottoesponenziali su grafici planari perché la larghezza dell'albero è al massimo e sono esponenziali nella larghezza degli alberi.4.9|V(G)|−−−−−−√4.9|V(G)|4.9 \sqrt{|V(G)|} Fondamentalmente mi interessa se esistono algoritmi subexponential per PLANAR SAT che è NP-completo. Lasciate essere una formula CNF sulle variabili x …
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.