Полиномиальные алгоритмы и сложные задачи: вызовы теории вычислений