poj1716（差分约束+Bellman_Ford）

        题目链接：http://poj.org/problem?id=1716

       题目意思：有n个区间[a,b],现在要求寻找一个最短序列，要求该序列中至少有两个数字出现在所给n个区间的每个区间中。

       思路：这是第一道差分约束题目，所以也并不了解，就在网上参考了大牛的代码。代码中，以dis[i]表示该序列出现在区间[0,i+1]的数字个数，则会有一下三个约束条件：

       1、dis[b+1]-dis[a]>=2;(该条件为题目明确要求)

       2、0=<dis[i+1]-dis[i]<=1;(该为隐藏条件)

        本来觉得以下使用Bellman_Ford算法求解会超时的，可是最后并没有超时，可能是POJ的测试数据有点弱吧，在这里就不深究了，不管怎么说，第一道差分约束，马马虎虎就算做完了，接下来还是要找一些练习巩固啊，加油！！

代码：

#include<stdio.h>
#include<string.h>
#define INF 100000000;
struct Edge{
	int u;
	int v;
	int w;
}edge[40020];
int dis[10005];
int ans,maxnum;
int n,m,a,b;

int max(int x,int y)
{
	return x>y ? x : y;
}

int Bellman_Ford()
{
     int i,j;
	 int flag;
	 memset(dis,0,sizeof(dis));
	 for(i=0;i<maxnum;i++)
	 {
		 flag=0;
		 for(j=0;j<m;j++)
		 {
			 if(dis[edge[j].v]<dis[edge[j].u]+edge[j].w)
			 {
				 dis[edge[j].v] = dis[edge[j].u]+edge[j].w;
				 flag=1;
			 }
		 }
		 if(!flag)
			 break;
	 }
   return dis[maxnum];
}

int main()
{
	int i;
	while(scanf("%d",&n)!=EOF)
	{
		m=0;
		maxnum=-INF;
		while(n--)
		{
            scanf("%d%d",&a,&b);
			maxnum=max(maxnum,b+1);
			edge[m].u=a;
			edge[m].v=b+1;
			edge[m].w=2; //约束条件dis[b+1]-dis[a]>=2
			m++;
		}
		for(i=0;i<maxnum;i++)
		{
			edge[m].u=i+1;
			edge[m].v=i;
			edge[m].w=-1;//约束条件dis[i+1]-dis[i]<=1;
			m++;

			edge[m].u=i;
			edge[m].v=i+1;
			edge[m].w=0;  //约束条件dis[i+1]-dis[i]>=0;
			m++;

		}
		ans=Bellman_Ford();
		printf("%d\n",ans);
	}
	return 0;
}