狀態空間 (計算機科學)

维基百科,自由的百科全书
跳转至: 导航搜索

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

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

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

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

參見[编辑]

參考文獻[编辑]