Формальные языки и сложность вычислений. Лекция 9. Классы P, NP. Виды сводимости. Языки SAT и 3-SAT.6 дней назад
