and-or graph

一种系统地将问题分解为互相独立的小问题，然后分而解决的方法。

与或图中有两种代表性的节点：“与节点”和“或节点”。

“与节点”指所有的后续节点都有解时它才有解；“或节点”指各个后续节点均完全独立，只要其中有一个有解它就有解。