The dichotomy for conservative constraint satisfaction problems revisited

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F11%3A10105131" target="_blank" >RIV/00216208:11320/11:10105131 - isvavai.cz</a>
Výsledek na webu
<a href="http://dx.doi.org/10.1109/LICS.2011.25" target="_blank" >http://dx.doi.org/10.1109/LICS.2011.25</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1109/LICS.2011.25" target="_blank" >10.1109/LICS.2011.25</a>

Jazyk výsledku
angličtina
Název v původním jazyce
The dichotomy for conservative constraint satisfaction problems revisited
Popis výsledku v původním jazyce
A central open question in the study of non-uniform constraint satisfaction problems (CSPs) is the dichotomy conjecture of Feder and Vardi stating that the CSP over a fixed constraint language is either NP-complete, or tractable. One of the main achievements in this direction is a result of Bulatov (LICS''03) confirming the dichotomy conjecture for conservative CSPs, that is, CSPs over constraint languages containing all unary relations. Unfortunately, the proof is very long and complicated, and therefore hard to understand even for a specialist. This paper provides a short and transparent proof.
Název v anglickém jazyce
The dichotomy for conservative constraint satisfaction problems revisited
Popis výsledku anglicky
A central open question in the study of non-uniform constraint satisfaction problems (CSPs) is the dichotomy conjecture of Feder and Vardi stating that the CSP over a fixed constraint language is either NP-complete, or tractable. One of the main achievements in this direction is a result of Bulatov (LICS''03) confirming the dichotomy conjecture for conservative CSPs, that is, CSPs over constraint languages containing all unary relations. Unfortunately, the proof is very long and complicated, and therefore hard to understand even for a specialist. This paper provides a short and transparent proof.

Projekt
<a href="/cs/project/GP201%2F09%2FP223" target="_blank" >GP201/09/P223: Splnitelnost omezujících podmínek a univerzální algebra</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění
2011
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku
Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science
ISBN
978-0-7695-4412-0
ISSN
1043-6871
e-ISSN
—
Počet stran výsledku
10
Strana od-do
301-310
Název nakladatele
IEEE COMPUTER SOC, 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA
Místo vydání
USA
Místo konání akce
Toronto, Kanada
Datum konání akce
21. 6. 2011
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—

Podobné výsledky(10)