hdu 4915 括号匹配

</pre><pre name="code" class="cpp">#include<iostream>
#include<cstring>
#include<cstdio>
#include<map>
using namespace std;
#define maxn 1000005
#define rep(i,x,y) for(int i=x;i<=y;i++)
#define mset(x) memset(x,0,sizeof(x))
typedef long long ll;

char s[maxn];
int a[maxn],b[maxn];
int main(){
//	freopen("a.txt","r",stdin);
//	freopen(".out","w",stdout);
	while(gets(s+1)){
		mset(a);
		mset(b);

		int len = strlen(s+1);
		if(len&1){	puts("None");	continue;	}

		int ans = 1;
		rep(i,1,len){
			a[i] = a[i-1];
			if(s[i]==')')	a[i]++;
			if( a[i] > (i+1)/2 ){
				ans = 0;
				break;
			}
		}
		if(ans==0){
			puts("None"); continue;
		}

		for(int i=len;i>=1;i--){
			b[i] = b[i+1];
			if(s[i]=='(')	b[i]++;
			if( b[i] > (len-i+1)/2 ){
				ans = 0;
				break;
			}
		}
		if(ans==0){
			puts("None"); continue;
		}

		int x=0, y=0;
		rep(i,1,len){
			if(b[i] == (len-i+1)/2)
				break;
			if(s[i]=='?')
				y=i;
		}

		for(int i=len;i>=1;i--){
			if(a[i] == i/2)
				break;
			if(s[i]=='?')
				x=i;
		}

		if(x!=0 && y!=0 && x<y)
			puts("Many");
		else	puts("Unique");
	}
	return 0;
}

/*
DESCRIPTION:

长度为奇数肯定不行。

想法1：
可以‘(’取1，')'取-1，如果左边的'?'都是‘(’，得到的前缀和仍然为负数，则无解

想法2：
如果字符串的第i个字符 左边的右括号‘)’的个数 多过半数，则不存在解
对应的，右边'('的个数多过半数，则不存在解
这个是有解的充要条件

证明：
必要性显然得证
充分性：
要证明充分性，就是要证明任意满足条件的式子都合法。
按照这种推法，最终会得出 左括号个数>=n/2，左括号个数<=n/2，故左括号=n/2
剩下的严谨证明我不会，不过很容易想明白
左边都被‘(’守着，右边都被‘)’守着，中间的想怎么填就怎么填

想法3：
如果有一种方案可行，显然每一个左括号都对应一个右括号
要将一个？从左括号改成右括号，就要将另一个？从右括号改成左括号
即
')'.....'(' <==> '('....')'

想法4：
对于一个i，b[i] == (len-i+1)/2，则 i 右边的所有的左右括号都已配对好。
若a[i] == i/2，i左边的所有左右括号都有匹配。
如果下标x右边左右括号匹配，y左边左右括号匹配，x<y

则[x,y]之间的‘?’可以有多解

	yx
?(((??)))?

不知道怎么证明。感觉这种思想的实用性也不高，不想了。
*/