首页 > 其他分享 >AtCoder Beginner Contest 213 H Stroll

AtCoder Beginner Contest 213 H Stroll

时间:2023-06-01 10:56:03浏览次数:53  
标签:AtCoder typedef 213 int ll mid long maxn Stroll

洛谷传送门

AtCoder 传送门

考虑一个朴素 dp,\(f_{t, u}\) 表示 \(t\) 时刻走到 \(u\) 点的方案数。有转移:

\[f_{t, u} = \sum\limits_{(u, v) = E_i} \sum\limits_{k = 0}^{t - 1} f_{k, v} \times p_{i, t - k} \]

直接做时间复杂度 \(O(mT^2)\),无法接受。

发现转移是加法卷积形式,又因为这个 dp 是在线的,考虑分治 NTT。设当前递归区间为 \([l, r]\),设 \(mid = \left\lfloor\frac{l + r}{2}\right\rfloor\),计算出 \(f_{l \sim mid, v}\) 后,卷上 \(p_{i, 0 \sim r - l}\) 可以转移至 \(f_{mid + 1 \sim r, u}\)。时间复杂度降至 \(O(mT \log^2 T)\),可以通过。

code
// Problem: H - Stroll
// Contest: AtCoder - AtCoder Beginner Contest 213
// URL: https://atcoder.jp/contests/abc213/tasks/abc213_h
// Memory Limit: 1024 MB
// Time Limit: 5000 ms
// 
// Powered by CP Editor (https://cpeditor.org)

#include <bits/stdc++.h>
#define pb emplace_back
#define fst first
#define scd second
#define mems(a, x) memset((a), (x), sizeof(a))

using namespace std;
typedef long long ll;
typedef unsigned long long ull;
typedef double db;
typedef long double ldb;
typedef pair<ll, ll> pii;

const int maxn = 200100;
const ll mod = 998244353;
const ll G = 3;

inline ll qpow(ll b, ll p) {
	ll res = 1;
	while (p) {
		if (p & 1) {
			res = res * b % mod;
		}
		b = b * b % mod;
		p >>= 1;
	}
	return res;
}

ll n, m, K, a[15][maxn], r[maxn], f[maxn][15];
vector<pii> E[maxn];

typedef vector<ll> poly;

inline poly NTT(poly a, int op) {
	int n = (int)a.size();
	for (int i = 0; i < n; ++i) {
		if (i < r[i]) {
			swap(a[i], a[r[i]]);
		}
	}
	for (int k = 1; k < n; k <<= 1) {
		ll wn = qpow(op == 1 ? G : qpow(G, mod - 2), (mod - 1) / (k << 1));
		for (int i = 0; i < n; i += (k << 1)) {
			ll w = 1;
			for (int j = 0; j < k; ++j, w = w * wn % mod) {
				ll x = a[i + j], y = w * a[i + j + k] % mod;
				a[i + j] = (x + y) % mod;
				a[i + j + k] = (x - y + mod) % mod;
			}
		}
	}
	if (op == -1) {
		ll inv = qpow(n, mod - 2);
		for (int i = 0; i < n; ++i) {
			a[i] = a[i] * inv % mod;
		}
	}
	return a;
}

inline poly operator * (poly a, poly b) {
	a = NTT(a, 1);
	b = NTT(b, 1);
	int n = (int)a.size();
	for (int i = 0; i < n; ++i) {
		a[i] = a[i] * b[i] % mod;
	}
	a = NTT(a, -1);
	return a;
}

void cdq(int l, int r) {
	if (l >= r) {
		return;
	}
	int mid = (l + r) >> 1, n = mid - l, m = r - l, k = 0;
	cdq(l, mid);
	while ((1 << k) <= n + m) {
		++k;
	}
	for (int i = 1; i < (1 << k); ++i) {
		::r[i] = (::r[i >> 1] >> 1) | ((i & 1) << (k - 1));
	}
	for (int u = 1; u <= ::n; ++u) {
		for (pii p : E[u]) {
			int v = p.fst, id = p.scd;
			poly A(1 << k), B(1 << k);
			for (int i = 0; i <= n; ++i) {
				A[i] = f[l + i][v];
			}
			for (int i = 0; i <= m; ++i) {
				B[i] = a[id][i];
			}
			poly C = A * B;
			for (int i = mid + 1; i <= r; ++i) {
				f[i][u] = (f[i][u] + C[i - l]) % mod;
			}
		}
	}
	cdq(mid + 1, r);
}

void solve() {
	scanf("%lld%lld%lld", &n, &m, &K);
	for (int i = 1, u, v; i <= m; ++i) {
		scanf("%d%d", &u, &v);
		E[u].pb(v, i);
		E[v].pb(u, i);
		for (int j = 1; j <= K; ++j) {
			scanf("%lld", &a[i][j]);
		}
	}
	f[0][1] = 1;
	cdq(0, K);
	printf("%lld\n", f[K][1]);
}

int main() {
	int T = 1;
	// scanf("%d", &T);
	while (T--) {
		solve();
	}
	return 0;
}

标签:AtCoder,typedef,213,int,ll,mid,long,maxn,Stroll
From: https://www.cnblogs.com/zltzlt-blog/p/17448303.html

相关文章

  • atcoder mujin_pc_2017_d
    link。我们注意到这个条件其实不是十分好dp,通常而言的另一个方向就是尝试寻找条件的等价形式。我们先考虑较简介的情况:直径\(L\)上边数为偶。显然\(D=\frac{L}{2}\)。在\(u\rightarrowv\)路径上,我们注意到两种边的和一定,比较自然的想法是知道它们的差,然后\(\max(x,y)=s......
  • AtCoder Beginner Contest 288(D,E,F)
    AtCoderBeginnerContest288(D,E,F)D(思维)D有一个数组,然后有\(q\)次询问,每一次输入一对\(l,r\),我们要判断这一段里面的数是不是好数组好数组,在进行下面任意次操作后可以把这一段数字都变成\(0\),那么这就是个好数组操作是选择一个\(i\)和一个\(c\),但是\(i+k-1\)要小于\(......
  • 213. 打家劫舍 II
    你是一个专业的小偷,计划偷窃沿街的房屋,每间房内都藏有一定的现金。这个地方所有的房屋都围成一圈,这意味着第一个房屋和最后一个房屋是紧挨着的。同时,相邻的房屋装有相互连通的防盗系统,如果两间相邻的房屋在同一晚上被小偷闯入,系统会自动报警。给定一个代表每个房屋存放金额的......
  • AtCoder Beginner Contest 258 Ex Odd Steps
    洛谷传送门AtCoder传送门不错的矩阵快速幂优化dp练习题。考虑一个朴素dp,\(f_i\)为组成和为\(i\)且用到的数都是奇数的方案数。有转移:\[f_i=\begin{cases}\sum\limits_{j=0}^{i-1}[i\bmod2\nej\bmod2]f_j&i\notinA\\0&i\inA\end{cases}\]考虑前......
  • AtCoder Beginner Contest 289(E,F)
    AtCoderBeginnerContest289(E,F)E(dijkstra)E这个题的大意就是有两个人,一个人在点\(1\),一个人在点\(n\),现在两个人要同时走(题目给出了点和边,还有每一个点的颜色),但是他们的下一步要到的点需要是颜色不同的,问\(1\)点出发的和\(n\)点出发的同时达到对方的起点的最短路径时哪......
  • AtCoder Beginner Contest 303
    A-SimilarString(abc303a)题目大意给定两个字符串,问这两个字符串是否相似。两个字符串相似,需要每个字母,要么完全相同,要么一个是1一个是l,要么一个是0一个是o解题思路按照题意模拟即可。可以将全部1换成l,全部0换成o,再判断相等。神奇的代码#include<bits/stdc++.h>us......
  • AtCoder Regular Contest 153 D Sum of Sum of Digits
    洛谷传送门AtCoder传送门又浪费一道好题我首先想的是,\(x\)显然最优取某些\(a_i\)往前进位时的值。然后就误以为\(x\)的取值是\(O(n\log_{10}V)\)的了……既然没发现什么性质,那就直接dp吧!设\(f_{d,i}\)为从低到高前\(d\)位,所有\(a_i\)进位之和为\(i\)。然......
  • AtCoder Regular Contest 161
    PrefaceARC战俘闪总出列这场一上来就感觉状态不太对,先是A顺序敲反WA了一发,然后C题看到秒出一个贪心然后也WA了看一眼榜发现D过的比C多,然后跑去把D写了,中间还偷偷挂了两发最后50min回去沉淀C题,结果换了两种写法都还是一样的挂,后面发现想法还是有纰漏总结:彩笔A-MakeM考虑......
  • AtCoder Regular Contest 148 E ≥ K
    洛谷传送门AtCoder传送门是一道不错的计数。考察合法序列的形态,容易发现:不能出现两个\(<\frac{k}{2}\)的数相邻;如果\(x<\frac{k}{2},y\ge\frac{k}{2}\),那么\(|y-\frac{k}{2}|\ge|x-\frac{k}{2}|\)。考虑不直接排列,而是按照一定的顺序插入。考虑按照\(|x......
  • AtCoder Beginner Contest 290(D,E)
    AtCoderBeginnerContest290(D,E)D(思维,数学)D这个题的大意就是我们需要标记\(n\)个位置,他是这样标记的,一开始有一个初始值为\(0\)的\(x\),第一个标记的是\(0\)位置,然后下一步,我们把\(x\)变成\((x+d)modn\),如果这个位置没有被标记,否则把\(x\)变成\((x+1)modn\),这个是没有......