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