He resigned because he saw his resignation as the only way of solving a serious problem Jackson faced.

VOA: special.2009.01.01

If you can figure out why fails on three letters instead of 12, you'll be more than half way to solving the problem.

如果你能明白为什么程序,在输入三个字母的单词的时候没法运行,你就已经解决了问题的一半了。

麻省理工公开课 - 计算机科学及编程导论课程节选

That's certainly one way to do it, but for computers that's not necessarily the easiest way. So another way of solving it is to do something we already saw last time, which is basically, why not simply enumerate all possible examples and check them?

将一个等式代入另一个等式，这当然是一种办法,但是对电脑来说这绝对不是一件简单的事,所以解决这个问题的办法，正如我们上一次看过的,非常基本？

麻省理工公开课 - 计算机科学及编程导论课程节选