CF1886C Decreasing String

传送门。显然可以 $O(n)$ 地找到 $pos$ 所属的 $s_i$ 段，所以我们只需要得到 $s_i$ 即可。不难发现，删除元素的规则应该是从 $1$ 到 $n$ 枚举每个元素，删除它前面“紧邻的”比他大的元素（例如对于 eadcb 中的 b 删除掉 dc）。

赛时一直在想，怎么快速找到一个元素前面这些“紧邻的”比它大的元素，但这实际上根本不需要处理——删除掉这些组成逆序对的元素，前面的元素显然就有序了！也就是说，我们在维护一个单调栈，每次入栈 $s_i$ 时，弹掉栈顶那些比它大的元素，再压入 $s_i$。

需要注意的是，我们弹掉栈顶的次数是有限制的，要恰好弹掉 $n-len(s_i)$ 个元素。弹完这些之后，后面即使栈内元素不单调了，也不能再弹了；如果还没弹够这个数目就完事了，则按理说要继续弹掉最后加进去的元素（按照题目字典序定义 1），但在实现中，因为 $pos$ 不会取到后面的元素，弹不弹没有太大影响。

void solve() {
    scanf("%s", s + 1);
    int n = strlen(s + 1), tot = 0, len;
    LL pos;
    scanf("%lld", &pos); // 注意！题面中故意没有给出明确数据，导致 WA on test 8
    for (len = n; len >= 1; len--) {
        if (pos - len <= 0)  break;
        pos -= len;
    }
    int cnt = 0;
    for (int i = 1; i <= n; i++) {
        while (cnt < n - len && tot && st[tot] > s[i]) tot--, cnt++; // 还有次数->栈不为空->不单调
        st[++tot] = s[i];
    }
    putchar(st[pos]);
}