satisfiability 2
le satisfiability du 2 (abrégé comme 2-SAT) est un cas spécial de Satisfiability si des expressions sont écrites sous la forme normale conjonctive avec 2 variables par clause (2-CNF). Ceci signifie que l'expression a la forme :
là où le moyen du OU, des moyens du ET, chaque x est une variable, avec ou sans a PAS devant lui, et chaque variable peuvent apparaître les temps multiples dans l'expression.
À la différence du satisfiability général qui sont le NP-complet et n'ont aucun algorithme efficace connu , de Satisfiability ou de 3 le satisfiability 2 peut être résolu dans le temps polynôme . Il y a plusieurs algorithmes polynômes connus de temps pour 2-SAT, par exemple, basé sur la résolution des graphiques d'implication de , ou les marches aléatoires plus puissant, le satisfiability 2 est le NL-complet (Papadimitriou 1994, Thrm.3), signifiant qu'il est un du " ; hardest" ; ou " ; la plupart d'expressive" ; problèmes qui peuvent être résolus dans le logspace non déterministe ( NL ).
Un problème relatif est maximum-2-satisfiability (MAX-2-SAT) dans lequel l'entrée est toujours un 2-CNF mais nous devons déterminer le nombre maximum des clauses qui peuvent être simultanément satisfaites par une tâche. MAX-2-SAT est un cas particulier du Maximum-satisfiability .
| Random links: | Parc national de Gulaga | Acres de Kent, Delaware | Bas de page (album) | Silviu Brucan | Shizuo Imaizumi |