AtCoder AtCoder700点 ARC-F 不変量 倍数判定や九去法 操作によって作れるものの集合を考える(判定関数を考える) 数え上げ問題 文字列 DP 操作を好きな回数だけ行える 操作後の結果の数え上げ 必要条件を列挙したら十分条件になる 数学的帰納法に基づく考察 実験 コーナーケース シーケンシャルDP 赤色diff DP状態:あまり DP状態:個数 DP状態:前回の最後の場所 操作 0と1と2の問題