HDU 3440 House Man 差分约束

题目来源：HDU 3440 House Man

题意：要从高度最低的地方(记为s)跳到高度最高的地方(记为e) 每次跳跃的距离为d 每次只能跳到下一个帮他高的位置 n个位置需要跳n-1次

每个位置都有一个高度值 并且顺序不能换 求s到e的最远距离

思路：差分约束 建图 首先每个位置不能重叠 所以d[i+1] - d[i] >= 1 换成小于等于号 d[i] - d[i+1] <= -1所以 i+1 到 i 建一条-1的边

然后对高度排序 相邻高度建边 从下标小的到下标大的建一条长度为d边 因为开始规定了每个位置都是从从左到右有一个下标 所有边都是有向的 并且从下标小的到下标大的

#include <cstdio>
#include <cstring>
#include <vector>
#include <queue>
#include <algorithm>
using namespace std;

const int maxn = 1010;
const int INF = 999999999;
struct edge
{
	int v, w;
};
vector <edge> G[maxn];
bool inq[maxn];
int d[maxn];
int cnt[maxn];
int n, m, s, e;
struct house
{
	int x, id;
}a[maxn];
bool SPFA()
{
	memset(inq, false, sizeof(inq));
	memset(cnt, 0, sizeof(cnt));
	for(int i = 0; i <= n; i++)
		d[i] = INF;
	d[s] = 0;
	queue <int> Q;
	Q.push(s);
	inq[s] = true;
	while(!Q.empty())
	{
		int u = Q.front(); Q.pop();
		inq[u] = false;
		for(int i = 0; i < G[u].size(); i++)
		{
			int v = G[u][i].v;
			int w = G[u][i].w;
			if(d[v] > d[u] + w)
			{
				d[v] = d[u] + w;
				if(!inq[v])
				{
					inq[v] = true;
					Q.push(v);
					if(++cnt[v] > n)
						return false;
				}	
			}
		}
	}
	return true;
}

bool cmp(house a, house b)
{
	return a.x < b.x;
}
int main()
{
	int cas = 1;
	int T;
	scanf("%d", &T);
	while(T--)
	{
		s = 1;
		e = 1;
		scanf("%d %d", &n, &m);
		for(int i = 0; i <= n; i++)
			G[i].clear(); 
		for(int i = 1; i <= n; i++)
		{
			scanf("%d", &a[i].x);
			a[i].id = i;
			if(a[s].x > a[i].x)
				s = i;
			if(a[e].x < a[i].x)
				e = i;
		}
		for(int i = 1; i < n; i++)//d[i] - d[i-1] >= 1 == d[i-1] - d[i] <= -1
			G[i+1].push_back((edge){i, -1});
		sort(a+1, a+n+1, cmp);
		for(int i = 1; i < n; i++)//d[i] - dp[i-1] <= d
		{
			int x = a[i].id;
			int y = a[i+1].id;
			if(x > y)
				G[y].push_back((edge){x, m});
			else
				G[x].push_back((edge){y, m});
		}
		printf("Case %d: ",cas++);
		if(s > e)
		{
			s ^= e;
			e ^= s;
			s ^= e;
		}
		if(SPFA())
		{
			printf("%d\n", d[e]);
		}
		else
			puts("-1");
	}
	return 0;
}