A universally fastest algorithm for Max 2-Sat, Max 2-CSP, and everything in between

In this paper we introduce “hybrid” Max 2-CSP formulas consisting of “simple clauses”, namely conjunctions and disjunctions of pairs of variables, and general 2-variable clauses, which can be any integer-valued functions of pairs of boolean variables. This allows an algorithm to use both efficient r...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	Journal of computer and system sciences Ročník 78; číslo 1; s. 305 - 335
Hlavní autoři:	Gaspers, Serge, Sorkin, Gregory B.
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Elsevier Inc 2012
Témata:	Algorithms Boolean algebra Computational efficiency Constraint satisfaction Convex programming Exponential-time algorithm Hybrid instances Mathematical analysis Mathematical models Measure and conquer Optimization Polynomial space Reduction Running Satisfiability Hybrid instances Exponential-time algorithm Constraint satisfaction Measure and conquer Polynomial space Convex programming Satisfiability
ISSN:	0022-0000, 1090-2724
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!