最小割的一些思考讲述.pptVIP

二分图的一些概念 在一个无向图 G = (V , E ) 中，有如下定义。 点覆盖集（vertex covering set，VCS）是无向图 G 的一个点集，使得该图中所有边都至少有一个端点在该集合内。形式化的定义是点覆盖集为V ∈V ，满足对于 ?(u, v) ∈ E ，都有u ∈V 或 v ∈V 成立，即 u ∈V ， v ∈V 至少一个成立。形象地说是若干个点“覆盖”住了与它们邻接的边，这些边恰好组成了原边集。 点独立集（vertex independent set，VIS）是无向图 G 的一个点集，使得任两个在该集合中 的点在原图中都不相邻。或者说是导出子图为零图（没有边）的点集。形式化的定义是点独立集为V ∈V ，满足对于 ?u, v ∈V ，都有 (u, v) ? E 成立。点独立集还有一种等价的定义： 点独立集为V ∈V ，满足对于 ?(u, v) ∈ E ，都有 u ∈V 与 v ∈V 不同时成立。 最小点覆盖集（minimum vertex covering set，MinVCS）是在无向图 G 中，点数最少的点 覆盖集。 最大点独立集（maximum vertex independent set，MaxVIS）是在无向图 G 中，点数最多的 点独立集。 以上两个问题都是经典的NPC问题，但在二分图中都可以用最大匹配模型来快速解决。 论文第30页。 二分图的最小点权覆盖集算法 定义：无向二分图G=(V,E)。X，Y分别是这个二分图的两个点集，每一个顶点i都有一个权值vi。选出顶点集合V的一个子集V1使得E中的每一条边都和V1中的点相连(至少有一个端点属于V1)，并且使得V1中所有点的权值之和最小。 ??算法描述：增设源汇点s和t。由s向所有X集合中的点连边，容量为这个点的权值vi。Y集合中的点向t点连边，容量为这个点的权值vi。如果原二分图中u和v之间存在边，则连接u-v容量为正无穷(用来保证这条边不在割中)。对这个图求出最大流的值，既是最小点权覆盖的值。 例题 ?例题：poj 3308?在一片m*r的区域中存在一些外星人。已知每个外星人的位置，且消灭第i行所有外星人的费用为ri，消灭第j列所以外星人的费用为cj，求最少需要多少费用才能消灭所有外星人。 ????在这里，我们把x轴的所有点看作二分图的一个集合，y轴的所有点看作二分图的另一个集合。如果在第i行j列有外星人，则连接x集合中的i点和y集合中的j点。由此构造出一个二分图。 原问题变成了下面这个问题：给定一个带权二分图G = (V, E)，定义一个点如果被覆盖，那么称所有与这个点相邻的弧被覆盖。求至少去掉多少的点权才能使得所有的点权均被覆盖，也就是最小点权覆盖问题。  ????例题：poj 2125?给出一个有向图，每次操作都可以移除某个点的所有出边或者所有入边。已知对于每个点移除所有出边的费用和移除所有入边的费用。求至少花费多少可以移除掉图中所有的边。 ????对于这道题，我们把有向图中的每个点拆作u1,u2两个点，其权值分别为拆除其所有出边的花费，拆除其所有入边的花费。若原图有从u到v的边则连u1到v2。构造出二分图后接下来便可以把原题转化为求二分图的最小点权覆盖问题。 二分图的最大点权独立集算法 无向带权图G的一个点集,使得任何两个在点集中的点在图G中都不相邻且点权和最大。 ????算法描述：Amber大神的论文已经给出证明，最大点权独立集和最小点权覆盖集互为补集，所以最大点权覆盖集的权值和就等于该图的总权值和减去最小覆盖的值。 例题 ?例题：hdoj 1565：给你一个n*n的格子的棋盘，每个格子里面有一个非负数。从中取出若干个数，使得任意的两个数所在的格子没有公共边，就是说所取的数所在的2个格子不能相邻，并且取出的数的和最大。 ?把所有的格子分为两个集合，行数加列数的值对2取模为0的格子以及行数加列数的值对2取模为1的格子。可以看出同一集合内的点是互不相邻的。接下来再把两个集合中互相连接的格子之间连上边。把格子看作二分图中的点，每个点的权值为其所对应的格子的数字大小。原问题便变为从一个带权二分图中取出一些点使得这些点两两不共线，求这些点的权值之和最大是多少。于是便可以通过总权值减去最大覆盖值求解。 网络流(最小割)的 常用技巧 关键词 1-拆点 ????在部分网络流问题中，有的节点往往包含有限制，从而需要将一些点拆作两个，在它们之间连边，然后把限制分配到这条边的容量上。比如在“无向图的顶点连通度”问题中就需要通过拆点来限制每个点所在的独立轨可以被计数的次数（拆点形成的的边容量都设为1，代表这个点所在的独立轨只能被被计数一次）。 ?关键词 2-分配 ????这个问题应该属于网络流问题中涉及题目最多的一个。大致