Domande taggate «sat»

SAT sta per il problema della soddisfacibilità booleana.

4
Riduzione diretta da SAT a 3-SAT
Qui l'obiettivo è ridurre un problema SAT arbitrario a 3-SAT in tempo polinomiale usando il minor numero di clausole e variabili. La mia domanda è motivata dalla curiosità. Meno formalmente, vorrei sapere: "Qual è la riduzione" più naturale "da SAT a 3-SAT?" Ora la riduzione che ho sempre visto nei …
1
Uno spazio topologico legato al SAT: è compatto?
Il problema della soddisfazione è, ovviamente, un problema fondamentale nella CS teorica. Stavo giocando con una versione del problema con infinite variabili. \newcommand{\sat}{\mathrm{sat}} \newcommand{\unsat}{\mathrm{unsat}} Configurazione di base. Sia XXX un insieme di variabili non vuoto e forse infinito . Un letterale è una variabile x ∈ XX∈Xx \in X o …
5
Soddisfazione di vincoli aperti o interattivi
In passato, ho implementato modelli di coordinamento utilizzando SAT e la soddisfazione dei vincoli regolari come cavallo di battaglia principale nei loro motori. Continuando in questa linea di lavoro, vorrei rendere i modelli più interattivi e il modo migliore che vedo di fare questo è quello di aprire il risolutore …
17 sat  lo.logic  csp 
5
Parametri di riferimento
Questa domanda è probabilmente al confine tra argomento e argomento, tuttavia ho visto domande simili qui, quindi lo farò. Sto implementando un solutore kkk -SAT unico , il cui input è una formula kkk -CNF con al massimo 111 compito soddisfacente. Per testare il suo comportamento pratico, ho bisogno di …
16 sat 
6
variazioni di SAT
Ho cercato su Internet, ma non sono riuscito a trovare alcuna "grande lista" di varianti del problema SAT. A parte il (comune) SAT, k-SAT, MAX-KSAT, Half-SAT, XOR-SAT, NAE-SAT quali altre varianti ci sono? (inoltre sarà molto utile se vengono fornite classi di complessità (ove possibile))
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.