Дайте теоретическое определение классам сложности P и NP. Объясните разницу между полиномиальным временем решения и полиномиальным временем проверки решения. Обсудите в общих чертах проблему P vs NP и её значение для теоретической информатики.