[LOJ6039] [아례훈련 2017 Day5] 보석(DP, 의사결정 단조성)

Description

N N 개의 보석이 있는데 각 보석의 가치는 Ci C i이다. Vi V i의 즐거움이 생길 수 있다. 지금 당신은 M M원이 있는데 가장 많은 즐거움을 얻을 수 있느냐고 묻는다. M ∈[1,K] M ∈[1,K]에 대해 질문에 대답한다.N≤106,K≤104,Ci≤300 N ≤ 10 6 , K ≤ 10 4 , C i ≤ 300

Solution

먼저 Ci Ci가 비교적 작다는 것을 알 수 있다. 우리는 Ci Ci의 값을 분류하여 같은 종류와 함께 옮기고 옮기는 상태modCi mod Ci가 같은 나머지를 고려하고 있다.같은 종류에 대해 우리가 선택한 보석은 즐거움이 큰 것부터 작은 것까지의 접두사와야 한다.큰 것부터 작은 것까지 순서가 정해져 있기 때문에 접두사와 성장률이 단조롭게 줄어들기 때문에 이 DP는 단조롭다. 구체적인 증명은 쇼 대장의 블로그를 참고할 수 있다.https://www.cnblogs.com/ShichengXiao/p/9501386.html#autoid-9-0-2
인터넷은 모두 분치하는 방법인 것 같다. 나는 머리가 없는 선수이기 때문에 2점 결정 범위를 직접 씌울 수 있는 판자 233이 시인 G와 같은 방법이라는 것을 발견했다.각각의 Ci i i에 대해 나머지 모든 상태를 함께 처리하면 됩니다.

Code

/************************************************
 * Au: Hany01
 * Date: Aug 28th, 2018
 * Prob: LOJ6039     2017Day5   
 * Email: [email protected] & [email protected]
 * Inst: Yali High School
************************************************/

#include

using namespace std;

typedef long long LL;
typedef long double LD;
typedef pair<int, int> PII;
#define rep(i, j) for (register int i = 0, i##_end_ = (j); i < i##_end_; ++ i)
#define For(i, j, k) for (register int i = (j), i##_end_ = (k); i <= i##_end_; ++ i)
#define Fordown(i, j, k) for (register int i = (j), i##_end_ = (k); i >= i##_end_; -- i)
#define Set(a, b) memset(a, b, sizeof(a))
#define Cpy(a, b) memcpy(a, b, sizeof(a))
#define x first
#define y second
#define pb(a) push_back(a)
#define mp(a, b) make_pair(a, b)
#define SZ(a) ((int)(a).size())
#define ALL(a) a.begin(), a.end()
#define INF (0x3f3f3f3f)
#define INF1 (2139062143)
#define debug(...) fprintf(stderr, __VA_ARGS__)
#define y1 wozenmezhemecaia

template <typename T> inline bool chkmax(T &a, T b) { return a < b ? a = b, 1 : 0; }
template <typename T> inline bool chkmin(T &a, T b) { return b < a ? a = b, 1 : 0; }

inline int read() {
    static int _, __; static char c_;
    for (_ = 0, __ = 1, c_ = getchar(); c_ < '0' || c_ > '9'; c_ = getchar()) if (c_ == '-') __ = -1;
    for ( ; c_ >= '0' && c_ <= '9'; c_ = getchar()) _ = (_ << 1) + (_ << 3) + (c_ ^ 48);
    return _ * __;
}

const int maxm = 5e4 + 5, maxc = 305;

int n, m, A[maxm], N, mx, p, top, sz, pos, now, t;
LL dp[maxm], f[2][maxm];
PII stk[maxm];
vector ob[maxc];

inline bool cmp(int x, int y) { return x > y; }

inline LL calc(int i, int j) { return f[now ^ 1][A[j]] + (i - j > sz ? 0 : ob[p][i - j - 1]); }

int main()
{
#ifdef hany01
    freopen("loj6039.in", "r", stdin);
    freopen("loj6039.out", "w", stdout);
#endif

    static int wi, vi;

    n = read(), m = read();
    For(i, 1, n) chkmax(mx, wi = read()), vi = read(), ob[wi].pb(vi);

    for (p = 1; p <= mx; ++ p) {
        if (!(sz = SZ(ob[p]))) continue;
        sort(ALL(ob[p]), cmp), now ^= 1;
        For(i, 1, sz - 1) ob[p][i] += ob[p][i - 1];
        rep(j, p) {
            for (N = 0, t = j; t <= m; ) A[++ N] = t, dp[N] = f[now ^ 1][t], t += p;
            stk[top = 1] = mp(1, 1);
            For(i, 2, N) {
                chkmax(dp[i], calc(i, pos = stk[upper_bound(stk + 1, stk + 1 + top, mp(i, INF)) - stk - 1].y));
                if (calc(N, i) >= calc(N, stk[top].y)) {
                    stk[++ top] = mp(N, i);
                    for (register int l, r, mid; ; ) {
                        l = max(stk[top - 1].x, i + 1), r = N;
                        while (l < r) {
                            mid = (l + r) >> 1;
                            if (calc(mid, stk[top - 1].y) <= calc(mid, i)) r = mid;
                            else l = mid + 1;
                        }
                        stk[top].x = l;
                        if (stk[top].x > stk[top - 1].x) break;
                        stk[top - 1] = stk[top], -- top;
                    }
                }
            }
            For(i, 1, N) f[now][A[i]] = dp[i];
        }
    }
    For(i, 1, m) printf("%lld ", f[now][i]);

    return 0;
}