HDU 4915 Parenthese sequence DP

【题目大意】

题目很短，自己读题吧。

【思路】

其实是个很有意思的题。

在括号匹配中，当前的栈存的全是'('。那么，我们可以用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;
}