証明わからない】
有向グラフDがn個の頂点からなるとする。
そのグラフの隣接行列をRとおく。
このときDが強連結であるとする。
以下の行列Cは対角成分以外にに0を持たない。
C＝R＋R^2＋・・・・・R^n-1