Proof of `Just-in-Time Scheduling on Unrelated Parallel Machines`
groundedproofs/Lax117284Proofs/JitHard/Final.lean · lax-117284
What this proof establishes
Assuming the claims on the left, the claim on the right holds — checked by the archive's pipeline. Proof code is not displayed here.
Description
Deciding whether every job of an instance of can be just in time is NP-hard. Every language in NP reduces to interval scheduling with eligible machine sets, by the second theorem of , and that problem reduces to this one: every job is given the due date and the processing time it has, and on a machine it may not use, the processing time , so that it covers the time point , which one extra job per machine, due at and of length on every machine, occupies. Those extra jobs overlap one another and so sit on distinct machines, hence on all of them, and a job that sits on a machine it may not use would overlap the extra job of that machine. The map is computed by a word RAM program, which is polynomial in the length of the code, since the extra jobs are only added when there is a job, and then there are as many machines as the matrix of the input has columns.