2017年11月1日提高组T3 极大极小值差

Description

---

Input

---

Output

---

Hint

---

Solution

---

很神奇的思想

先给数字排序，这样分成一段一段的极差就是首尾两数字的差了。考虑把一段的开始看作左括号（，结束看作右括号），中间还有一些不影响结果的中间数字空格 ，那么对答案又贡献的就只有仍然未匹配的左括号了。设状态f[i][j][k]表示做到第i位，还有j个左括号（一组的开始数字）仍未匹配右括号（一组的结束），极差为k，那么当前i可以作为

1.新的一段的开头
2.某一段的结束
3.中间元素不影响答案
4.自己成为单独一组

然鹅发现这k这一维最大不超过1000，最小时是一个很大的负数。回想一下小学学过的内容$a-b+b-c+c-d+d-e+...-z=a-z$，我们可以强行让第i位和前面的每一个开始位置匹配成组，然后转移的时候只转移a[i+1]-a[i]，这样就消去了第i位不必要的贡献，保证了每一位加起来都是正整数且不超过1000了

Code

---

#include <stdio.h>
#include <string.h>
#include <math.h>
#include <iostream>
#include <queue>
#include <vector>
#include <algorithm>
#define rep(i, st, ed) for (int i = st; i <= ed; i += 1)
#define drp(i, st, ed) for (int i = st; i >= ed; i -= 1)
#define erg(i, st) for (int i = ls[st]; i; i = e[i].next)
#define fill(x, t) memset(x, t, sizeof(x))
#define min(x, y) ((x)<(y)?(x):(y))
#define max(x, y) ((x)>(y)?(x):(y))
#define ld long double
#define db double
#define ll long long
#define MOD 1000000007
#define INF 0x3f3f3f3f
#define N 211
#define E 1101
#define L 1001
ll f[2][N][E], a[N];
inline ll read() {
    ll x = 0, v = 1;
    char ch = getchar();
    for (; ch < '0' || ch > '9'; v *= (ch == '-')?(-1):(1), ch = getchar());
    for (; ch <= '9' && ch >= '0'; (x *= 10) += ch - '0', ch = getchar());
    return x * v;
}
int main(void) {
    int n = read();
    int m = read();
    rep(i, 1, n) {
        a[i] = read();
    }
    std:: sort(a + 1, a + n + 1);
    f[1][0][0] = 1;
    rep(i, 1, n) {
        fill(f[(i + 1) & 1], 0);
        rep(j, 0, i) {
            rep(k, 0, m) {
                int v = k + j * (a[i] - a[i - 1]);
                (f[(i + 1) & 1][j][v] += f[i & 1][j][k]) %= MOD;
                (f[(i + 1) & 1][j + 1][v] += f[i & 1][j][k]) %= MOD;
                if (j) {
                    (f[(i + 1) & 1][j][v] += f[i & 1][j][k] * j) %= MOD;
                    (f[(i + 1) & 1][j - 1][v] += f[i & 1][j][k] * j) %=MOD;
                }
            }
        }
    }
    ll ans = 0;
    rep(k, 0, m) {
        (ans += f[(n + 1) & 1][0][k]) %= MOD;
    }
    std:: cout << ans << std:: endl;
    return 0;
}