自动搬运

查看原文

来自洛谷，原作者为

	OMG_wc 幻想家协会会长

搬运于2025-08-24 22:22:49，当前版本为作者最后更新于2020-11-13 16:46:27，作者可能在搬运后再次修改，您可在原文处查看最新版

自动搬运只会搬运当前题目点赞数最高的题解，您可前往洛谷题解查看更多

以下是正文

总的方案数一共有 $S=\prod\limits_{i=2}^n r_i-l_i+1$，然后我们独立算每个结点的贡献。

根节点的贡献就是 $S$，而其他结点的贡献依赖于其父节点是否为制高点。

从每个点的期望考虑会比较简单，设 $f_i$ 为随机一种方案下 $i$ 是制高点的期望，那么最终答案就是 $\sum\limits_{i=1}^n f_i S$。

因为 $r_i<i$，显然可以 DP 计算期望：初始 $f_1=1$，转移方程为 $f_i=\sum\limits_{j=l_i}^{r_i} f_j[h_j\le h_i]\times \frac{1}{r_i-l_i+1}$。

现在问题变成了求 $[l,r]$ 区间内高度值小于等于 $h_i$ 的 $f_j$ 总和，$h_i$ 比较大先离散化。

可以离线解决，把所有询问按高度排序，然后一个个把 $f_i$ 值插入到树状数组里，求个区间和就是答案。

也可以利用主席树在线解决，直接求第 $r$ 个版本和第 $l-1$ 个版本的 $[1,h_i]$ 的区间和的差，在求出 $f_i$ 后插入到当前版本 $h_i$ 的位置。

代码如下：

#include <bits/stdc++.h>
using namespace std;
typedef long long LL;
const int INF = 0x3f3f3f3f;
const LL mod = 998244353;
const int N = 100005;

LL pow_mod(LL x, LL n) {
    LL res = 1;
    while (n) {
        if (n & 1) res = res * x % mod;
        x = x * x % mod;
        n >>= 1;
    }
    return res;
}
struct Node {
    int ls, rs, val;
} tr[N * 20];
int root[N], ck;
void update(int &u, int o, int l, int r, int x, int v) {
    u = ++ck;
    tr[u] = tr[o];
    tr[u].val = (tr[u].val + v) % mod;
    if (l == r) return;
    int mid = l + r >> 1;
    if (x <= mid)
        update(tr[u].ls, tr[o].ls, l, mid, x, v);
    else
        update(tr[u].rs, tr[o].rs, mid + 1, r, x, v);
}
LL query(int u, int o, int l, int r, int x, int y) {
    if (x <= l && r <= y) {
        return tr[u].val - tr[o].val;
    }
    int mid = l + r >> 1;
    LL res = 0;
    if (x <= mid) res += query(tr[u].ls, tr[o].ls, l, mid, x, y);
    if (y > mid) res += query(tr[u].rs, tr[o].rs, mid + 1, r, x, y);
    return res;
}
int a[N], b[N], l[N], r[N];

int main() {
    int n;
    scanf("%d", &n);
    for (int i = 1; i <= n; i++) scanf("%d", &a[i]), b[i] = a[i];
    sort(b + 1, b + n + 1);
    LL sb = 1;
    for (int i = 2; i <= n; i++) {
        scanf("%d%d", &l[i], &r[i]);
        sb = sb * (r[i] - l[i] + 1) % mod;
    }
    LL ans = 0;
    for (int i = 1; i <= n; i++) {
        a[i] = lower_bound(b + 1, b + n + 1, a[i]) - b;
        LL now = i == 1 ? 1 : (query(root[r[i]], root[l[i] - 1], 1, n, 1, a[i]) % mod + mod) % mod * pow_mod(r[i] - l[i] + 1, mod - 2) % mod;
        update(root[i], root[i - 1], 1, n, a[i], now);
        ans += now * sb % mod;
    }
    ans %= mod;
    printf("%lld\n", ans);
    return 0;
}