グラフの行列による表現.ノードの数 |V| が n のとき,n×n の行列 M で表す. Mの要素 \(m_{ij}\) は,\((v_i,v_j)\in E\) なら1,そうでないとき 0.
無向グラフでは対称行列になるが,有向グラフでは一般には対称ではない.
\(M^\infty=MM\cdots\) と無限回掛けていって定常状態になった行列の,i行j列の要素が1ならば,\(v_i\) から \(v_j\) へ到達可能.
-- しましま