NOIP2019模拟2019.9.20】膜拜大会（外向树容斥，分类讨论）

传送门。

题解：

---

我果然是不擅长分类讨论，心态被搞崩了。

注意到\(m<=n-2\)，意味着除了1以外的位置不可能被加到a[1]两遍。

先考虑个大概：

考虑若存在\(x,x-1,…,2\)（有序）这样的，且1要么不出现，要么出现在2的左边，那么\(a[1]=\sum_{i=1}^x a[i]\)。

同样，若存在\(y,y+1,…,n\)，且1要么不出现，要么出现在n的左边，那么\(a[1]=a[1]+\sum_{i=y}^n a[i]\)。

开始讨论：

1.1没有出现，直接枚举x，求出最大的y的满足\(sum>=K\)，现在大概要求x要恰好，y要至少。

至少好算，恰好的话考虑用至少x减去至少x+1。

2.1出现了，1的右边只有2,，n要么不出现，要么出现在1的左边，注意这种情况下\(y->n\)的和依然会被加进a[1]，同样枚举x，求出最大的y，然后我们可以列出一个限制树，若\(j\)必须在\(i\)的左边，\(link(i,j)\)，根据CTS2019氪金手游那题，概率是\(\prod{1 \over siz}\)，乘上总方案数便是可行的方案数。

3.把上种情况的2、n互换，求法类似。

4.1出现了，2和n都在1的右边，注意这种情况\(a[1]\)会被加两遍，同样枚举x，求最大的y，然后列出限制树，发现并不是外向树，有一条内向边，那么直接把这条边容斥即可。

Code：

---

#include<bits/stdc++.h>
#define fo(i, x, y) for(int i = x, B = y; i <= B; i ++)
#define ff(i, x, y) for(int i = x, B = y; i <  B; i ++)
#define fd(i, x, y) for(int i = x, B = y; i >= B; i --)
#define ll long long
#define pp printf
#define hh pp("\n")
using namespace std;

const int mo = 998244353;

ll ksm(ll x, ll y) {
	ll s = 1;
	for(; y; y /= 2, x = x * x % mo)
		if(y & 1) s = s * x % mo;
	return s;
}

const int N = 2e5 + 5;

int T, n, m, K;
ll a[N];

ll fac[N], nf[N], ni[N];

ll C(int n, int m) {
	return n < m || n < 0 || m < 0 ? 0 : fac[n] * nf[m] % mo * nf[n - m] % mo;
}

ll P(int n, int m) {
	return n < m || n < 0 || m < 0 ? 0 : fac[n] * nf[n - m] % mo;
}

ll p[N], q[N];

ll ans;

ll ca1(int x, int z) {
	return (x + z <= m) ? (C(m, x) * C(m - x, z) % mo * P(n - 1 - x - z, m - x - z) % mo) : 0;
}
void calc1() {
	int y = n + 1;
	fd(x, m + 1, 1) {
		while(y > 1 && p[x] + q[y] < K) y --;
		if(p[x] + q[y] < K) continue;
		int z = n - y + 1;
		ans += ca1(x - 1, z);
		ans -= ca1(x, z);
	}
	ans %= mo;
}

ll ca2(int x, int z) {
	if(x + z > m) return 0;
	return fac[m] * C(n - (x + z), m - (x + z)) % mo * nf[x - 2] % mo * nf[z + 1] % mo * ni[x + z] % mo;
}
void calc2() {
	int y = n + 1;
	fd(x, m, 2) {
		while(y > 1 && p[x] + q[y] < K) y --;
		if(p[x] + q[y] < K) continue;
		int z = n - y + 1;
		if(z > 0) {
			ans += ca2(x, z);
			ans -= ca2(x + 1, z);
		} else {
			n --;
			ans += ca2(x, z);
			ans -= ca2(x + 1, z);
			n ++;
			ans += ca2(x, 1);
			ans -= ca2(x + 1, 1);
		}
	}
}

void calc3() {
	int z = 1;
	fo(y, n - m + 1, n) {
		while(z < n && p[z] + q[y] < K) z ++;
		if(p[z] + q[y] < K) continue;
		int x = n - y + 2;
		if(z > 1) {
			ans += ca2(x, z - 1);
			ans -= ca2(x + 1, z - 1);
		} else {
			n --;
			ans += ca2(x, z - 1);
			ans -= ca2(x + 1, z - 1);
			n ++;
			ans += ca2(x, 1);
			ans -= ca2(x + 1, 1);
		}
	}
}

ll ca4(int x, int z) {
	if(x + z > m) return 0;
	ll sum = nf[z] * nf[x - 2] % mo * ni[x] % mo;
	sum = (sum - nf[z + 1] * nf[x - 2] % mo * ni[x + z] % mo + mo) % mo;
	return C(n - (x + z), m - (x + z)) * fac[m] % mo * sum % mo;
}

void calc4() {
	int y = n;
	fd(x, m, 2) {
		while(y > 1 && p[x] + q[y] + a[1] < K) y --;
		if(p[x] + q[y] + a[1] < K) continue;
		int z = n - y + 1;
		ans += ca4(x, z);
		ans -= ca4(x + 1, z);
	}
}

int main() {
	freopen("fake.in", "r", stdin);
	freopen("fake.out", "w", stdout);
	n = 2e5;
	fac[0] = 1; fo(i, 1, n) fac[i] = fac[i - 1] * i % mo;
	nf[n] = ksm(fac[n], mo - 2); fd(i, n, 1) nf[i - 1] = nf[i] * i % mo;
	fo(i, 1, n) ni[i] = ksm(i, mo - 2);
	for(scanf("%d", &T); T; T --) {
		scanf("%d %d %d", &n, &m, &K);
		fo(i, 1, n) scanf("%lld", &a[i]);
		if(K == 0) {
			pp("1\n"); continue;
		}
		q[n + 1] = p[0] = 0;
		fo(i, 1, n) p[i] = p[i - 1] + a[i];
		fd(i, n, 1) q[i] = q[i + 1] + a[i];
		ans = 0;
		calc1();
		calc2();
		calc3();
		calc4();
		ans = (ans % mo + mo) * ksm(P(n, m), mo - 2) % mo;
		pp("%lld\n", ans);
	}
}