Domande taggate «sat»

SAT sta per il problema della soddisfacibilità booleana.

1
Conseguenze di
Ho parte di un tentativo di prova di ⊕P⊆NP⊕P⊆NP\oplus \mathbf{P} \subseteq \mathbf{NP} . Il tentativo di prova consiste in una riduzione del Karp dal ⊕P⊕P\oplus \mathbf{P} problema completo ⊕⊕\oplus 3-REGOLARE VERTEX COVER a SAT. Dato un grafico cubico GGG , la riduzione produce una formula CNF FFFavente entrambe le seguenti …
2
Numero limitato di occorrenze variabili in SAT 1-in-3
Esiste un risultato noto sulla classe di complessità 1-in-3-SAT con un numero limitato di occorrenze variabili? Ho escogitato la seguente riduzione parsimoniosa con Peter Nightingale, ma voglio citare qualcosa se questo è noto. Ecco il trucco che abbiamo trovato. Ciò mostra che 1-in-3-SAT limitato a 3 occorrenze per variabile è …
1
Modello computazionale in SETH
Impagliazzo, Paturi e Calabro, Impagliazzo, Paturi hanno introdotto l'ipotesi del tempo esponenziale (ETH) e l'ipotesi del tempo fortemente esponenziale (SETH). All'incirca, SETH afferma che non esiste un algoritmo che risolva SAT nel tempo . 1.99n1.99n1.99^n Mi chiedevo cosa avrebbe significato rompere SETH. Abbiamo sicuramente bisogno di trovare un algoritmo che …
2
Enumera tutte le soluzioni di un problema SAT
Tutti i solutori #SAT che conosco, ad esempio RelSat, C2D, restituiscono solo il numero di istanze soddisfacenti. Ma voglio sapere ognuno di quei casi? Esiste un tale solutore #SAT o come dovrei modificare un solutore #SAT disponibile per farlo? Grazie.
11 lo.logic  sat  software 
1
Rendere i solutori SAT competitivi con algoritmi specializzati
Quali sono gli ostacoli per rendere competitivi i solutori SAT con algoritmi di grafi specializzati? In altre parole, è possibile aspettarsi solutori SAT in grado di sostituire il ruolo del progettista dell'algoritmo, ovvero essere in grado di riconoscere automaticamente la struttura del problema e risolverlo rapidamente come un algoritmo specializzato? …
3
Dove posso chiedere aiuto per la ricerca / pubblicazione?
Sto sviluppando un algoritmo SAT da un po 'e ho raggiunto un punto in cui mi piacerebbe condividerlo. Non conosco molte persone nell'informatica e non sono sicuro di dove rivolgersi. Mi chiedo quali risorse siano disponibili per qualcuno con un algoritmo che sta prendendo in considerazione la pubblicazione. Ho anche …
2
Minimo True Monotone 3SAT
Sono interessato a una variazione SAT in cui la formula CNF è monotona (nessuna variabile viene negata). Tale formula è ovviamente soddisfacente. Ma dire che il numero di variabili vere è una misura di quanto sia buona la nostra soluzione. Quindi abbiamo il seguente problema: MONOTONE VERO MINIMO 3SAT ISTANZA: …
2
NP-Almost-2-SAT è difficile?
Un problema CNF SAT NP è difficile quando il numero totale (ma non la larghezza) delle clausole a 3 o più termini è delimitato da una costante? Che dire specificamente quando c'è solo una di queste clausole?
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.