グラフの表現 隣接行列 接続リスト 隣接リスト n+1頂点の根付き木とn頂点の2分木の頂点の集合は1対1に対応する。 ダイクストラのアルゴリズム 最短路木を作ってやれば、最短路を求めることができる 作り方：Uからuを取り出したときに、その親との関係を保持…

Gの完全性 エルブラン解釈 一階言語の部分集合Sについての構造みたいな感じのMについて Mがエルブラン構造で、V(x)=x for all x ∈ Var_s なら、I=(M,V)はエルブラン解釈エルブラン構造 |M|＝Hs=T(Fun_s,Ver_s) M［[f]］(t1,...,tn)=f(t1,...,tn) M［[P]］は…