CF Round #712 (Div. 2) C Balance the Bits

知识点：构造、结论、思维、贪心

题目链接

题意

构造两个长度相等的匹配括号序列，使得给定长度相等的01串的位置上为1的对应括号相同，0对应括号相反。

思路

本次思路直接模拟比较困难，分步进行比较容易。

比较困难的题都需要分步思考，就和做数学题一样
（大概）

假定一个匹配括号序列，
分析匹配括号序列的性质：

1. 最左端和最右端一定是“（”和“）”。
2. “（”和“）”个数一定相等。

易知第一个括号序列的“（”、“）”、第二个括号序列的“（”、“）”个数全相等。（0）
又知，01串1位置上的括号类型相同的个数同增同减，0位置上的括号类型1个增1个减（这里的增减理解为“（”为+1，“）”为-1）。要满足上述条件，必须1增1减对应1减1增，即0位置必须为偶数个，易知1位置为偶数个（n为偶数），且0上的“（”和“）”也全相等。
易知1位置上的“（”和“）”也全相等。（1）
最核心的思维：对于0上第一个括号序列的两个位置如果组成一对括号“（）”，那么第二个括号序列里一定存在一对“）（”，要保持匹配，必须要在”）（“左右加上”（“和”）“，即”（）（）“。（2）
得出这么多限制后，比较好构造了。
（0）段中判断左端和右端是不是都为1就行了。
（1）段中的限制都为个数限制，于是预处理出0和1的个数，不是偶数就无法构造，给0分配$cn{t}_0/2$个“（”，$cn{t}_0/2$个“）”，给1分配$cn{t}_1/2$个“（”，$cn{t}_1/2$个“）”
（2）段中考虑贪心，即0位置上“）（”的构造尽量少，0位置上构造成“（）（）（）…”和“）（）（）（…”的话“）（”最多为1个。1位置要匹配“）（”，“（”尽量左移，“）”尽量右移，即左边全为“（”，右边全为“）”，以获得更多的匹配机会。

代码

#include<bits/stdc++.h>
#define ll long long
using namespace std;
const ll N=2e5+10;

ll n;
string arr;

void solve()
{
	cin>>n>>arr;
	ll cntzero=0;//统计0的个数
	for(ll i=0; i<n; i++) cntzero+=(arr[i]=='0');
	//左右端有一个不为1或0的个数为奇数（1的个数同时为奇数（n为偶数））
	if(arr[0]!='1'||arr[n-1]!='1'||(cntzero&1))
	{
		cout<<"NO"<<endl;
		return ;
	}
	string ansa,ansb;
	ansa.resize(n+5),ansb.resize(n+5);
	bool f=false;//false：第一个括号序列0位置填（，true第一个序列反之
	//处理0位置
	for(ll i=0; i<n; i++)
	{
		if(arr[i]=='0')
		{
			if(f)
			{
				ansa[i]=')';
				ansb[i]='(';
			}
			else
			{
				ansa[i]='(';
				ansb[i]=')';
			}
			f=!f;//下一次交替括号类型
		}
	}
	//处理1位置
	ll cnt=n-cntzero>>1;//1的个数除以2
	//从左往右填入cnt个（
	for(ll i=0; i<n; i++)
	{
		if(!cnt)  break;
		if(arr[i]!='1') continue;
		ansa[i]=ansb[i]='(';
		cnt--;
	}
	cnt=n-cntzero>>1;
	//从右往左填入cnt个）
	for(ll i=n-1; i>=0; i--)
	{
		if(!cnt) break;
		if(arr[i]!='1') continue;
		ansa[i]=ansb[i]=')';
		cnt--;
	}
	cout<<"YES"<<endl<<ansa.substr(0,n)<<endl<<ansb.substr(0,n)<<endl;
}

int main()
{
	ios::sync_with_stdio(false);
	cin.tie(0);
	cout.tie(0);
	ll t;
	cin>>t;
	while(t--)
		solve();
	return 0;
}