Cook, W. (2012). In Pursuit of the Traveling Salesman: Mathematics at the Limits of Computation. Princeton University Press.
156
Мощными называются теоремы, применимые в большом количестве разных систем (этот полуофициальный термин, как правило, применяется в отношении абстрактных алгебраических теорем). – Прим. пер.
