「行列の既約性、有向グラフの強連結性③〜強連結⇔既約〜」【幾何学の基礎シリーズ】グラフ理論編 その7 https://for-spring.com/geometry/graph_theory-7/