随笔分类 -  差分约束系统

摘要：差分约束，紧紧张张忙了几天，终于告一段落，差分约束，实际就是最短路，不过得加一源点，使得所有点连通，也可以不加，直接把所有点都入队(或入栈)就行，不过由于有负边权的原因，一般都用Bellman_Ford 或 SPFA 来解决，SPFA有两种实现，一种是queue，另一种是stack，有时用stack更快，所以我习惯用stack，SPFA中需要用邻接表，一般小数据的话就用Bellman_Ford 就... 阅读全文

摘要：Cashier Employment由于数据量小，用Bellman_Ford就能过，而且不用要源点。这道差分约束题困了我好久，WA了好多次，主要是不理解题意，在那乱写，后来WA之后，看别人解题报告，又是狂改，最后还是没能过！今天早上，在真正理解之后，把需要修改地方给删了，又重写了一下，终于找到错误了，原来边数赋值错了。discuss里说的n = 4的情况是误导大家的，其实是少写了个条件，题目和数据... 阅读全文

摘要：Intervals这题依然 SPFA + 栈 过！不同的是，这题有隐含条件，而且所求也大不一样。由于这是对区间操作，求至少包含区间[ai, bi]中ci个点的最小集合。可以用集合元素个数来定义变量，即num[bi] - num[ai] >= ci, 但有个隐含条件就是，每个元素都是整点，取得话，最多为一，最少为0, 即 num[i+1] - num[i] <= 1, num[i+1] ... 阅读全文

摘要：Layout这题还是用的 SPFA + 栈 过的，400多ms，写得多了，发现都可以套用模块了，除了输入不太一样外，其他的都基本一样。模块一：负责各个数组的初始化模块二：负责加边，对边用邻接表处理模块三：SPFA 用栈来实现的过程代码 阅读全文

摘要：Is the Information Reliable?分析题意：输入有两种形式：1：P A B X 即 B + X = A 转化一下： B - A <= -X, A - B <= X 构造边和权：(A, B, -X)， (B, A, X)2：V A B 即 B +１<= A 转化一下：B - A <= -1构造边和权：(A, B, -1) WA了无数次，终于过了，不是SP... 阅读全文

摘要：Candies小孩A认为小孩B比自己多出的最多不会超过c个糖果，也就是 B - A <= c，正好符合差分约束方程，就是A到B的边权w(A, B) = c;用 SPFA + 栈 能过。这里有两种加边方式：第一种：我以前用的，用这个超时了，因为每次加边都是将边夹在邻接表的最后面，需要一个查找时间，这题数据量大，自然就超时了。代码第二种：这种我刚学到的，比较好，每次把边加在最前面，突然想起sjr... 阅读全文

摘要：King已知一个序列a[1], a[2], ......, a[n]，给出它的若干子序列以及对该子序列的约束条件，例如a[si], a[si+1], a[si+2], ......, a[si+ni]，且a[si]＋a[si+1]＋a[si+2]＋......＋a[si+ni] < or > ki。问题关键在于如何转化约束条件，开始我想以序列中的每一个值做一个点，如a[1], a[2]... 阅读全文

摘要：差分约束系统（system of difference constraints）是线性规划问题的一种。在一个差分约束系统中，线性规划矩阵A的每一行包含一个1和一个-1，A的所有其他元素都为0。因此，由Ax≤b给出的约束条件是m个差分约束集合，其中包含n个未知元。每个约束条件为如下形式的简单线性不等式：　　xj-xi≤bk　　其中，1≤i, j≤n，1≤k≤m。　... 阅读全文