首页 > 其他分享 >AtCoder Grand Contest 036 F Square Constraints

AtCoder Grand Contest 036 F Square Constraints

时间:2023-10-03 21:45:27浏览次数:48  
标签:AtCoder typedef Square Contest ll long 2n id define

洛谷传送门

AtCoder 传送门

本质是 \(p_i \in [l_i, r_i]\) 的计数问题。

当 \(1 \le i \le n\) 时,\(l_i\) 才可能不等于 \(1\)。考虑容斥,设钦定 \(m\) 个不满足条件(上界为 \(l_i - 1\)),其余任意(上界为 \(r_i\))。

然后按照上界排序后 dp,设 \(f_{i, j}\) 为考虑前 \(i\) 个元素,已经有 \(j\) 个不满足条件。设前 \(i\) 个元素中,\(id_i \in [n + 1, 2n]\) 的个数为 \(c_1\),\(id_i \in [1, n]\) 的个数为 \(c_2\)。

当 \(id_i \in [1, n]\) 时,讨论 \(p_i\) 上界是否为 \(l_i - 1\)。

如果是,那么 \(f_{i, j} \gets f_{i - 1, j - 1} \times (r_i - (j - 1) - c_1)\),因为有 \(c_1\) 个 \(id_i \in [n + 1, 2n]\) 的元素和 \(j - 1\) 个 \(id_i \in [1, n]\) 的元素在它之前。

如果不是,那么钦定它比 \(id_i \in [n + 1, 2n]\) 的所有元素和 \(id_i \in [1, n]\) 且上界为 \(r\) 且 \(r < r_i\) 或上界为 \(l - 1\) 的元素晚放(因为 \(r_i\) 一定大于 \(id_j \in [1, n]\) 的最大的 \(l_j\))。那么有 \(f_{i, j} \gets f_{i - 1, j} \times (l_i - 1 - n - m - (c_2 - j))\)。

当 \(id_i \in [n + 1, 2n]\) 时,前面有 \(j\) 个数选择了 \(l\) 且都比 \(r_i\) 小,还有 \(c_1\) 个 \(id_i \in [n + 1, 2n]\) 的元素,那么 \(f_{i, j} \gets f_{i - 1, j} \times (r_i - j - c_1)\)。

最后这部分答案为 \(f_{2n, m}\)。

再乘一个容斥系数就是答案。

枚举 \(m\) 再做 \(O(n^2)\) 的 dp,时间复杂度 \(O(n^3)\)。

code
// Problem: F - Square Constraints
// Contest: AtCoder - AtCoder Grand Contest 036
// URL: https://atcoder.jp/contests/agc036/tasks/agc036_f
// Memory Limit: 1024 MB
// Time Limit: 4000 ms
// 
// Powered by CP Editor (https://cpeditor.org)

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

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

const int maxn = 510;

ll n, mod, f[maxn][maxn];
struct node {
	ll l, r, op;
} a[maxn];

inline void upd(ll &x, ll y) {
	((x += y) >= mod) && (x -= mod);
}

inline ll calc(ll m) {
	mems(f, 0);
	f[0][0] = 1;
	ll c1 = 0, c2 = 0;
	for (int i = 1; i <= n * 2; ++i) {
		if (a[i].op) {
			for (int j = 0; j <= m; ++j) {
				f[i][j] = f[i - 1][j] * max(a[i].r - j - c1, 0LL) % mod;
			}
			++c1;
		} else {
			for (int j = 0; j <= m; ++j) {
				f[i][j] = f[i - 1][j] * max(a[i].l - n - m - (c2 - j), 0LL) % mod;
				if (j) {
					upd(f[i][j], f[i - 1][j - 1] * max(a[i].r - (j - 1) - c1, 0LL) % mod);
				}
			}
			++c2;
		}
	}
	return f[n * 2][m];
}

void solve() {
	scanf("%lld%lld", &n, &mod);
	for (int i = 1; i <= n * 2; ++i) {
		a[i].op = (i > n);
		for (int j = 1; j <= n * 2; ++j) {
			if ((i - 1) * (i - 1) + (j - 1) * (j - 1) >= n * n) {
				a[i].l = j;
				break;
			}
		}
		a[i].r = n * 2;
		for (int j = 1; j <= n * 2; ++j) {
			if ((i - 1) * (i - 1) + (j - 1) * (j - 1) > n * n * 4) {
				a[i].r = j - 1;
				break;
			}
		}
		if (i <= n) {
			swap(a[i].l, a[i].r);
			--a[i].r;
		}
	}
	sort(a + 1, a + n * 2 + 1, [&](const node &a, const node &b) {
		return a.r < b.r || (a.r == b.r && a.l < b.l);
	});
	ll ans = 0;
	for (int i = 0; i <= n; ++i) {
		ans = (ans + ((i & 1) ? mod - 1 : 1) * calc(i) % mod) % mod;
	}
	printf("%lld\n", ans);
}

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

标签:AtCoder,typedef,Square,Contest,ll,long,2n,id,define
From: https://www.cnblogs.com/zltzlt-blog/p/17741698.html

相关文章

  • 2017 China Collegiate Programming Contest Final (CCPC-Final 2017)
    Preface今天打学校统一要求的这场CCPC2017Final,直接被打爆了,各种数学题搞得人生活不能自理主要是H徐神开场就秒出了正确的思路,然后一心认准高斯消元然后一直想+写+调到结束都没卡过去比赛最后20min的时候祁神想到了更好写的基于施密特正交化的方法,可以碍于时间有限没调出来不......
  • AtCoder Beginner Contest 288 Ex A Nameless Counting Problem
    洛谷传送门AtCoder传送门考虑到规定单调不降比较难搞。先设\(g_t\)为长度为\(t\)的满足条件的序列个数(可重且有顺序)。求这个可以设个dp,\(f_{d,i}\)表示考虑到从高到低第\(d\)位,当前\(t\)个数中有\(i\)个仍然顶上界,并且之前的位都满足异或分别等于\(X\)的限制。......
  • Atcoder abl c
    传送门题目描述有n个城市,m条双向路的图,问你最少添加几条路使得任意两个城市可以两两到达?样例样例输入3112样例输出:1题目解析这是个双向路的图,我们可以把它当成一个非连通图。在各个点之间有连线,要求我们算出如何能将整个图的各个部分连接起来。那么,我们只要算出这个......
  • AtCoder——第一题
    AtCoderBeginnerContest322FVacationQuery题目大意处理01字符串,给定Q次询问,询问区间内最长连续1的字符个数题目理解使用线段树维护区间需要使用懒标记下传修改信号线段树要维护7个信息(区间的最长连续1的个数、区间左端点开始连续1的个数、区间左端点开始连续0的个数......
  • AtCoder Grand Contest 056 D Subset Sum Game
    洛谷传送门AtCoder传送门考虑若\(n\)是奇数怎么做。枚举Alice第一次选的数\(a_i\),然后考虑把剩下的数两两结成一个匹配,若Bob选了其中一个,Alice就选另一个。容易发现排序后奇数位和它右边的偶数位匹配最优。那么设奇数位的和为\(A\),偶数位的和为\(B\),此时Alice获胜......
  • AtCoder Beginner Contest 178 E
    AtCoderBeginnerContest178EE-DistMax曼哈顿距离最大点对\(ans=max(|x_i-x_j|+|y_i-y_j|)\)考虑去绝对值,4种情况。sort一下取max即可。#include<bits/stdc++.h>usingnamespacestd;typedeflonglongll;constintN=2e5+10;intx[N],y[N];intp[4][N];......
  • 2022 China Collegiate Programming Contest (CCPC) Weihai Site
    PrefaceVP到自己学校出的题了可海星,不得不说学长们出的题比起昨天VP的CCPC2022广州做起来要舒服地多这场前面写题都很顺基本都是一发过,中期的medium也没怎么卡思路和卡机子,一道一道地慢慢出最后一个小时徐神RushF可惜没Rush出来,然后我和祁神坐在下面把B的做法给搞出来了,但不知......
  • The 2022 ICPC Asia Shenyang Regional Contest
    C.ClampedSequence因为\(n\)的范围不大,并且可以猜到\(l,r\)中应该至少有一个在\(a_i,a_i-1,a_i+1\)上。所以直接暴力枚举\(l\)或\(r\)然后暴力的计算一下#include<bits/stdc++.h>usingnamespacestd;#defineintlonglongusingvi=vector<int>;int32_tmain(){......
  • AtCoder Beginner Contest 322
    A-FirstABC2解题思路签到Code#include<bits/stdc++.h>usingnamespacestd;typedeflonglongLL;voidsolve(){ intn; cin>>n; strings; cin>>s; intp=s.find("ABC"); if(p==-1)cout<<p<<'\n&......
  • 2022 China Collegiate Programming Contest (CCPC) Guangzhou Onsite
    Preface好难啊这场广州站,不愧是5题金4题铜的超恶劣站,中档题普遍难度较高但我感觉主要原因还是题目出的太偏向于DP了,AI是本质差不多的树上换根DP,M又是个数位DP,导致像我这种不擅长DP的人直接中期坐牢但好在祁神大力切出了medium~hard的K题,然后最后一小时我把一直在想的A题丢给徐......