2017-2018 ACM-ICPC Pacific Northwest Regional Contest (Div. 1) B - Enlarging Enthusiasm dp好题

B - Enlarging Enthusiasm

感觉做到过好多的dp题都会和单调性结合在一起。

思路：dp[ s ][ pre ][ res ] 表示的是已选择了s，上一个是pre， 还有res 的分数的方案数。

然后再枚举下一个位置的时候，把其他位置的也减去这个值，因为是单调递增的所以不会多减，

这样就能保证pre 和 当前要枚举的 i 位置的差值永远为 a[ pre ] - a[ i ]

#include<bits/stdc++.h>
#define LL long long
#define fi first
#define se second
#define mk make_pair
#define PLL pair<LL, LL>
#define PLI pair<LL, int>
#define PII pair<int, int>
#define SZ(x) ((int)x.size())
#define ull unsigned long long

using namespace std;

const int N = 1e5 + ;
const int inf = 0x3f3f3f3f;
const LL INF = 0x3f3f3f3f3f3f3f3f;
const int mod = 1e9 + ;
const double eps = 1e-;
const double PI = acos(-);

int n, m, ans, mx, a[], dp[<<][][], num[<<];

int dfs(int s, int pre, int res) {
    if(res < ) return ;
    if(s+ == <<n) return ;
    if(~dp[s][pre][res]) return dp[s][pre][res];
    dp[s][pre][res] = ;
    for(int i = ; i < n; i++)
        if(!(s>>i&)) dp[s][pre][res] += dfs(s|<<i, i, res-max(a[pre]-a[i]+, )*(n-num[s]));
    return dp[s][pre][res];
}
int main() {
    memset(dp, -, sizeof(dp));
    scanf("%d%d", &n, &m);
    for(int i = ; i < n; i++) {
        scanf("%d", &a[i]);
        mx = max(mx, a[i]);
    }
    for(int i = ; i < (<<n); i++)
        num[i] = num[i-(i&-i)] + ;
    for(int i = ; i < n; i++)
        if(a[i] != mx) ans += dfs(<<i, i, m-(mx-a[i]+)*n);
    printf("%d\n", ans);
    return ;
}

/*
*/