AtCoder AtCoder700点 ARC-F 不変量 modをとって考える 操作 判定関数を考える 数え上げ問題 文字列問題 DP 操作を好きな回数だけ行える 操作後の結果の数え上げ 必要条件を列挙したら十分条件になる 数学的帰納法 実験 コーナーケース ナップサックDP 状態遷移を意識するDP 赤色diff