狀態空間 (計算機科學) 在計算機科學中狀態空間是用來描述一組用在簡單模型的離散狀態可以用多元組N A S G來定義其中 N是由狀態組成的集合 A是連接集合N中所有狀態的弧的集合 S是一個集合N的非空子集合其中包括啟始狀態 G是一個集合N的非空子集合其中包括目的狀態 此狀態空間就是狀態空間搜尋要搜尋的範圍藉由圖論可以理解及分析狀態空間的含意 狀態空間有以下共同的特質 狀態空間的複雜度和分枝數有密切的關係 狀態的結構請參考圖論 邊的方向性單向或雙向 樹 有根圖英语Rooted graph