不存在多项式时间算法的问题是难解问题‎‍‎