Zakázané zdvihy (NP a CSP pro kombinatoriky)

Abstrakt

Navazujíce na práci Fagina, Federa a Vardiho, v tomto článku ukazujeme nový popis třídy NP pomocí zdvihů a stínů tříd s konečně mnoha zakázanými podstrukturami.

Klíčová slova

• Forbidden
• lifts
• combinatorists