Пусть для некоторой задачи есть полиномиальный алгоритм. Лежит ли эта задача в NP?