Codeforces Round #536 (Div. 2)

Problem  Codeforces Round #536 (Div. 2) - E. Lunar New Year and Red Envelopes

Time Limit: 3000 mSec

Problem Description

Input

 

Output

Output one integer — the minimum number of coins Bob would get if Alice disturbs him optimally.

Sample Input

5 0 2
1 3 4 5
2 5 5 8

Sample Output

13

题解：动态规划，看到题目的第一感觉是dp(i, j, 0/1)，表示考虑前i个红包，打扰j次，并且第i个红包不选/选的最小硬币数，这样定义状态会有一个麻烦就是没有时间信息，而题目中说到每次选一个红包之后直到该红包对应的时间d这中间都不能拆其他红包，而我的状态定义没有涉及时间，无法考虑这种限制，导致状态转移无从谈起，再看看时间轴的长度同样是1e5，这就代表着我们可以将以红包为阶段改为以时间点为阶段，同时最后一个红包选不选这一维原意是为了解决采用填表法进行dp的转移问题（虽然没有解决），而如果我改为刷表法，就可以省去这一维，然后进行状态转移。

　　以时间为阶段进行状态转移我在思考的时候遇到的困难就是如何处理每个红包所对应的 d 这个参数，怎么样体现出这一分钟选了，接下来直到d就都不能拆红包，解决方案是把从拆红包到d看作整体，也就是说当时间走到d时我才把硬币数加上去，而从当前时间 now 到 d 这中间的 dp(i, j)值都不用now这个时间点所拆的红包更新，这样对这些中间时间点来说其实是没有拆now这个红包的，换句话说，这些中间时间点是可以拆其他红包的，而被更新的是dp(d, j)，这样一来，即便dp(d, j)还被从now到d 中间的dp值更新过，这些更新与dp(now, j)的更新都是不矛盾的，通过这样的方式我们就解决了d 这个参数的问题。当我想清楚这些后发现这个参数其实和背包问题的物品体积这个参数很像，如果我把d的含义改为拆了第i分钟的红包之后的d分钟内不能拆红包，那拆这一个红包是不是就相当于将时间轴上长度为d的一段占上。把时间轴总长度看作背包总体积，每个d看作每个物品的体积，这不就是个0/1背包么，这个题目由于d是个定值，因此问题要麻烦一些，相当于物品体积是动态变化的，其实不难解决，按照题目中所给出的贪心规则，预处理出每一分钟的合法物品即可，这些合法物品的体积是固定的，接下来背包即可。

　　这道题最后能归到背包让人感到很精彩，经典模型之所以经典其中一个原因就是适用范围广，同时这也是对提炼模型的能力的锻炼。

　　keep fighting!

#include <bits/stdc++.h>

using namespace std;

#define REP(i, n) for (int i = 1; i <= (n); i++)
#define sqr(x) ((x) * (x))

const int maxn = 100000 + 100;
const int maxm = 200000 + 100;
const int maxs = 256;

typedef long long LL;
typedef pair<int, int> pii;
typedef pair<double, double> pdd;

const LL unit = 1LL;
const int INF = 0x3f3f3f3f;
const LL Inf = 0x3f3f3f3f3f3f3f3f;
const double eps = 1e-14;
const double inf = 1e15;
const double pi = acos(-1.0);
const LL mod = 1000000007;

struct Node
{
    int la, val, tag;

    Node(int la = 0, int val = 0, int tag = 0) : la(la), val(val), tag(tag) {}

    bool operator<(const Node &a) const
    {
        if (val == a.val)
        {
            return la > a.la;
        }
        else
        {
            return val > a.val;
        }
    }
} node[maxn];

int n, m, k;
vector<Node> vec[maxn];
map<Node, int> mmap;
LL dp[2][maxn];

int main()
{
    ios::sync_with_stdio(false);
    cin.tie(0);
    //freopen("input.txt", "r", stdin);
    //freopen("output.txt", "w", stdout);
    cin >> n >> m >> k;
    int st, et, la, val;
    for (int i = 0; i < k; i++)
    {
        cin >> st >> et >> la >> val;
        vec[st].push_back((Node){la, val, 1});
        vec[et + 1].push_back((Node{la, val, -1}));
    }
    for (int i = 1; i <= n; i++)
    {
        for (auto item : vec[i])
        {
            if (item.tag == 1)
            {
                if (mmap.count(item))
                {
                    mmap[item]++;
                }
                else
                {
                    mmap[item] = 1;
                }
            }
            else
            {
                mmap[item]--;
                if (!mmap[item])
                {
                    mmap.erase(item);
                }
            }
        }
        if (!mmap.size())
        {
            node[i] = (Node){i, 0, 0};
        }
        else
        {
            node[i] = (*mmap.begin()).first;
        }
    }
    memset(dp, 0x3f, sizeof(dp));
    dp[0][1] = 0;
    LL ans = (unit << 60);
    for (int j = 0; j <= m; j++)
    {
        int now = (j ^ 1) & 1;
        int pre = (j & 1);
        memset(dp[now], 0x3f, sizeof(dp[now]));
        for (int i = 1; i <= n; i++)
        {
            dp[now][i + 1] = min(dp[now][i + 1], dp[pre][i]);
            dp[pre][node[i].la + 1] = min(dp[pre][node[i].la + 1], dp[pre][i] + node[i].val);
        }
        ans = min(ans, dp[pre][n + 1]);
    }
    cout << ans << endl;
    return 0;
}