@lidangzzz: 3-SAT到P=NP这一个单独的问题，足够名垂青史，足够以polynomial解决一大批被认为无法解决的问题，威力...