AVA12: Это тупняк. Кто-то путает понятия "линейное программирование" и "линейное время/память" (а также "полином" и "полиноминальное время/память"). Плюс, как водится, кто-то не читает документы, на которые ссылается, в частности, в упор не видит фразу "If an algorithm produces the solution x to a problem in polynomial time and space then the LP constructed is also of polynomial size". В общем, революция отменяется.