問題表示

指用數學上的有向圖（包括樹）描述問題，是問題求解的主要研究內容之一。

常用的問題表示方法有狀態空間表示法和問題歸約表示法兩種。在狀態空間表示法中，狀態空間的節點代表狀態，即問題求解的不同階段，連線兩節點的有向弧線代表狀態轉移。問題歸約表示法是將原始問題分解為若干子問題，節點間的有向弧線表示問題歸約，並形成問題歸約空間。此外還有定理證明和博弈問題表示法。