热门标签 | 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 }


 


推荐阅读
  • 网络流24题——试题库问题
    题目描述:假设一个试题库中有n道试题。每道试题都标明了所属类别。同一道题可能有多个类别属性。现要从题库中抽取m道题组成试卷。并要求试卷包含指定类型的试题。试设计一个满足要求的组卷算 ... [详细]
  • hlg_oj_1116_选美大赛这题是最长子序列,然后再求出路径就可以了。开始写的比较乱,用数组什么的,后来用了指针就好办了。现在把代码贴 ... [详细]
  • 洛谷 P4009 汽车加油行驶问题 解析
    探讨了经典算法题目——汽车加油行驶问题,通过网络流和费用流的视角,深入解析了该问题的解决方案。本文将详细阐述如何利用最短路径算法解决这一问题,并提供详细的代码实现。 ... [详细]
  • 想把一组chara[4096]的数组拷贝到shortb[6][256]中,尝试过用循环移位的方式,还用中间变量shortc[2048]的方式。得出的结论:1.移位方式效率最低2. ... [详细]
  • OpenCV中的霍夫圆检测技术解析
    本文详细介绍了如何使用OpenCV库中的HoughCircles函数实现霍夫圆检测,并提供了具体的代码示例及参数解释。 ... [详细]
  • 在1995年,Simon Plouffe 发现了一种特殊的求和方法来表示某些常数。两年后,Bailey 和 Borwein 在他们的论文中发表了这一发现,这种方法被命名为 Bailey-Borwein-Plouffe (BBP) 公式。该问题要求计算圆周率 π 的第 n 个十六进制数字。 ... [详细]
  • 本文通过C++语言实现了一个递归算法,用于解析并计算数学表达式的值。该算法能够处理加法、减法、乘法和除法操作。 ... [详细]
  • 本问题涉及在给定的无向图中寻找一个至少包含三个节点的环,该环上的节点不重复,并且环上所有边的长度之和最小。目标是找到并输出这个最小环的具体方案。 ... [详细]
  • Go从入门到精通系列视频之go编程语言密码学哈希算法(二) ... [详细]
  • td{border:1pxsolid#808080;}参考:和FMX相关的类(表)TFmxObjectIFreeNotification ... [详细]
  • 在尝试加载支持推送通知的iOS应用程序的Ad Hoc构建时,遇到了‘no valid aps-environment entitlement found for application’的错误提示。本文将探讨此错误的原因及多种可能的解决方案。 ... [详细]
  • 长期从事ABAP开发工作的专业人士,在面对行业新趋势时,往往需要重新审视自己的发展方向。本文探讨了几位资深专家对ABAP未来走向的看法,以及开发者应如何调整技能以适应新的技术环境。 ... [详细]
  • Irish budget airline Ryanair announced plans to significantly increase its route network from Frankfurt Airport, marking a direct challenge to Lufthansa, Germany's leading carrier. ... [详细]
  • 本文详细介绍了C++中的构造函数,包括其定义、特点以及如何通过构造函数进行对象的初始化。此外,还探讨了转换构造函数的概念及其在不同情境下的应用,以及如何避免不必要的隐式类型转换。 ... [详细]
  • 本文详细介绍了在 Ubuntu 16.04 系统上安装和配置 PostgreSQL 数据库的方法,包括如何设置监听地址、启用密码加密、更改默认用户密码以及调整客户端访问控制。 ... [详细]
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社区 版权所有