AtCoder AtCoder500点 ABC-E 水色diff Functionalグラフ なもりグラフ サイクル サイクル検出 DFS Union-Find 最小コスト グラフ 順列の最適化問題 トポロジカルソート 連結成分 連結成分ごとに分解して考える Kruskal法 最小全域木 全域木を考える 補集合を考える 制約条件:作業の依存関係・順序関係 解空間:O(N!)通りの選択肢 最適化問題