グラフ理論形式の定義
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/11/04 08:12 UTC 版)
「STRIPS」の記事における「グラフ理論形式の定義」の解説
グラフ理論形式の定義では、 STRIPS インスタンスをグラフ探索アルゴリズムで解かれるグラフ探索問題と同一視する。ここでインスタンスは ⟨ S , s 0 ∈ S , S ∗ ⊂ S , L , T ⊂ S × L × S ⟩ {\displaystyle \langle S,s_{0}\in S,S^{*}\subset S,L,T\subset S\times L\times S\rangle } で表される。ここで、 S {\displaystyle S} は状態集合でありグラフのノード集合と同一視され、 L {\displaystyle L} はアクションを指すラベル、 T {\displaystyle T} は状態遷移（Transition)でありグラフのエッジに相当する。
※この「グラフ理論形式の定義」の解説は、「STRIPS」の解説の一部です。
「グラフ理論形式の定義」を含む「STRIPS」の記事については、「STRIPS」の概要を参照ください。
ウィキペディア小見出し辞書の「グラフ理論形式の定義」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。
お問い合わせ。
- グラフ理論形式の定義のページへのリンク
