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?

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

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

So why not take president Obama at his words, and simply impute the motives that he claims?

所以为何不相信奥巴马的言论，相信事实就如他所说的一样呢？

斯坦福公开课 - 经济学课程节选