2-satisfiability
2-satisfiability (o 2-SAT) è un problema di soddisfacibilità booleana con clausole composte da coppie di letterali. È un caso particolare (il più semplice) del problema n-SAT, ed è l'unico di cui è stata dimostrata la risolubilità in tempo polinomiale e spazio logaritmico. Al contrario, i problemi di soddisfacibilità con sono tutti NP-completi, essendo tali sia il generico SAT (per il teorema di Cook) che 3-SAT (poiché ogni problema n-SAT è riducibile a 3-SAT in tempo polinomiale). Questa forma è detta anche "2-CNF", dove il "2" indica il numero di letterali per ogni clausola.
2-CNF-SAT2-SAT2SATAdi ShamirArc diagramAutomatic label placementBirkhoff's representation theoremBook embeddingBoolean satisfiability algorithm heuristicsBoolean satisfiability problemComplexity of constraint satisfactionConjunctive normal formDifference-map algorithmEugene LawlerExponential time hypothesisGadget (computer science)Harry R. LewisHorn-satisfiabilityImplication graphIndex of combinatorics articlesInterval schedulingKrom-clauseKrom formulaKrom formulaeList of NP-complete problemsList of computability and complexity topicsMAX-2-SATMAX-2SATMAX-3SATMAXEkSATMax/min CSP/Ones classification theoremsMax 2-satMaximal independent setMaximum 2-satisfiabilityMaximum cutMaximum satisfiability problemMedian graphNL-completeNL (complexity)NP-completeness
Link from a Wikipage to another Wikipage
primaryTopic
2-satisfiability
2-satisfiability (o 2-SAT) è un problema di soddisfacibilità booleana con clausole composte da coppie di letterali. È un caso particolare (il più semplice) del problema n-SAT, ed è l'unico di cui è stata dimostrata la risolubilità in tempo polinomiale e spazio logaritmico. Al contrario, i problemi di soddisfacibilità con sono tutti NP-completi, essendo tali sia il generico SAT (per il teorema di Cook) che 3-SAT (poiché ogni problema n-SAT è riducibile a 3-SAT in tempo polinomiale). Questa forma è detta anche "2-CNF", dove il "2" indica il numero di letterali per ogni clausola.
has abstract
2-satisfiability (o 2-SAT) è u ...... è il grafo delle implicazioni.
@it
En informatique théorique, le ...... ées 2-CNF ou formules de Krom.
@fr
Wikipage page ID
page length (characters) of wiki page
Wikipage revision ID
1,020,400,452
Link from a Wikipage to another Wikipage
last
Batenburg
@en
Kosters
@en
wikiPageUsesTemplate
hypernym
type
comment
2-satisfiability (o 2-SAT) è u ...... i letterali per ogni clausola.
@it
En informatique théorique, le ...... ées 2-CNF ou formules de Krom.
@fr
label
2-satisfiability
@en
2-satisfiability
@it
Problème 2-SAT
@fr