AtCoder AtCoder800点 Greedy マトロイド グラフ問題 二次元情報を二部グラフにして考える 二部グラフ Union-Find Kruskal法 操作 操作の順序は関係ない 条件の言い換え 判定関数を考える グリッド なもりグラフ 操作後の結果の最適化問題 橙色diff ARC-like