A new algorithm for optimal 2-constraint satisfaction and its implications

We present a novel method for exactly solving (in fact, counting solutions to) general constraint satisfaction optimization with at most two variables per constraint (e.g. MAX-2-CSP and MIN-2-CSP), which gives the first exponential improvement over the trivial algorithm. More precisely, the runtime...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	Theoretical computer science Ročník 348; číslo 2; s. 357 - 365
Hlavní autor:	Williams, Ryan
Médium:	Journal Article Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	Amsterdam Elsevier B.V 08.12.2005 Elsevier
Témata:	Algorithmics. Computability. Computer arithmetics Applied sciences Calculus of variations and optimal control Computer science; control theory; systems Constraint satisfaction Exact algorithms Exact sciences and technology Mathematical analysis Mathematics MAX-2-SAT MAX-CUT Sciences and techniques of general use Theoretical computing Constraint satisfaction MAX-CUT MAX-2-SAT Exact algorithms Search problem Lower bound Multiplication Computer theory Optimal algorithm Optimization method Matrix product Computing MAX 2 SAT Complexity Polynomial time MAX CUT Counting
ISSN:	0304-3975, 1879-2294
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!