問題表示

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