Shortest-duration interval scheduling counterexample
ID: shortest-duration-interval-scheduling-counterexample
In this separate three-job example, labels denote new jobs:Their durations are five, five and two. Consider the rule "accept a shortest remaining job, discard all jobs conflicting with it, and repeat". It selects first. But overlaps on and on , so both are discarded. The rule returns one job, while the compatible subset contains two. The common endpoint five is allowed, and no feasible solution contains all three jobs, so two is the maximum.
A two-unit job blocks two compatible five-unit jobs
. A separate three-job counterexample to choosing shortest duration. The left panel accepts only ; the right panel accepts and . Shaded bands mark the two positive-length overlaps with . Details.Duration alone ignores where a job sits. Here the shortest job straddles the useful handover time. Earliest finish instead chooses , then , and attains two. A counterexample can refute a proposed greedy-choice property even when the rule succeeds on many other inputs.
New to topics? Read the docs here!
