超高速グラフ列挙アルゴリズム　〈フカシギの数え方〉が拓く，組合せ問題への新アプローチ　ＰＯＤ版 / 湊真一