The content introduces the Polyamorous Scheduling problem, discussing its complexity, NP-hardness, and approximation algorithms. It defines decision and optimization versions, highlighting the importance of density thresholds. The construction of the polycule involves gadgets for variables, duplication, clauses, sorting, and tensioning. The True Clock and Colour Slots are used to ensure slot-respecting schedules. The duplication of variables and constants is achieved through 3-Duplicators, ensuring accurate reproduction of input edges.
To Another Language
from source content
arxiv.org
Deeper Inquiries