狀態空間 (計算機科學)

計算機科學中,狀態空間是用來描述一組用在簡單模型的離散狀態。可以用多元組[N, A, S, G]來定義,其中:

  • N是由狀態組成的集合
  • A是連接集合N中所有狀態的的集合。
  • S是一個集合N的非空子集合,其中包括啟始狀態。
  • G是一個集合N的非空子集合,其中包括目的狀態。

此狀態空間就是狀態空間搜尋要搜尋的範圍。藉由圖論可以理解及分析狀態空間的含意。

狀態空間有以下共同的特質:

參見

參考文獻