【题目大意】
题目很短,自己读题吧。
【思路】
其实是个很有意思的题。
在括号匹配中,当前的栈存的全是'('。那么,我们可以用dp[i][j]表示到了第i个字符,栈内存j个'('的方法数。这样显然是可做的,但是这样是n^2的算法。但是仔细思考可以发现:对于确定i,dp[i][j]>0的全部j,一定是连续的,那么做转移的时候,直接维护下上下界就行了。这样做了之后,可行性就很容易判断了。但是,现在我们只知道dp[i][j]>0的j的范围,而不知道具体是否dp[i][j]>1,唯一性怎么判断呢?其实你会发现,如果唯一的话,从尾部开始,合法的j始终只有一个,所有如果出现了两个合法j的时候,答案就不唯一。
//#pragma comment(linker, "/STACK:102400000,102400000")
#include<cstdio>
#include<cstring>
#include<vector>
#include<queue>
#include<cmath>
#include<cctype>
#include<string>
#include<algorithm>
#include<iostream>
#include<ctime>
#include<map>
#include<set>
using namespace std;
#define MP(x,y) make_pair((x),(y))
#define PB(x) push_back(x)
typedef __int64 LL;
//typedef unsigned __int64 ULL;
/* ****************** */
const LL INF = 1LL<<55;
const double INFF = 1e100;
const double eps = 1e-8;
const LL mod = 10000000007LL;
const int NN = 1000010;
const int MM = 400010;
/* ****************** */
char ss[NN];
int l[NN],r[NN];
int main()
{
int i, n, zt, cnt;
bool ok, fg;
while (scanf("%s",ss+1) != EOF)
{
n = strlen(ss+1);
l[0] = r[0] = 0;
ok = false;
for (i = 1; i <= n; i ++)
{
if (ss[i] == '(')
{
l[i] = l[i-1] + 1;
r[i] = r[i-1] + 1;
}
else if (ss[i] == ')')
{
l[i] = l[i-1] - 1;
r[i] = r[i-1] - 1;
}
else
{
l[i] = l[i-1] - 1;
r[i] = r[i-1] + 1;
}
while (l[i] < 0)
l[i] += 2;
if (l[i] > r[i])
{
ok = true;
break;
}
}
if (ok || l[n] > 0)
{
puts("None");
continue;
}
fg = false;
zt = 0;
for (i = n - 1; i >= 1; i --)
{
if (ss[i+1] == '(')
zt--;
else if (ss[i+1] == ')')
zt++;
else
{
cnt = 0;
if (l[i] <= zt - 1 && zt - 1 <= r[i])
cnt ++;
if (l[i] <= zt + 1 && zt + 1 <= r[i])
cnt += 2;
if (cnt == 3)
{
fg = true;
break;
}
if (cnt == 1)
zt --;
else
zt ++;
}
}
if(fg)
puts("Many");
else
puts("Unique");
}
return 0;
}