问题求解问题归约表示问题归约有三个要素，即目标、算子集和基元问题集

①目标：即问题的初始描述

②算子集：用来将给定问题变换为若干子问题

③基元问题集：已有解或其解十分明显可以直接描述的问题

问题约表示是同逆向推理联系在一起的

图2为问题的归约表示，其中每个节点标号代表一个问题或一组问题,标号为A的根节点（即没有射入弧线的节点）代表原始问题或问题组

没有射出弧线的节点称为叶或终端节点（或终止节点），其标号代表基元问题

运用算子实行问题变换

如果原来问题被变换为若干子问题，而只需要解决其中之一便可解决原问题，那末代表这些子问题的节点称为相对于原问题节点的或节点

图2的B、C、D即为相对于 A的或节点

如果原问题被变换为缺一不可（均需解决）的若干子问题，那么代表这些子问题的节点称为相对于原问题节点的与节点，并在这些与节点各自的射入弧线间标记一条连接线，以同或结点相区别

图2的E、F、G和G、H、K分别为相对于B和D的与节点

既包含与节点又包含或节点的有向图称为与或图

问题归约表示常借助于与或图的形式

为了表明原问题有解，其实只需要画出与或图中同问题的解有关的那一部分（即子图）,称为解图

图2有三个解图，{A，B，E，F，G}、{A，C}、{A，D，G，H，K}

如果在与或图中,除根节点以外的每个节点有且仅有一条射入弧线（即只有一个父亲），便得到与或树

与或树是与或图的特例

以上内容由大学时代综合整理自互联网，实际情况请以官方资料为准。