luoguP3255 [JLOI2013]地形生成 动态规划

出题人语文真好...

各不相同的标号和高度 = 各不相同的标号 + 单独的高度...

第一问比较简单，考虑从大到小插入，在相同情况下，按关键值从小到大插入

这样子，关键大的元素一定会影响到关键小的元素，不会漏统计

插入$i$号元素时，不妨设比它大的数为$S$个，限制为$lim$，和它相同的且已经插入的数有$j$种

那么有$min(S, lim) + j$种插入的方案

第二问也比较简单

考虑$dp$，令$f(i, j)$表示在相同的数中，插入到了$i$，并且$i$插入在第$j$段

由于插入的顺序是不影响答案的，因此，我们可以限制关键值小的必须插在关键值后面

转移时用前缀和转移就行

我们去掉$O(p)$的势能需要$O(p^2)$的时间

而$x_1^2 + x_2^2 ... x_i^2 \leqslant (x_1 + x_2 + ... + x_i)^2$

而序列的势能只有$O(n)$，因此我们的复杂度不会超过$O(n^2)$

#include <vector>
#include <cstdio>
#include <cstring>
#include <iostream>
#include <algorithm>
namespace remoon {
    #define re register
    #define de double
    #define le long double
    #define ri register int
    #define ll long long
    #define sh short
    #define pii pair<int, int>
    #define mp make_pair
    #define pb push_back
    #define tpr template <typename ra>
    #define rep(iu, st, ed) for(ri iu = st; iu <= ed; iu ++)
    #define drep(iu, ed, st) for(ri iu = ed; iu >= st; iu --)
    extern inline char gc() {
        static char RR[], *S = RR + , *T = RR + ;
        if(S == T) fread(RR, , , stdin), S = RR;
        return *S ++;
    }
    inline int read() {
        int p = , w = ; char c = gc();
        while(c > '' || c < '') { if(c == '-') w = -; c = gc(); }
        while(c >= '' && c <= '') p = p *  + c - '', c = gc();

        return p * w;
    }
    int wr[], rw;
    #define pc(iw) putchar(iw)
    tpr inline void write(ra o, char c = '\n') {
        if(!o) pc('');
        if(o < ) o = -o, pc('-');
        while(o) wr[++ rw] = o % , o /= ;
        while(rw) pc(wr[rw --] + '');
        pc(c);
    }
    tpr inline void cmin(ra &a, ra b) { if(a > b) a = b; }
    tpr inline void cmax(ra &a, ra b) { if(a < b) a = b; }
    tpr inline bool ckmin(ra &a, ra b) { return (a > b) ? a = b,  : ; }
    tpr inline bool ckmax(ra &a, ra b) { return (a < b) ? a = b,  : ; }
}
using namespace std;
using namespace remoon;

#define sid 1050
#define mod 2011

inline void inc(int &a, int b) { a += b; if(a >= mod) a -= mod; }
inline int mul(int a, int b) { return 1ll * a * b % mod; }

int n;
struct mountain {
    int h, k;
    friend bool operator < (mountain a, mountain b)
    { return a.h > b.h && (a.h == b.h && a.k < b.k); }
} mt[sid];

int f[][];
inline void Solve() {
    int ans = ;
    for(ri i = , j = ; i <= n; i = j + ) {
        j = i; while(mt[j].h == mt[j + ].h) j ++;
        rep(ip, i, j) cmin(mt[ip].k, i);
        rep(ip, , mt[i].k) f[i][ip] = ;
        rep(ip, i, j) {
            if(ip < j) rep(jp, , mt[ip + ].k) inc(f[ip][jp], f[ip][jp - ]);
            else rep(jp, , mt[ip].k) inc(f[ip][jp], f[ip][jp - ]);
            if(ip < j) rep(jp, , mt[ip + ].k) f[ip + ][jp] = f[ip][jp];
        }
        ans = mul(ans, f[j][mt[j].k]);
    }
    write(ans);
}

int main() {

    n = read();
    rep(i, , n) mt[i].h = read(), mt[i].k = read();
    sort(mt + , mt + n + );

    int ans = , num, pre;
    rep(i, , n) {
        if(mt[i].h != mt[i - ].h) pre = i, num = ;
        else num ++;
        ans = mul(ans, min(pre, mt[i].k) + num);
    }
    write(ans, ' ');

    Solve();
    return ;
}