Kombinatorický důkaz NP-úplnosti subprojektivních CSP problémů

Abstrakt

Pomocí nového kombinatorického přístupu se dokazuje věta z názvu tohoto článku. Nová důkazová technika v oblasti.

Klíčová slova

• Combinatorial
• Proof
• Subprojective
• Constraint
• Satisfaction
• Problems
• NP-complete