过去是一个外国;他们在那里做不同的事情。
Every problem in NP can be reduced to the satisfiability problem, which is the cornerstone of computational complexity theory.
成为作家就是成为见证者。