To find lower bounds for all cases involved solving around 100,000 linear programming problems.
Tóth je uvidel, da lahko dovolj hiter računalnik ta teoretični rezultat obrne v praktični pristop k problemu.