Abstrakt
Je studován Problém Splnění Omezujících Podmínek (Constrains Satisfaction Problem, CSP) pro omezení daná úplnými homomorfismy. Je dokázáno, že pro každý konečný systém omezení existuje konečná dualita, t.j., konečný systém zakázaných zdrojů nebo podobjektů ekvivalentní s takovými omezeními.
Obráceně to však neplatí a je to spíš vzácnost - jde o jevy Ramseyova typu. Uvádíme řadu konkretních konečných dualit týkajících se speciálních grafů, a s nimi spojených Ramseyvských jevů.