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?

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

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