第八周作业-AD

题目描述：
给定一个数轴上的 n 个区间，要求在数轴上选取最少的点使得第 i 个区间 [ai, bi] 里至少有 ci 个点

使用差分约束系统的解法解决这道题
使用差分约束系统的解法解决这道题
使用差分约束系统的解法解决这道题
使用差分约束系统的解法解决这道题
使用差分约束系统的解法解决这道题
输入：
输入第一行一个整数 n 表示区间的个数，接下来的 n 行，每一行两个用空格隔开的整数 a，b 表示区间的左右端点。1 <= n <= 50000， 0 <= ai <= bi <= 50000 并且 1 <= ci <= bi - ai+1。
输出：
输出一个整数表示最少选取的点的个数
sample：
input：
5
3 7 3
8 10 3
6 8 1
1 3 1
10 11 1
output：
6
题目分析：
这是一个经典的差分约束问题（题目要求是这样的），那么我们就需要找不等式组，我们发现一个“至少”，那样我们就确定了：在一个区间【a，b】中去sum【i】为【0-i】中选点的个数，有sum【b】-sum【a-1】≥c，这样也就意味着区间内至少有c个点，于是我们就可以对每一个输入的点建立不等式，把不等式转换为图就可以解决了。
那么我们先建立图

struct edge
{
	int to;
	int next;
	int w;
}e[1000010];
int tot,head[50010];
void add(int u,int v,int w)
{
	e[++tot].to=v;
	e[tot].w=w;
	e[tot].next=head[u];
	head[u]=tot;
}

然后我们要保证sum数组是有意义的，那这个样子就有约束条件0≤sum【i】-sum【i-1】≤1

	for(int i=1;i<=maxx;i++)
	{
		add(i-1,i,0);
		add(i,i-1,-1);
	}

不过我们发现一个问题，如果i从0开始，那样会出现sum【-1】，但是并没有这个点，所以我们插入边的时候把点+1来平移一位，让-1变为0

	for(int i=0;i<n;i++)
	{
		int u,v,w;
		cin>>u>>v>>w;
		add(u,v+1,w);
		maxx=max(maxx,v+1);
	}

那这个样子求最小解就是≥不等式最长路径，为

cout<<dis[maxx];

其余的就是spfa了

	queue<int> q;
	bool vis[50010];
	int dis[50010];
	for(int i=0;i<=maxx;i++)
	{
		vis[i]=false;
		dis[i]=-1e9;
	}
	q.push(0);
	vis[0]=true;
	dis[0]=0;
	while(!q.empty())
	{
		int u=q.front();
		q.pop();
		vis[u]=false;
		for(int i=head[u];i!=-1;i=e[i].next)
		{
			int v=e[i].to;
			if(dis[v]<dis[u]+e[i].w)
			{
				dis[v]=dis[u]+e[i].w;
				if(vis[v]==false)
				{
					q.push(v);
					vis[v]=true;
				}
			}
		}
	}

代码如下：

#include<iostream>
#include<queue>
using namespace std;
struct edge
{
	int to;
	int next;
	int w;
}e[1000010];
int tot,head[50010];
void add(int u,int v,int w)
{
	e[++tot].to=v;
	e[tot].w=w;
	e[tot].next=head[u];
	head[u]=tot;
}
int main()
{
	int n;
	cin>>n;
	for(int i=0;i<50010;i++)
	{
		head[i]=-1;
	}
	tot=0;
	int maxx;
	for(int i=0;i<n;i++)
	{
		int u,v,w;
		cin>>u>>v>>w;
		add(u,v+1,w);
		maxx=max(maxx,v+1);
	}
	for(int i=1;i<=maxx;i++)
	{
		add(i-1,i,0);
		add(i,i-1,-1);
	}
	queue<int> q;
	bool vis[50010];
	int dis[50010];
	for(int i=0;i<=maxx;i++)
	{
		vis[i]=false;
		dis[i]=-1e9;
	}
	q.push(0);
	vis[0]=true;
	dis[0]=0;
	while(!q.empty())
	{
		int u=q.front();
		q.pop();
		vis[u]=false;
		for(int i=head[u];i!=-1;i=e[i].next)
		{
			int v=e[i].to;
			if(dis[v]<dis[u]+e[i].w)
			{
				dis[v]=dis[u]+e[i].w;
				if(vis[v]==false)
				{
					q.push(v);
					vis[v]=true;
				}
			}
		}
	}
	cout<<dis[maxx];
}

至于D题，实际上就是数据更复杂了，不过换一个编译器轻松搞定，同一份代码，A题G++17，D题VC++2017