请读以下这段话以加深理解： Notice that the algorithm is expressed as a boolean function. This is essential to understanding the algorithm. If solve (n) is true, that means node n is part of a solution--that is, ...