cf1509D. Binary Literature(数学+鸽巢原理)

Posted 为什么他们cf写的这么快

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了cf1509D. Binary Literature(数学+鸽巢原理)相关的知识,希望对你有一定的参考价值。

题目链接
在这里插入图片描述
在这里插入图片描述
题意:给你三个只有0和1组成的字符串a,b,c,长度都为2n,问你能否构造出一个不超过3n的字符串s,使得s满足串a,b,c这三个串中至少有两个串是串s的子序列。
思路:挺有意思的一道题,首先最简单的就是将两个字符串拼接,长度为4n,只要再减去n就好了。与此同时,至少有两个串的最长公共子序列LIS是>=n的,所以只要将两个字符串拼接起来只取一个LIS即可。下面简单说明一下为啥至少有两个串的LIS是>=n的。
因为每个串长度为2n,所以对于每个串只要两个结果,要么0的数量大于n,要么1的数量大于n。所以根据鸽巢原理,至少有两个字符串满足他们的0的数量>=n或者1的数量>=n。我们只取含0或者1的LIS就行了。

#include<bits/stdc++.h>
using namespace std;
const int maxn=1e5+5;
char s[5][maxn*2];
int T,n,flag,cnt0[maxn],cnt1[maxn];
string check(int x,int y,char c)
{
	string ans;
	int i=1,j=1;
	while(i<=2*n&&j<=2*n)
	{
		if(s[x][i]!=c) ans+=s[x][i++];
		else if(s[y][j]!=c) ans+=s[y][j++];
		else ans+=c,i++,j++;
	}
	while(i<=2*n) ans+=s[x][i++];
	while(j<=2*n) ans+=s[y][j++];
	return ans;
}
int main()
{
	scanf("%d",&T);
	while(T--)
	{
		scanf("%d",&n);
		for(int i=1;i<=3;++i) scanf("%s",s[i]+1),flag=cnt0[i]=cnt1[i]=0;
		for(int i=1;i<=3;++i)
		for(int j=1;j<=2*n;++j)
		if(s[i][j]=='0') cnt0[i]++;
		else cnt1[i]++;
		for(int i=1;i<=3&&!flag;++i)
		for(int j=i+1;j<=3&&!flag;++j)
		{
			if(cnt0[i]>=n&&cnt0[j]>=n) {
				cout<<check(i,j,'0')<<endl;flag=1;
			}
			else if(cnt1[i]>=n&&cnt1[j]>=n) {
				cout<<check(i,j,'1')<<endl;flag=1;
			}
		}
	}
}

以上是关于cf1509D. Binary Literature(数学+鸽巢原理)的主要内容,如果未能解决你的问题,请参考以下文章

CF1311E Construct the Binary Tree

[CF792D] Paths in a Complete Binary Tree (规律, 位运算, lowbit)

cf1509 C. The Sports Festival(区间DP)

[CF538B] Quasi Binary

CF662C Binary TableFWT

CF1360H Binary Median