こういうことをしたくなります。 ans = 0 for i = 1, ..., m: for j = i, ..., m: if [i, j] がSAT: ans = max(ans, j - i + 1) else: break SATの判定が O(N+M) なので、全体で O(M2(N+M)) になります。 j は解を更新する可能性がある範囲しか調べなくてい…

初めてSRMに出たのが 2010/10/21 なので今日で競プロ10周年になりました。 自分としては蟻本が出版された後に競プロ始めた人は新入りという感覚なんですが、いつの間にか 老害 古参と言われても文句が言えない年数になってました。 今後ものんびりやっていこ…