Publikace na Matematicko-fyzikální fakulta |
2010
Abstrakt
Hypotéza dichotomie pro problémy omezeného splnování podána v kombinatorické formulaci. Dichotomie je formulována novým kombinatorickým způsobem a dokazuje se, že tato formulace ekvivalentní dřívějším formulacím pomocí universální algebry a pomocí rozšiřování homomorfismů.