热门标签 | HotTags
当前位置:  开发笔记 > 编程语言 > 正文

差分约束系统zoj2770

这样的未知数组成的不等式组叫做差分约束系统,要么无解,要么无数组解(一组解加上或减去一个数字不等式依旧成立)。差分约束系统的求解利用单源最短路中的三角形不等式,对于有向网中的任何一条边满足d[

这样的未知数组成的不等式组叫做差分约束系统,要么无解,要么无数组解(一组解加上或减去一个数字不等式依旧成立)。

 x_2-x_5 \le 1
 x_1-x_2 \le 0
 x_1-x_5 \le -1
 x_3-x_1 \le 5
 x_4-x_1 \le 4
 x_4-x_3 \le -1
 x_5-x_3 \le -3
 x_5-x_4 \le -3

差分约束系统的求解利用单源最短路中的三角形不等式,对于有向网中的任何一条边满足d[v]<=d[u]+edge[u][v];
其中d[u],d[v]分别是从源点分别到顶点u和v的最短路径。

构造方法:
①每个不等式中的每个未知数Xi对应图中的一个顶点Vi;
②把所有不等式都化成图中的一条边,对于不等式Xi-Xj<=c,即Xi<=c+Xj,就可以化成,权值为c。
最后在这个图中求一次单源最短路,这些三角形不等式就都满足了。
增加一个源点,自己设一个,以上不等式为例,则添加一个X0,索性全部写成,则Xn-X0<=0;则增加了n的不等式。
现在以V0为源点,求单源最短路径。由于存在负权值边,所以要用Bellman-ford算法,最终得到的V0到Vn的最短路径就是{Xn}的一个解。
V0到其他各顶点的最短距离分别是{x1,x2,x3,x4...}

差分约束系统也可能出现无解的情况,也就是从源点到某一个顶点不存在最短路。如果有向网中存在负权值回路,则求出来的最短路径是没有意义的(从而不等式也无解),因为可以重复走这个回路,使得最短路径无穷小。

题意:略
注意:题干给的C1,C2..是容量,而不是实际人数,如果说实际人数为X1,X2...,则Xi<=Ci。前n个军营的总人数为Sn。
思路:前n个军营的总人数为Sn。前n个军营的总容量为d[n]。
     ①第i个大营到第j的大营士兵总数至少有k个,则Sj-Si>=k,即Si-Sj<=k。
     ②Sj-Si<=d[j]-d[i]
     ③每个兵营实际人数不超过容量,Si+1-Si     ④Xi>=0
     求∑Xi的最小值,即Sn-S0的最小值。
有向网的构造:
     对于每个不等式Si-Sj<=c,则存在j,Si-1>和i-1,Sj>双向边,但权值不同。

View Code
 1 #include 
 2 #define INF 9999999
 3 #define N 1001
 4 #define E 23000
 5 int d[N],c[N],x[N],s[N];
 6 int n,m;
 7 int dist[N];
 8 struct edge{
 9     int u,v,w;
10 }e[E];
11 int edgeNum;
12 void add(int u,int v,int w){
13     e[edgeNum].u=u;
14     e[edgeNum].v=v;
15     e[edgeNum++].w=w;
16 }
17 bool bellman(){
18     int i,j;
19     for(i=1;iINF;
20     for(i=0;i){
21         for(j=0;j)
22             if(dist[e[j].u]!=INF&&dist[e[j].u]+e[j].w<dist[e[j].v]){
23                 dist[e[j].v]=dist[e[j].u]+e[j].w;
24             }
25     }
26     for(int j=0;j)
27         if(dist[e[j].u]!=INF&&dist[e[j].u]+e[j].w<dist[e[j].v])
28             return 0;
29     return 1;
30 }
31 int main(){
32     int i,j,k;
33     while(scanf("%d%d",&n,&m)!=EOF){
34         edgeNum=0;
35         d[n]=dist[0]=0;
36         for(i=1;i<=n;i++){
37             scanf("%d",&c[i]);
38             add(i-1,i,c[i]);
39             add(i,i-1,0);
40             d[i]=d[i-1]+c[i];
41         }
42         while(m--){
43             scanf("%d%d%d",&i,&j,&k);
44             add(j,i-1,-k);
45             add(i-1,j,d[j]-d[i-1]);
46         }
47         if(!bellman()) puts("Bad Estimations");
48         else printf("%d\n",dist[n]-dist[0]);
49     }
50     return 0;
51 }


 


推荐阅读
  • 本文讨论了使用差分约束系统求解House Man跳跃问题的思路与方法。给定一组不同高度,要求从最低点跳跃到最高点,每次跳跃的距离不超过D,并且不能改变给定的顺序。通过建立差分约束系统,将问题转化为图的建立和查询距离的问题。文章详细介绍了建立约束条件的方法,并使用SPFA算法判环并输出结果。同时还讨论了建边方向和跳跃顺序的关系。 ... [详细]
  • 本文介绍了P1651题目的描述和要求,以及计算能搭建的塔的最大高度的方法。通过动态规划和状压技术,将问题转化为求解差值的问题,并定义了相应的状态。最终得出了计算最大高度的解法。 ... [详细]
  • 本文介绍了解决二叉树层序创建问题的方法。通过使用队列结构体和二叉树结构体,实现了入队和出队操作,并提供了判断队列是否为空的函数。详细介绍了解决该问题的步骤和流程。 ... [详细]
  • 动态规划算法的基本步骤及最长递增子序列问题详解
    本文详细介绍了动态规划算法的基本步骤,包括划分阶段、选择状态、决策和状态转移方程,并以最长递增子序列问题为例进行了详细解析。动态规划算法的有效性依赖于问题本身所具有的最优子结构性质和子问题重叠性质。通过将子问题的解保存在一个表中,在以后尽可能多地利用这些子问题的解,从而提高算法的效率。 ... [详细]
  • 本文详细介绍了Java中vector的使用方法和相关知识,包括vector类的功能、构造方法和使用注意事项。通过使用vector类,可以方便地实现动态数组的功能,并且可以随意插入不同类型的对象,进行查找、插入和删除操作。这篇文章对于需要频繁进行查找、插入和删除操作的情况下,使用vector类是一个很好的选择。 ... [详细]
  • 3.223.28周学习总结中的贪心作业收获及困惑
    本文是对3.223.28周学习总结中的贪心作业进行总结,作者在解题过程中参考了他人的代码,但前提是要先理解题目并有解题思路。作者分享了自己在贪心作业中的收获,同时提到了一道让他困惑的题目,即input details部分引发的疑惑。 ... [详细]
  • Go语言实现堆排序的详细教程
    本文主要介绍了Go语言实现堆排序的详细教程,包括大根堆的定义和完全二叉树的概念。通过图解和算法描述,详细介绍了堆排序的实现过程。堆排序是一种效率很高的排序算法,时间复杂度为O(nlgn)。阅读本文大约需要15分钟。 ... [详细]
  • HDU 2372 El Dorado(DP)的最长上升子序列长度求解方法
    本文介绍了解决HDU 2372 El Dorado问题的一种动态规划方法,通过循环k的方式求解最长上升子序列的长度。具体实现过程包括初始化dp数组、读取数列、计算最长上升子序列长度等步骤。 ... [详细]
  • 本文介绍了九度OnlineJudge中的1002题目“Grading”的解决方法。该题目要求设计一个公平的评分过程,将每个考题分配给3个独立的专家,如果他们的评分不一致,则需要请一位裁判做出最终决定。文章详细描述了评分规则,并给出了解决该问题的程序。 ... [详细]
  • c语言\n不换行,c语言printf不换行
    本文目录一览:1、C语言不换行输入2、c语言的 ... [详细]
  • 猜字母游戏
    猜字母游戏猜字母游戏——设计数据结构猜字母游戏——设计程序结构猜字母游戏——实现字母生成方法猜字母游戏——实现字母检测方法猜字母游戏——实现主方法1猜字母游戏——设计数据结构1.1 ... [详细]
  • Linux环境变量函数getenv、putenv、setenv和unsetenv详解
    本文详细解释了Linux中的环境变量函数getenv、putenv、setenv和unsetenv的用法和功能。通过使用这些函数,可以获取、设置和删除环境变量的值。同时给出了相应的函数原型、参数说明和返回值。通过示例代码演示了如何使用getenv函数获取环境变量的值,并打印出来。 ... [详细]
  • [大整数乘法] java代码实现
    本文介绍了使用java代码实现大整数乘法的过程,同时也涉及到大整数加法和大整数减法的计算方法。通过分治算法来提高计算效率,并对算法的时间复杂度进行了研究。详细代码实现请参考文章链接。 ... [详细]
  • 本文讨论了clone的fork与pthread_create创建线程的不同之处。进程是一个指令执行流及其执行环境,其执行环境是一个系统资源的集合。在调用系统调用fork创建一个进程时,子进程只是完全复制父进程的资源,这样得到的子进程独立于父进程,具有良好的并发性。但是二者之间的通讯需要通过专门的通讯机制,另外通过fork创建子进程系统开销很大。因此,在某些情况下,使用clone或pthread_create创建线程可能更加高效。 ... [详细]
  • 开发笔记:实验7的文件读写操作
    本文介绍了使用C++的ofstream和ifstream类进行文件读写操作的方法,包括创建文件、写入文件和读取文件的过程。同时还介绍了如何判断文件是否成功打开和关闭文件的方法。通过本文的学习,读者可以了解如何在C++中进行文件读写操作。 ... [详细]
author-avatar
安徒生笔下苍老了谁1_120
这个家伙很懒,什么也没留下!
PHP1.CN | 中国最专业的PHP中文社区 | DevBox开发工具箱 | json解析格式化 |PHP资讯 | PHP教程 | 数据库技术 | 服务器技术 | 前端开发技术 | PHP框架 | 开发工具 | 在线工具
Copyright © 1998 - 2020 PHP1.CN. All Rights Reserved | 京公网安备 11010802041100号 | 京ICP备19059560号-4 | PHP1.CN 第一PHP社区 版权所有