[hdu5396 Expression]区间DP
2024-10-09 03:31:39
题意:给一个表达式,求所有的计算顺序产生的结果总和
思路:比较明显的区间dp,令dp[l][r]为闭区间[l,r]的所有可能的结果和,考虑最后一个符号的位置k,k必须在l,r之间,则l≤k<r,dp[l][r]=Σ{dp[l][k]?dp[k+1][r]}*(r-l-1)!/[(k-l)!(r-k-1)!],其中(r-l-1)!/[(k-l)!(r-k-1)!]表示从左区间和右区间选择符号的不同方法总数(把左右区间看成整体,那么符号的选择在整体间也有顺序,内部的顺序不用管,那是子问题需要考虑的),相当于(k-l)个0和(r-k-1)个1放一起的不同排列方法总数。
对花括号里面的'?'分为三种情况:
- '+' 假设左区间有x种可能的方法,右区间有y种可能的方法,由于分配律的存在,左边的所有结果和会重复计算y次,右边的所有结果和会重复计算x次,而左边共(k-l)个符号,右边共(r-k-1)个符号,所以合并后的答案dp[l][r]=dp[l][k]*(r-k-1)!+dp[k+1][r]*(k-l)!
- '-' 与'+'类似
- '*' 由分配律,合并后的答案dp[l][r]=dp[l][k]*dp[k+1][r]
#pragma comment(linker, "/STACK:10240000")
#include <map>
#include <set>
#include <cmath>
#include <ctime>
#include <deque>
#include <queue>
#include <stack>
#include <vector>
#include <cstdio>
#include <string>
#include <cstdlib>
#include <cstring>
#include <iostream>
#include <algorithm> using namespace std; #define X first
#define Y second
#define pb push_back
#define mp make_pair
#define all(a) (a).begin(), (a).end()
#define fillchar(a, x) memset(a, x, sizeof(a))
#define copy(a, b) memcpy(a, b, sizeof(a)) typedef long long ll;
typedef pair<int, int> pii;
typedef unsigned long long ull; //#ifndef ONLINE_JUDGE
void RI(vector<int>&a,int n){a.resize(n);for(int i=;i<n;i++)scanf("%d",&a[i]);}
void RI(){}void RI(int&X){scanf("%d",&X);}template<typename...R>
void RI(int&f,R&...r){RI(f);RI(r...);}void RI(int*p,int*q){int d=p<q?:-;
while(p!=q){scanf("%d",p);p+=d;}}void print(){cout<<endl;}template<typename T>
void print(const T t){cout<<t<<endl;}template<typename F,typename...R>
void print(const F f,const R...r){cout<<f<<", ";print(r...);}template<typename T>
void print(T*p, T*q){int d=p<q?:-;while(p!=q){cout<<*p<<", ";p+=d;}cout<<endl;}
//#endif
template<typename T>bool umax(T&a, const T&b){return b<=a?false:(a=b,true);}
template<typename T>bool umin(T&a, const T&b){return b>=a?false:(a=b,true);} const double PI = acos(-1.0);
const int INF = 1e9 + ;
const double EPS = 1e-12; /* -------------------------------------------------------------------------------- */ template<int mod>
struct ModInt {
const static int MD = mod;
int x;
ModInt(ll x = ): x(x % MD) {}
int get() { return x; } ModInt operator + (const ModInt &that) const { int x0 = x + that.x; return ModInt(x0 < MD? x0 : x0 - MD); }
ModInt operator - (const ModInt &that) const { int x0 = x - that.x; return ModInt(x0 < MD? x0 + MD : x0); }
ModInt operator * (const ModInt &that) const { return ModInt((long long)x * that.x % MD); }
ModInt operator / (const ModInt &that) const { return *this * that.inverse(); } ModInt operator += (const ModInt &that) { x += that.x; if (x >= MD) x -= MD; }
ModInt operator -= (const ModInt &that) { x -= that.x; if (x < ) x += MD; }
ModInt operator *= (const ModInt &that) { x = (long long)x * that.x % MD; }
ModInt operator /= (const ModInt &that) { *this = *this / that; } ModInt inverse() const {
int a = x, b = MD, u = , v = ;
while(b) {
int t = a / b;
a -= t * b; std::swap(a, b);
u -= t * v; std::swap(u, v);
}
if(u < ) u += MD;
return u;
} };
typedef ModInt<> mint; const int maxn = 1e2 + ;
const int md = 1e9 + ;
mint dp[maxn][maxn], fac[maxn], facinv[maxn];
int a[maxn];
char s[maxn]; mint get(mint a, char ch, mint b, mint ca, mint cb) {
if (ch == '+') return a * cb + b * ca;
if (ch == '-') return a * cb - b * ca;
if (ch == '*') return a * b;
} void init() {
fac[] = facinv[] = ;
for (int i = ; i < maxn; i ++) fac[i] = fac[i - ] * i;
for (int i = ; i < maxn; i ++) facinv[i] = facinv[i - ] / i;
} int main() {
#ifndef ONLINE_JUDGE
freopen("in.txt", "r", stdin);
//freopen("out.txt", "w", stdout);
#endif // ONLINE_JUDGE
int n;
init();
while (cin >> n) {
for (int i = ; i <= n; i ++) {
scanf("%d", a + i);
}
scanf("%s", s);
fillchar(dp, );
for (int i = ; i <= n; i ++) dp[i][i] = a[i];
for (int L = ; L <= n; L ++) {
for (int i = ; i + L - <= n; i ++) {
int j = i + L - ;
for (int k = i; k < j; k ++) {
dp[i][j] += get(dp[i][k], s[k - ], dp[k + ][j], fac[k - i], fac[j - k - ]) * fac[j - i - ] * facinv[k - i] * facinv[j - k - ];
}
}
}
printf("%d\n", dp[][n].get());
}
return ;
}
最新文章
- Arcmap中加载互联网地图资源
- 简单研究Loader笔记
- Inno Setup怎样创建一个自动申请管理员身份运行的快捷
- ios 获得设备型号方法
- IOS本地通知
- 佳博80250打印机怎么看打印机IP
- jquery的$.与$.fn的区别
- Shodan!
- python模块中的特殊变量
- Oracle 11g RAC database on ASM, ACFS or OCFS2
- FTP 7.5 自定义扩展功能
- python3和python2的区别部分
- Java框架之Spring MVC(二)
- 关于adb is down 的两个解决方案
- 利用Java泛型实现简单的泛型方法
- 从零开始搭建服务器部署web项目
- 【问题】vs IIS破除文件上传限制最全版
- 【BZOJ2127】happiness 网络流
- TestNg-数据驱动-dataProvider
- jQuery应用实例5:表单验证