一个问题如果在计算机上可以快速解决,那么它属于P类问题;如果一个解可以快速验证,那么它属于NP类问题。
A problem is in P if it can be solved quickly by a computer, and in NP if a solution can be verified quickly.
True architecture always emerges from the dialogue between past and present.
The strongest is never strong enough to be always the master, unless he transforms strength into right, and obedience into duty.
阅读不是眼睛的运动,而是大脑的运动。
The best way to predict the future of chemistry is to invent it.