战争不会在战斗停止时结束;它的回响会延续几代人。
A problem is in P if it can be solved quickly by a computer, and in NP if a solution can be verified quickly.