【贪心】【CF1061D】 TV Shows

Description

给定 $n$ 个电视节目和两个参数 $x,y$。你想要看全部的电视节目，但是同一个电视机同一个时刻只能播放一个电视节目，所以你只能多租赁电视机。在时间 $[l,r]$ 租赁一台电视机的花费是 $x~+~y~(r - l)$。一台电视机不可以在节目没有播放完时中断播放。求最小花费。答案对 $1e9+7$ 取模

Input

第一行是三个整数 $n, x, y$

下面 $n$ 行每行两个整数 $l,r$，代表节目时间

Output

一行一个整数代表答案对 $1e9+7$ 取模的结果

Hint

$1~\leq~n~\leq~10^5~,~1~\leq~y~<~x~\leq~10^9~,~1~\leq~l~\leq~r~\leq~10^9$

Solution

考虑贪心，有如下结论：

一、如果必须租赁新的电视机，在结束租赁的时间一定的情况下，租赁时间越晚越好。

这个结论显然，因为租赁时间越晚，租赁时长的代价越低。

二、如果前面有好几台空闲的电视机可以用，在不考虑租赁新的电视机时，一定选择上次结束时间最靠后的一台。

例如：

我们一定选择三号机器而不是一号二号，因为这样“浪费”的时间更少，即从上个节目结束到这个节目开始的时间花费更少。考虑如果后面紧跟着还有一个节目（开始时当前节目未结束），则它会选择一号，与这次选择一号下次选择三号相比，答案不会更劣。

以上是感性的理解结论二，下面给出结论二的证明（参考自官方题解）：

先将节目顺序按照左端点排序。因为每个节目时长再乘 $y$ 是的花费是不变的，因此我们只比较额外的花费。即租赁新电视机的花费和续时的花费。下面的花费均值额外花费

考虑我们有两个用过的电视机 $o1,o2$，其中 $r_{o1}~<~r_{o2}$， $r$ 为该电视上个节目的结束时间。当前我们要分配 $i$ 这个节目。

下面分三种情况：

第一种：

如果后面不存在一个 $j$ 使得从两个中继承过来比新租一个更划算的话，显然把 $o2$ 分配给 $i$ 更优

第二种：

如果后面存在一个 $j$，使得 $(l_j ~-~r_{o2})~y~\leq~x~~(1)$，但是 $(l_j ~-~r_{o1})~y~>~x~~(2)$，我们如果将 $o1$ 分配给 $i$，那么花费是 $(l_j~-~r_{o2})~y~+~(l_i~-~r_{o1})~y~~(3)$。考虑将 $o2$ 分配给 $i$，那么花费是 $(r_l~-~r_{o1})~y~+~x~~(4)$。给 $(2)$ 式左右同加 $(l_i~-~r_{o2})~y$ 即得 $(l_j ~-~r_{o1})~y~+~(l_i~-~r_{o2})~y>~x~+~(l_i~-~r_{o2})~y$，即 $(3)~>~(4)$，所以讲 $o2$ 分配给 $i$ 更优

第三种：

如果后面存在一个 $j$，使得 $(l_j ~-~r_{o2})~y~\leq~x~~(1)$，并且 $(l_j ~-~r_{o1})~y~\leq~x~~(2)$，那么这两种分配方式分别花费是 $(l_j~-~r_{o2})y~+~(l_i~-~r_{o1})y~=~y(l_j~+~l_i~-~r_{o2}~-~r_{o1})$ 和 $(l_i~-~r_{o2})y~+~(l_j~-~r_{o1})y~=~y(l_j~+~l_i~-~r_{o2}~-~r_{o1})$。所以上两式是相等的，选择 $o2$ 给 $i$ 不会更劣。证毕。

那么我们就有如上两个贪心策略，每次比较贪心策略那个更优即可。即：新选择一个电视机租赁或者选择上次结束时间最靠后的一个电视机。根据结论一，如果选上次租赁过的而不是新租赁一个更好的话，因为新租赁电视机的时间被推迟了，答案一定不会更劣。于是这个贪心是正确的。

Code

#include <cstdio>
#include <algorithm>
#ifdef ONLINE_JUDGE
#define freopen(a, b, c)
#endif
#define rg register
#define ci const int
#define cl const long long

typedef long long int ll;

namespace IPT {
	const int L = 1000000;
	char buf[L], *front=buf, *end=buf;
	char GetChar() {
		if (front == end) {
			end = buf + fread(front = buf, 1, L, stdin);
			if (front == end) return -1;
		}
		return *(front++);
	}
}

template <typename T>
inline void qr(T &x) {
	rg char ch = IPT::GetChar(), lst = ' ';
	while ((ch > '9') || (ch < '0')) lst = ch, ch=IPT::GetChar();
	while ((ch >= '0') && (ch <= '9')) x = (x << 1) + (x << 3) + (ch ^ 48), ch = IPT::GetChar();
	if (lst == '-') x = -x;
}

template <typename T>
inline void ReadDb(T &x) {
	rg char ch = IPT::GetChar(), lst = ' ';
	while ((ch > '9') || (ch < '0')) lst = ch, ch = IPT::GetChar();
	while ((ch >= '0') && (ch <= '9')) x = x * 10 + (ch ^ 48), ch = IPT::GetChar();
	if (ch == '.') {
		ch = IPT::GetChar();
		double base = 1;
		while ((ch >= '0') && (ch <= '9')) x += (ch ^ 48) * ((base *= 0.1)), ch = IPT::GetChar();
	}
	if (lst == '-') x = -x;
}

namespace OPT {
	char buf[120];
}

template <typename T>
inline void qw(T x, const char aft, const bool pt) {
	if (x < 0) {x = -x, putchar('-');}
	rg int top=0;
	do {OPT::buf[++top] = x % 10 + '0';} while (x /= 10);
	while (top) putchar(OPT::buf[top--]);
	if (pt) putchar(aft);
}

const int maxn = 100010;
const int maxm = 200010;
const int MOD = 1000000007;

struct M {
	int l, r;
	inline bool operator<(const M &_others) const {
		return this->r < _others.r;
	}
};
M MU[maxn];

struct Zay {
	int id, pos;
	bool Is_Begin;
	inline bool operator<(const Zay &_others) const {
		if (this->pos != _others.pos) return this->pos < _others.pos;
		else if (this->Is_Begin ^ _others.Is_Begin) return this->Is_Begin;
		else return this->id < _others.id;
	}
};
Zay CU[maxm];

int n, x, y, cnt, scnt, ans;
int stack[maxm];

int main() {
	freopen("1.in", "r", stdin);
	qr(n); qr(x); qr(y);
	for (rg int i = 1; i <= n; ++i) {
		qr(MU[i].l); qr(MU[i].r);
		Zay &_temp = CU[++cnt];
		_temp.id = i; _temp.pos = MU[i].l; _temp.Is_Begin = true;
		Zay &_tp = CU[++cnt];
		_tp.id = i; _tp.pos = MU[i].r;
	}
	std::sort(CU + 1, CU + 1 + cnt);
	for (rg int i = 1; i <= cnt; ++i) {
		if (CU[i].Is_Begin) {
			ll payd = x + 1ll * (MU[CU[i].id].r - MU[CU[i].id].l) * y;
			if (scnt) {
				if ((1ll * (MU[CU[i].id].r - stack[scnt]) * y) < payd) {
					payd = 1ll * (MU[CU[i].id].r - stack[scnt]) * y;
					--scnt;
				}
			}
			ans = (ans + payd) % MOD;
		} else {
			stack[++scnt] = CU[i].pos;
		}
	}
	qw(ans, '\n', true);
	return 0;
}