A great many special cases can be solved, but Turing showed that a general solution is impossible.

• 如果是特殊情况，许多这样的问题是可解的，但涂林证明了不可能有一般解。