Unambiguous Arithmetic Expression CodeForces - 115D

Unambiguous Arithmetic Expression CodeForces - 115D

问题描述：我们定义UAE (unambiguous arithmetic expression) 为：
1. 所有的自然数是UAE,有前导零的自然数(比如0000,0010)也是UAE
2. 如果X和Y是UAE, 那么”(X)+(Y)”,”(X)-(Y)”,”(X)*(Y)”,”(X)/(Y)”也是UAE
3. 如果X 是UAE, 那么”-(X)”和”+(X)”是UAE
现在给你一个只包含’0’-‘9’和’+’,’-’,’*’,’/’的字符串，让你计算有多少种不同的UAE,满足去掉了括号符号后就变成了输入中的串，答案Mod 1000003输出。

输入格式：仅一行 一个只包含’0’-‘9’和’+’,’-’,’*’,’/’的字符串
输出格式：仅一行 一个整型表示答案如果不存在任何一种UAE满足条件 输出0

样例输入： 03+-30+40
样例输出： 3

数据规模和约定：串长<=2000

题解：蒟蒻表示当然不是自己想出来的，看了网上的几乎所有题解后，结合起来才理解o(╥﹏╥)o，组合数学辣鸡对此操作表示(ΩДΩ)

首先这是比较明显的dp，最开始很容易想到一个简单粗暴的方程式：
f[i,j]表示i到j这一段字符的方案数，枚举最后一个计算的运算符k：f[i][j]=f[i][k-1]*f[k+1][j]。（稳稳的O（n^3）(ಥ﹏ಥ)）无法优化，无奈舍去╮(╯▽╰)╭

然后我们发现字符串中每一段连续的数字，都不能拆开且只能呆在最内层的括号里(^▽^)，所以数字都是没用的（可以直接扔掉(`へ´*)ノ）。又因为题目中运算符不存在优先级都必须加括号，那么题目可以理解为给一堆运算符按运算顺序加括号，问情况总数。w(ﾟДﾟ)w

先把问题简化一下，如果没有连续的运算符，那么所有的运算符都是等价的，用f[n]表示n个运算符按不同运算顺序加括号的方案总数。
f[n]=f[0]*f[n-1]+f[1]*f[n-2]+…+f[n-1]*f[0] -> 卡特兰数列！Σ(⊙▽⊙”瞬间O(n)

但是有连续的运算符，所以没什么卵用→_→

但可以向这个方向靠拢，首先特判两个连续的‘*’‘ / ’在一起一定是不可能的（直接输0），而且除了第一个外必须全部为‘+’或‘-’。第一个后的运算符都只能是正负号。e.g: …/(+(-(-(+(…..)))))

那么只存在两个‘+’‘-’连在一起的情况，为双目运算符“加”“减”或单目运算符“正”，“负”。(っ•̀ω•́)っ✎⁾⁾

我们在表达式的外层多加一层括号，答案不变
在此基础上考虑给一串运算符加括号||ヽ(￣▽￣)ノミ|Ю
考虑在第i个运算符后加左括号（右括号只会出现在数字后）。

f[i][j]：到第i个运算符，在该运算符后面还有j个数字后需要加右括号配对左括号。
p.s：一个数字后可以加许多连续的右括号
e.g：(..(+.. -> (..(+..)) 需要一个数字后加右括号

全为双目运算符（无连续）：
1.不加左括号，表示连续的一段左括号（（（的终结该运算符为最内层的运算符，那么他后面的一串数字后面必须加一个右括号与一段左括号（（（的最后一个匹配。(..(…(…(A+B)……….所以f[i][j] -> f[i+1][j-1]
2.加k个左括号，此运算符不是最内层，因此该运算符前面一定有至少一个为配对的左括号（注意：前面说过“在表达式的外层多加一层括号”最后一个计算的运算符也有）e.g：(….+(((((……那么根据题目，我们发现在‘+’后面第一个左括号被配对时‘+’前面离‘+’最近的第一个左括号一定会被一起配对（因为每一个运算符都是双目的此时不配对，‘+’前面的那个就没机会配对了）
f[i][j] -> f[i+1][j+k-1]

观察上面两种情况，似乎还是O(n^3)(✽ ﾟдﾟ ✽)，但可以发现其实可以合并化简为:f[i][j] -> f[i][k] (k>=j-1) ♪(^∇^*)，每一层处理前缀和就可以啦٩꒰｡•◡•｡꒱۶

有单目运算符的情况（连续的一串）：
其实与上面情况是很类似的，一串运算符连在一起，如上所述，第一个为双目运算符，后面的全为单目运算符e.g: …/(+(-(-(+(…..))))),那么单目运算符的右边只能放左括号与上面的第二种情况一样：f[i][j] -> f[i][k] k>=j ; 且f[i+1][0] = 0。

综上问题就在O(n^2)的时间内得到了解决ლ(′◉❥◉｀ლ)

一个小坑点：特判第一个字符为‘*’或‘/’以及最后一个字符不为数字的情况一定无解。Ծ‸Ծ。

附上代码：

#include<iostream>
#include<cstdio>
#include<cstring>
#include<algorithm>
using namespace std;
typedef long long ll;
const int N=2000+5;
const int mod=1000003;
int n,m,f[N][N],g[N][N];
char str[N];bool pos[N];
inline void add(int&a,int b){a+=b;if(a>=mod)a-=mod;}
int main(){
    scanf("%s",str+1);
    n=strlen(str+1);
    if(str[1]=='*'||str[1]=='/')
        puts("0"),exit(0);
    if(str[n]<'0'||str[n]>'9')
        puts("0"),exit(0);
    for(int i=1;i<=n;i++)
        if(str[i]<'0'||str[i]>'9'){
            if(str[i+1]=='*'||str[i+1]=='/')
                puts("0"),exit(0);
            if(str[i+1]=='+'||str[i+1]=='-')
                pos[m]=1;
            m++;
        }
    f[0][0]=1;
    for(int i=0;i<m;i++){
        for(int j=0;j<=m;j++){
            g[i][j]=f[i][j];
            if(j) add(g[i][j],g[i][j-1]);
        }
        if(!pos[i])
            for(int j=0;j<m;j++)
                add(f[i+1][j],g[i][j+1]);
        else
            for(int j=1;j<m;j++)
                add(f[i+1][j],g[i][j]);
    }
    printf("%d\n",f[m][0]);
}