Lemma 4.18, reduced case (Fig. 2, Cases 1–3) — expected make-span at most 7/4 · t_opt

Initializing...

Lemma 4.18, reduced case (Fig. 2, Cases 1–3) — expected make-span at most 7/4 · t_opt · Prove2Me