はてブ上でのの練習と授業の復習を兼ねて. 定義1(強連結). を有効グラフとする. 任意のについて, をそれぞれ始点, 終点とする有向道が存在するとき, は強連結であるという. 定義2(既約行列). とする. グラフであって, の成分が非零であるときに限りからへと…