51nod 1561 另一种括号序列 单调队列+hash+二分

题意

有一个括号序列，可以对其进行两种操作：
· 向里面加一个括号，可以在开头，在结尾，在两个括号之间加。
· 对当前括号序列进行循环移动，即把最后一个括号拿到开头来。
上述两种操作可以做任意次，要求添加最少的括号使得原序列变成一个合法括号序列。如果有多种可能，输出字典序最小的那一个。"(" < “)”。
len<=1000000

分析

假设左括号数量A大于右括号数量B，不难证明必然有一种方案使得我们可以在最前面放A-B个左括号使得其合法。B大于A同理。
现在考虑如何求最小字典序。
对于每一种循环移动方案，首先要判断其加了abs(A-B)个左括号或右括号是否合法。这个可以维护前缀和后用单调队列维护最小值来求得。
现在要求字典序最小，我们可以通过hash+二分来判断两个字符串字典序的相对大小。

代码

#include<iostream>
#include<cstdio>
#include<cstdlib>
#include<cstring>
#include<algorithm>
using namespace std;

typedef unsigned long long ull;

const int N=1000005;

int n,q[N*2],a[N*2],s[N*2],s1,s2;
char str[N];
ull hash[N*2],pow[N];

bool check(int x,int y)
{
	int l=1,r=n;
	while (l<=r)
	{
		int mid=(l+r)/2;
		if (hash[x+mid-1]-hash[x-1]*pow[mid]==hash[y+mid-1]-hash[y-1]*pow[mid]) l=mid+1;
		else r=mid-1;
	}
	return a[x+l-1]<a[y+l-1];
}

void solve()
{
	int head=1,tail=0,x=abs(s2-s1);
	for (int i=1;i<n;i++)
	{
		while (head<=tail&&s[q[tail]]>=s[i]) tail--;
		q[++tail]=i;
	}
	int ans=0;
	for (int i=n;i<=n*2;i++)
	{
		while (head<=tail&&s[q[tail]]>=s[i]) tail--;
		q[++tail]=i;
		int l=head,r=tail;
		while (l<=r)
		{
			int mid=(l+r)/2;
			if (q[mid]>=i-n+1) r=mid-1;
			else l=mid+1;
		}
		if (s1<=s2&&-(s[q[r+1]]-s[i-n])>x||s1>=s2&&s[q[r+1]]-s[i-n]<0) continue;
		if (!ans||check(i-n+1,ans)) ans=i-n+1;
	}
	if (s1<s2) while (x--) putchar('(');
	for (int i=0;i<n;i++) putchar(a[ans+i]==1?'(':')');
	if (s1>s2) while (x--) putchar(')');
}

int main()
{
	scanf("%s",str+1);
	n=strlen(str+1);
	for (int i=1;i<=n;i++)
		if (str[i]=='(') a[i]=a[i+n]=1,s1++;
		else a[i]=a[i+n]=2,s2++;
	pow[0]=1;
	for (int i=1;i<=n;i++) pow[i]=pow[i-1]*3;
	for (int i=1;i<=n*2;i++) s[i]=s[i-1]+(a[i]==1?1:-1),hash[i]=hash[i-1]*3+a[i];
	solve();
	return 0;
}