洛谷 P1712 [NOI2016]区间 线段树

首先将区间按照长度排序。用尺取法的思想我们维护双指针来扫描。

左右端点确定后花费就确定了，我们要做的就是看又没有一个位置被覆盖了 (m) 次。

我们可以将两个指针之间的区间都让其在数轴上 (+1) ，看最大值来判断当前是否合法。

转变为 (1) .区间加 (2) .询问整体最大值。

用线段树维护就好啦，注意要离散化。

#include<algorithm>
#include<iostream>
#include<cstdio>
#define lson (k<<1)
#define rson ((k<<1)|1)
using namespace std;
int n, m, tot, ans = 1 << 30;
const int N = 500010;
int v[N << 1], mx[N << 3], add[N << 3];
struct data
{
	int l, r, len;
	friend bool operator <(const data &a, const data &b)
	{
		return a.len < b.len;
	}
} a[N];
void pushdown(int k)
{
	if (!add[k])return;
	mx[lson] += add[k]; add[lson] += add[k];
	mx[rson] += add[k]; add[rson] += add[k];
	add[k] = 0;
}
void change(int k, int l, int r, int x, int y, int val)
{
	if (x <= l && r <= y)
	{
		mx[k] += val; add[k] += val;
		return;
	}
	pushdown(k);
	int mid = (l + r) >> 1;
	if (x <= mid)change(lson, l, mid, x, y, val);
	if (mid + 1 <= y)change(rson, mid + 1, r, x, y, val);
	mx[k] = max(mx[lson], mx[rson]);
}
int main()
{
	cin >> n >> m;
	for (int i = 1; i <= n; ++i )scanf("%d%d", &a[i].l, &a[i].r), a[i].len = a[i].r - a[i].l, v[++tot] = a[i].l, v[++tot] = a[i].r;
	sort(a + 1, a + 1 + n); sort(v + 1, v + 1 + tot); tot = unique(v + 1, v + 1 + tot) - v - 1;
	for (int i = 1; i <= n; ++i)a[i].l = lower_bound(v + 1, v + 1 + tot, a[i].l) - v, a[i].r = lower_bound(v + 1, v + 1 + tot, a[i].r) - v;
	for (int l = 1, r = 0; l <= n; ++l)
	{
		while (r < n && mx[1] < m)++r, change(1, 1, tot, a[r].l, a[r].r, 1);
		if (mx[1] < m)break;
		ans = min(ans, a[r].len - a[l].len);
		change(1, 1, tot, a[l].l, a[l].r, -1);
	}
	cout << (ans == (1 << 30) ? -1 : ans);
	return 0;
}