CF 848E(动态规划+分治NTT)

传送门:


http://codeforces.com/problemset/problem/848/E

题解:

假设0-n一定有一条边,我们得到了一个方案,那么显然是可以旋转得到其他方案的。

记最大的i满足i到i+n有一条边,那么旋转的方案数是n-i

考虑动态规划:
(g[i])表示i个点,只用相邻或隔一个去拼接的方案数。
转移显然有(g[i]=g[i-2]+g[i-4])

(f[i][0/1][0/1])表示1有连对面的,n+1有连对面的,2-n填,前面后面是否要伸出去的方案数。
那么显然有(f[i][j][k]=g[i-1-j-k]*(i-1)^2)

(h[i][0/1])表示前i个确定了,第i个是连对面,后面是否伸出去。

显然有(h[i][v]=sum_{j=0}^{i-1}h[j][u]*f[i-j][u][v])

初值为:(h[0][0]=1->ans+=?*h[?][0])
(h[0][1]=1->ans+=?*h[?][1])

由于最后一段有长度的额外贡献,所以:
(Ans=sum_{i=0}^{n-1}h[i][u]*f[n-i][u][?]*(n-i))

这个东西显然可以分治NTT优化转移。

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("
")
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;
}

typedef vector<ll> V;
#define pb push_back
#define si size()

namespace ntt {
	const int nm = 131072;
	ll a[nm], b[nm], w[nm]; int r[nm];
	void build() {
		for(int i = 1; i < nm; i *= 2) ff(j, 0, i)
			w[i + j] = ksm(3, (mo - 1) / 2 / i * j);
	}
	void dft(ll *a, int n, int f) {
		ff(i, 0, n) {
			r[i] = r[i / 2] / 2 + (i & 1) * (n / 2);
			if(i < r[i]) swap(a[i], a[r[i]]);
		} ll b;
		for(int i = 1; i < n; i *= 2) for(int j = 0; j < n; j += 2 * i)
			ff(k, 0, i) b = a[i + j + k] * w[i + k], a[i + j + k] = (a[j + k] - b) % mo, a[j + k] = (a[j + k] + b) % mo;
		if(f == -1) {
			reverse(a + 1, a + n);
			b = ksm(n, mo - 2);
			ff(i, 0, n) a[i] = (a[i] + mo) * b % mo;
		}
	}
	void fft(V &p, V &q) {
		int p0 = p.si + q.si - 1;
		int n = 1; while(n <= p0) n *= 2;
		ff(i, 0, n) a[i] = b[i] = 0;
		ff(i, 0, p.si) a[i] = p[i];
		ff(i, 0, q.si) b[i] = q[i];
		dft(a, n, 1); dft(b, n, 1);
		ff(i, 0, n) a[i] = a[i] * b[i] % mo;
		dft(a, n, -1);
		p.resize(p0);
		ff(i, 0, p0) p[i] = a[i];
	}
}

V operator * (V a, V b) {
	ntt :: fft(a, b);
	return a;
}

const int N = 50005;

int n;
ll f[N][2][2], g[N], h[N][2], ans;

void dp(int x, int y, int m, int u, int v) {
	V p, q;
	p.resize(m - x + 1);
	fo(i, x, m) p[i - x] = h[i][u];
	q.resize(y - x + 1);
	ff(i, 0, q.si) q[i] = f[i][u][v];
	p = p * q;
	fo(i, m + 1, y) h[i][v] = (h[i][v] + p[i - x]) % mo;
}

void dg(int x, int y) {
	if(x == y) return;
	int m = x + y >> 1;
	dg(x, m);
	fo(u, 0, 1) fo(v, 0, 1) dp(x, y, m, u, v);
	dg(m + 1, y);
}

int main() {
	freopen("a.in", "r", stdin);
	freopen("a.out", "w", stdout);
	ntt :: build();
	
	scanf("%d", &n);
	g[0] = 1;
	fo(i, 1, n) g[i] = ((i < 2 ? 0 : g[i - 2]) + (i < 4 ? 0 : g[i - 4])) % mo;
	fo(i, 1, n) fo(j, 0, 1) fo(k, 0, 1)
		f[i][j][k] = (i - 1 - j - k >= 0) ? g[i - 1 - j - k] * (i - 1) % mo * (i - 1) % mo: 0;
	h[0][0] = 1;
	dg(0, n - 1);
	fo(i, 0, n - 1) fo(v, 0, 1) ans = (ans + h[i][v] * f[n - i][v][0] % mo * (n - i)) % mo;
	memset(h, 0, sizeof h); h[0][1] = 1;
	dg(0, n - 1);
	fo(i, 0, n - 1) fo(v, 0, 1) ans = (ans + h[i][v] * f[n - i][v][1] % mo * (n - i)) % mo;
	
	pp("%lld
", ans);
}
原文地址:https://www.cnblogs.com/coldchair/p/11165967.html