Классы сложности

P — решаемо за полиномиальное время. NP — проверка за полином. NP-полные — "самые сложные" в NP (SAT, TSP). Проблема P vs NP — открыта с 1971.