Skip to main content

schedule_or_overflow

logicaffeine_proof::interval_sched

Function schedule_or_overflow 

Source 
pub fn schedule_or_overflow(
    tasks: &[Interval],
    machines: usize,
) -> ScheduleOutcome
Expand description

Decide whether tasks can be scheduled on machines machines. Sweeps the endpoints to find the peak overlap: feasible iff that peak is ≤ machines, with a greedy interval colouring as the assignment, else the overflowing overlap-clique as the certificate.