Questions marquées «sat»

SAT signifie le problème de satisfiabilité booléenne.

4
Réduction directe SAT à 3-SAT
Ici, l'objectif est de réduire un problème SAT arbitraire à 3-SAT en temps polynomial en utilisant le moins de clauses et de variables. Ma question est motivée par la curiosité. Moins formellement, j'aimerais savoir: "Quelle est la réduction" la plus naturelle "du SAT au 3-SAT?" Maintenant, la réduction que j'ai …
1
Un espace topologique lié à la SAT: est-il compact?
Le problème de satisfaction est, bien sûr, un problème fondamental en CS théorique. Je jouais avec une version du problème avec une infinité de variables. \newcommand{\sat}{\mathrm{sat}} \newcommand{\unsat}{\mathrm{unsat}} Configuration de base. Soit XXX un ensemble de variables non vide et éventuellement infini . Un littéral est soit une variable x ∈ …
5
Satisfaction de contrainte ouverte ou interactive
Dans le passé, j'ai implémenté des modèles de coordination utilisant SAT et la satisfaction des contraintes régulières comme cheval de bataille principal dans leurs moteurs. Poursuivant dans cette ligne de travail, je voudrais rendre les modèles plus interactifs, et la meilleure façon que je vois de le faire est d'ouvrir …
17 sat  lo.logic  csp 
5
Benchmarks -SAT uniques
Cette question est probablement à la frontière entre le sujet et hors sujet, mais j'ai vu des questions similaires ici, donc je vais la poser. J'implémente un solveur Unique -SAT, dont l'entrée est une formule -CNF ayant au plus affectation satisfaisante. Pour tester son comportement pratique, j'ai besoin d'un ensemble …
16 sat 
1
Tautologies / contradictions dans le cas moyen, au-delà du modèle aléatoire k-CNF
Il est bien connu que les formules aléatoires -CNF sur n variables avec c n clauses sont insatisfaisantes (c'est-à-dire qu'elles sont des contradictions) avec une probabilité élevée, pour une constante c suffisamment grande . Ainsi, les formules k -CNF aléatoires (pour c assez grand) constituent une distribution naturelle sur des …
1
Complexité de la version de recherche de 2-SAT en supposant
Si , alors il y a un algorithme de logspace qui résout la version de décision de 2-SAT.L=NLL=NL\mathsf{L = NL} Est-il connu que implique qu'il existe un algorithme d'espace de journalisation pour obtenir une affectation satisfaisante , lorsqu'il reçoit une instance 2-SAT satisfaisante en entrée?L=NLL=NL\mathsf{L = NL} Sinon, qu'en est-il …
6
variations de SAT
J'ai recherché sur Internet, mais je n'ai trouvé aucune «grande liste» de variantes du problème SAT. Mis à part le (commun) SAM, k-SAT, MAX-kSAT, Half-SAT, XOR-SAT, NAE-SAT Quelles sont les autres variantes? (cela sera également très utile si des classes de complexité sont données (si possible))
2
Limites inférieures sur #SAT?
Le problème #SAT est le problème canonique # P-complete. C'est un problème de fonction plutôt qu'un problème de décision. Il demande, étant donné une formule booléenne dans la logique propositionnelle, combien d'affectations satisfaisantes F a. Quelles sont les meilleures limites inférieures sur #SAT?FFFFFF
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.