The inclusion of the suppressed information is, in fact, guided by the proof of a scheduling theorem due to Brent (1974).
Включення забороненої інформації, насправді, привело до підтверджень при доведенні теореми про планування завдяки  Brent (1974).