题解 [PA2019]Trzy kule
Description
对于两个长度为 \(n\) 的 \(01\) 串 \(a_1,a_2,\dots,a_n\) 和 \(b_1,b_2,\dots,b_n\),定义它们的距离 \(d(a,b)=\sum_{i=1}^{n}|a_i-b_i|\)。
给定三个长度为 \(n\) 的 \(01\) 串 \(s_1,s_2,s_3\) 以及三个非负整数 \(r_1,r_2,r_3\),问有多少个长度为 \(n\) 的 \(01\) 串 \(S\) 满足 \(d(S,s_1)\le r_1,d(S,s_2)\le r_2,d(S,s_3)\le r_3\) 这三个不等式中至少有一个成立。
\(1\le n\le 10^4\)
Solution
总的来说,这个题目是一个比较有技巧性的题目。
首先我们可以想到对原问题进行容斥,即我们计算有多少个 \(S\) 序列满足 \(d(S,s_1)>r_1,d(S,s_2)>r_2,d(S,s_3)>r_3\),然后再用 \(2^n\) 减去即可。
接着,我们可以发现我们可以稍微变化一下,使得相对关系不变且 \(s_1\) 为全 \(1\) 序列,那么对于同一个位置 \(s_1,s_2,s_3\) 就只会有 \(4\) 种情况:\((1,0,0),(1,0,1),(1,1,0),(1,1,1)\)。
考虑计算每种情况的个数,并且枚举每种情况的位置多少个放 \(0\),多少个放 \(1\) 就可以做到 \(\Theta(n^4)\)。
考虑到我们可以利用我们已知的信息列不等式,然后我们就只需要枚举两种,剩下的可以预处理求个后缀和就好了。
复杂度 \(\Theta(n^2)\)。
Code
#include <bits/stdc++.h>
using namespace std;
#define Int register int
#define mod 1000000007
#define MAXN 10005
template <typename T> inline void read (T &t){t = 0;char c = getchar();int f = 1;while (c < '0' || c > '9'){if (c == '-') f = -f;c = getchar();}while (c >= '0' && c <= '9'){t = (t << 3) + (t << 1) + c - '0';c = getchar();} t *= f;}
template <typename T,typename ... Args> inline void read (T &t,Args&... args){read (t);read (args...);}
template <typename T> inline void write (T x){if (x < 0){x = -x;putchar ('-');}if (x > 9) write (x / 10);putchar (x % 10 + '0');}
template <typename T> inline void chkmax (T &a,T b){a = max (a,b);}
template <typename T> inline void chkmin (T &a,T b){a = min (a,b);}
char fs[3][MAXN];
int n,r[3],sum[4],s[3][MAXN],fac[MAXN],ifac[MAXN],f[MAXN][MAXN];
int mul (int a,int b){return 1ll * a * b % mod;}
int dec (int a,int b){return a >= b ? a - b : a + mod - b;}
int add (int a,int b){return a + b >= mod ? a + b - mod : a + b;}
int gcd (int a,int b){return !b ? a : gcd (b,a % b);}
int qkpow (int a,int b){
int res = 1;for (;b;b >>= 1,a = mul (a,a)) if (b & 1) res = mul (res,a);
return res;
}
int binom (int a,int b){return a >= b ? mul (fac[a],mul (ifac[b],ifac[a - b])) : 0;}
void Add (int &a,int b){a = add (a,b);}
void Sub (int &a,int b){a = dec (a,b);}
signed main(){
read (n);
fac[0] = 1;for (Int i = 1;i <= n;++ i) fac[i] = mul (fac[i - 1],i);
ifac[n] = qkpow (fac[n],mod - 2);for (Int i = n;i;-- i) ifac[i - 1] = mul (ifac[i],i);
for (Int i = 0;i < 3;++ i){
read (r[i]),scanf ("%s",fs[i] + 1);
for (Int k = 1;k <= n;++ k) s[i][k] = (fs[i][k] - '0');
}
for (Int k = 1;k <= n;++ k) if (!s[0][k]) s[0][k] ^= 1,s[1][k] ^= 1,s[2][k] ^= 1;
for (Int k = 1;k <= n;++ k) sum[s[1][k] << 1 | s[2][k]] ++;
for (Int i = 0;i <= sum[2] + sum[3];++ i)
for (Int j = -sum[2];j <= sum[3];++ j) if (!(i + j & 1)){
int s3 = i + j >> 1,s2 = i - s3;
if (0 <= s2 && s2 <= sum[2] && 0 <= s3 && s3 <= sum[3])
Add (f[i][j + sum[2]],mul (binom (sum[2],s2),binom (sum[3],s3)));
}
for (Int i = sum[2] + sum[3];i >= 0;-- i)
for (Int j = sum[3];j >= -sum[2];-- j) Add (f[i][j + sum[2]],f[i][j + 1 + sum[2]]);
for (Int i = sum[2] + sum[3];i >= 0;-- i)
for (Int j = sum[3];j >= -sum[2];-- j) Add (f[i][j + sum[2]],f[i + 1][j + sum[2]]);
int ans = 0,all = 1;
for (Int i = 1;i <= n;++ i) all = add (all,all);
for (Int s0 = 0;s0 <= sum[0];++ s0)
for (Int s1 = 0;s1 <= sum[1];++ s1){
int v1 = max (0,max (r[0] - s0 - s1,r[1] + s0 + s1 - sum[0] - sum[1]) + 1),
v2 = max (-sum[2],r[2] + s0 - s1 - sum[0] - sum[2] + 1);
Add (ans,mul (mul (binom (sum[0],s0),binom (sum[1],s1)),f[v1][v2 + sum[2]]));
}
write (dec (all,ans)),putchar ('\n');
return 0;
}
题解 [PA2019]Trzy kule的更多相关文章
- Potyczki Algorythmiczne 2019
Runda próbna: A + B 设$f[i]$表示两数相加得到前$i$位的方案数,由$f[i-1]$和$f[i-2]$转移得到. #include<cstdio> #include ...
- 「题解」PA2019 Terytoria
本文将同步发布于: 洛谷博客: csdn: 博客园: 因为简书系统升级,所以本文未在简书上发布. 题目 题目链接:洛谷 P5987.LOJ 3320.官网. 题意概述 在二维平面直角坐标系上,有一个长 ...
- POI2015题解
POI2015题解 吐槽一下为什么POI2015开始就成了破烂波兰文题目名了啊... 咕了一道3748没写打表题没什么意思,还剩\(BZOJ\)上的\(14\)道题. [BZOJ3746][POI20 ...
- 【BZOJ4384】[POI2015]Trzy wieże 树状数组
[BZOJ4384][POI2015]Trzy wieże Description 给定一个长度为n的仅包含'B'.'C'.'S'三种字符的字符串,请找到最长的一段连续子串,使得这一段要么只有一种字符 ...
- 2016 华南师大ACM校赛 SCNUCPC 非官方题解
我要举报本次校赛出题人的消极出题!!! 官方题解请戳:http://3.scnuacm2015.sinaapp.com/?p=89(其实就是一堆代码没有题解) A. 树链剖分数据结构板题 题目大意:我 ...
- noip2016十连测题解
以下代码为了阅读方便,省去以下头文件: #include <iostream> #include <stdio.h> #include <math.h> #incl ...
- BZOJ-2561-最小生成树 题解(最小割)
2561: 最小生成树(题解) Time Limit: 10 Sec Memory Limit: 128 MBSubmit: 1628 Solved: 786 传送门:http://www.lyd ...
- Codeforces Round #353 (Div. 2) ABCDE 题解 python
Problems # Name A Infinite Sequence standard input/output 1 s, 256 MB x3509 B Restoring P ...
- 哈尔滨理工大学ACM全国邀请赛(网络同步赛)题解
题目链接 提交连接:http://acm-software.hrbust.edu.cn/problemset.php?page=5 1470-1482 只做出来四道比较水的题目,还需要加强中等题的训练 ...
随机推荐
- ScheduledExecutorService中scheduleAtFixedRate方法与scheduleWithFixedDelay方法的区别
ScheduledExecutorService中scheduleAtFixedRate方法与scheduleWithFixedDelay方法的区别 ScheduledThreadPoolExecut ...
- 利用元数据提高 SQLFlow 血缘分析结果准确率
利用元数据提高 SQLFlow 血缘分析结果准确率 一.SQLFlow--数据治理专家的一把利器 数据血缘属于数据治理中的一个概念,是在数据溯源的过程中找到相关数据之间的联系,它是一个逻辑概念.数据治 ...
- ubuntu开机自启设置 Ubuntu16.04下测试OK
在~/.config/autostart/目录下,添加xxx.desktop文件,内容如下: [Desktop Entry] Type=Application Name=start apps NoDi ...
- Mybatis原理和代码剖析
参考资料(官方) Mybatis官方文档: https://mybatis.org/mybatis-3/ Mybatis-Parent : https://github.com/mybatis/par ...
- Spring笔记(3)
一.JDBC Template基本使用 1.开发步骤 1.1直接使用template 导入spring-jdbc和spring-tx坐标 <!-- JDBC--> <dependen ...
- 比培训机构还详细的 Python 学习路线,你信吗 0^0
前言 这其实是将自己写的文章进行一个总结分类,并不代表最佳学习路线 会不断更新这篇文章...没链接的文章正在编写ing...会不会哪天我的这个目录就出现在培训机构的目录上了... 目前实战比较少(要是 ...
- MongoDB(15)- 查询操作里面的游标 cursor
db.collection.find() 方法里面的游标 该方法最后会返回一个 cursor 正常情况下,访问文档必须迭代游标 重点事项 当调用 find() 函数时,Shell 并不立即查询数据库, ...
- sqlmap --eval 用法
今天查资料发现 sqlmap 有一个 --eval 的参数 --eval=EVALCODE Evaluate provided Python code before the request (e.g. ...
- 从输入 URL 到展现页面的全过程
总体分为以下几个过程 DNS解析 TCP连接 发送HTTP请求 服务器处理请求并返回HTTP报文 浏览器解析渲染页面 连接结束 DNS解析 域名到ip地址转换 TCP连接 HTTP连接是基于TCP连接 ...
- 洛谷P1090——合并果子(贪心)
https://www.luogu.org/problem/show?pid=1090 题目描述 在一个果园里,多多已经将所有的果子打了下来,而且按果子的不同种类分成了不同的堆.多多决定把所有的果子合 ...