与或图是由与节点及或节点组成的结构图。 一般地,我们用一个类似图的结构来表示把问题归约为后继问题的替换集合,这种结构图叫做问题归约图,或叫与或图。
它是一种系统地将问题分解为互相独立的小问题,然后分而解决的方法。