指用数学上的有向图（包括树）描述问题，是问题求解的主要研究内容之一。

常用的问题表示方法有状态空间表示法和问题归约表示法两种。在状态空间表示法中，状态空间的节点代表状态，即问题求解的不同阶段，连接两节点的有向弧线代表状态转移。问题归约表示法是将原始问题分解为若干子问题，节点间的有向弧线表示问题归约，并形成问题归约空间。此外还有定理证明和博弈问题表示法。