题目链接:https://atcoder.jp/contests/agc063/tasks/agc063_b

做法

对于一个序列的检验,我们可以认为是每次选择一个递增序列,删掉,看最后能不能删完,能删完就是合法序列。

证明两个定理:

  1. 假如我在后面某步删除了某个序列,且这个序列在现在就存在且能删除,那么现在直接删除不会影响最终判断。
    例如:1231234,我先删了 123 再删除 1234,但是其实一开始就能删除 1234,那么我一开始就删除 1234 不会影响最终判断。
  2. 加入我在某一步删除了一个序列,那么如果我在之前的某一步的瞬间突然删除掉了这个序列某一个后缀,不会导致将原本合法的序列判断为不合法。
    例如:1231212456 ,显然删除顺序是:
1