P и NP неформально. Точные алгоритмы. $ \sqrt{3}^n $ алгоритм, основанный на локальном поиске, для задачи выполнимости. $ 1.732^n $ алгоритм для задачи о максимальном разрезе, использующий быстрое умножение матриц для нахождения треугольников.