The Millennium Problem About Computational Intractability
摘要
The Clay Mathematics Institute has selected seven Millennium Problems to motivate research on important classic questions that have resisted solution over the years. Among them is the major unsolved problem in theoretical computer science: the P versus NP problem, which aims to classify the possible existence of efficient solutions to combinatorial and optimization problems. The main goal is to determine whether there exist problems whose solutions can be quickly verified but require an impractically long time to solve by any direct method.