更新时间:2024-05-21 14:29
指用数学上的有向图(包括树)描述问题,是问题求解的主要研究内容之一。
常用的问题表示方法有状态空间表示法和问题归约表示法两种。在状态空间表示法中,状态空间的节点代表状态,即问题求解的不同阶段,连接两节点的有向弧线代表状态转移。问题归约表示法是将原始问题分解为若干子问题,节点间的有向弧线表示问题归约,并形成问题归约空间。此外还有定理证明和博弈问题表示法。