AtCoder AtCoder400点 ABC-D ARC-D 水色diff NoviSteps1Q Greedy 解空間:O(N^2)通りの選択肢 解空間:O(N^2)個のペア 非自明な線形時間 最適化問題 最小コスト 操作 操作:±1 最適解の数え上げ 数列 青木君が高橋君を妨害したい問題 最適化の考察：最適解に含まれ得る要素を列挙する DAG ライングラフ