CSP se spočetnými homogenními šablonami

Abstrakt

Pro pevnou spočetnou homogenní relační strukturu $\Gamma$ studujeme problém, zda lze danou konečnou strukturu stejné signatury homomorficky zobrazit do $\Gamma$.

Klíčová slova

• Constraint
• satisfaction
• countable
• homogeneous
• templates