二分图相关问题
二分图及其应用

求最大匹配举例
①取一个初始匹配M={Bb,Cc,Dd}. ②用标记法从点A开始求得一条增广路:=(AcCe)(左图). ③用调整匹配M:将中属于M的边删去并将其中不属于M的
其它边添加到M中得到比M多一边的新匹配M’(如右图 示). ④因对M’用标记法只能从E或F开始,但都不能求出M’的 任何增广路,故判定M’是一个最大匹配.
13
匈牙利算法:
初始时最大匹配为空 for 二分图左半边的每个点i do 从点i出发寻找增广路径。如果找到,则把它取反
(即增加了总了匹配数)
如果二分图的左半边一共有n个点,那么最多找n 条增广路径。如果图中共有m条边,那么每找一 条增广路径(DFS或BFS)时最多把所有边遍历一 遍,所花时间也就是m。所以总的时间大概就是O (n * m)。
6
例2:工作分配问题
问题 某教研室有4位教师:A,B,C,D. A能教课程5;B能教 1,2;C能教1,4;D能教课程3.能否适当分配他们的任务,使4 位教师担任4门不同课并且不发生安排教师教他不能教的 课的情况?
此问题可归结为二分图的数学模型: G={A,B,C,D},E,{1,2,3,4,5},(X,y)E,如果X能教y.一 个满足要求的工作分配正是一个含有4条边的一个最大匹 配.
for(i=0;i<n;i++) { if(mark1[i]) { if(!v[i].empty()){ memset(mark2,true,sizeof(mark2)); for(j=0;j<v[i].size();j++) { point = v[i][j]; if(!mark2[point]) continue; mark2[point] = false; if(list[point] == -1 || dfs(point)) { list[point] = i; num++; break; } } } mark1[i] = false; } } if(flog || list[0] != -1) cout << num-1 << endl; else cout << num << endl; } int main() { int i,j,s,d; while(cin>>n) { if(n == 0)break; v.clear(); v.resize(n); cin >> m >> edge; for(i=0;i<edge;i++) { cin >> j >> s >> d; v[s].push_back(d); } Solve(); } return 0; }
什么是二分图

(4)当(2),(3)步骤中断于情况(I),则将增广 路中非匹配边改为匹配边,原匹配边改为 非匹配边(从而得到一个比原匹配多一条边 的新匹配),回到步骤(1),同时消除一切 现有标记。 (5)对一切可能,(2)和(3)步骤均中断于情况 (II),或步骤(1)无可标记结点,算法终止(算法 找不到交替链).
A
B
什么是二分图?
二分图的一个等价定义:不含有(含奇数条边
的环)的图。图1是一个二分图。为了清晰,我们都 把它画成图2的形式。 无向图G为二分图的充分必要条件是,G至少有 两个顶点,且其所有回路的长度均为偶数
匹配
在图论中一个匹配是一个边的集合,其中任意 两条边都没有公共顶点。例如,图3中红色的边。
二分图及其应用
(Bipartite Graph & Applications)
主要内容:
什么是二分图? 二分图的各种匹配的定义?
如何利用匈牙利算法求最大匹配?
二分图的最小顶点覆盖 DAG图的最小路径覆盖 二分图的最大独立集
什么是二分图?
二分图又称作二部图,是图论中的一种特殊模型。 设 G=(V,E)是一个无向图,如果顶点V可分割为两个互不相交的 子集(A,B),并且图中的每条边(i,j)所关联的两个顶点i 和j分别属于这两个不同的顶点集(i in A,j in B),则称图G 为一个二分图。
样例1二分图
样例2二分图
n1 n2 n3
p1 p2 p3
n1
p1 p2 p3
n2
n3
画图详细ห้องสมุดไป่ตู้详解过程
实现代码
#include<stdio.h> #include<string.h> int m,n; int G[110][310],link[310]; bool vis[310];
经典图论问题

5经典图论问题5.1 一笔画问题一笔画算法即是从起点a开始选择关联边(第一这条边不是往回倒,第二这条边在前面延伸路上没有出现过)向前延伸,如果到达终点b,得到a—b迹,判断路上的的边数是否为图的总边数,是就终止,否则选择迹上某个关联边没有用完的顶点v,用同样方式再搜索v—v的闭迹,添加到a—b迹上,即得到a—v---v—b迹,如果这个迹的边数还没有达到总边数,则再选择迹上某个关联边没有用完的顶点。
逐步扩展即可。
二、弗罗莱(Fleury )算法任取v 0∈V(G),令P 0=v 0;设P i =v 0e 1v 1e 2…e i v i 已经行遍,按下面方法从中选取e i+1: (a )e i+1与v i 相关联;(b )除非无别的边可供行遍,否则e i+1不应该为G i =G-{e 1,e 2, …, e i }中的桥(所谓桥是一条删除后使连通图不再连通的边);(c )当(b )不能再进行时,算法停止。
5.2 中国邮递员问题(CPP )规划模型:设ij x 为经过边j i v v 的次数,则得如下模型。
∑∈=Ev v ij ijji x z ϖmin∑∑E∈E∈∈=j i i k v v i v v ki ij V v x x ,E ∈∈≤j i ij v v N x ,1..t s5.3旅行推销员问题(TSP,货郎担问题)(NPC问题)定义:包含图G的所有定点的路(圈)称为哈密顿路(圈),含有哈密顿圈得图称为哈密顿图。
分析:从一个哈密顿圈出发,算法一:(哈密顿圈的充要条件:一包含所有顶点的连通子图,二每个顶点度数为2)象求最小生成树一样,从最小权边加边,顶点度数大于3以及形成小回路的边去掉。
算法二:算法三:示例:设旅行推销员的矩阵为⎪⎪⎪⎪⎪⎭⎫ ⎝⎛01086100111281101565150规划模型:先将一般加权连通图转化成一个等价的加权完全图,设当从i v 到j v 时,1=ij x ,否则,0=ij x ,则得如下模型。
二分图理论

*7.5 二部图及匹配7.5.1二部图在许多实际问题中常用到二部图,本节先介绍二部图的基本概念和主要结论,然后介绍它的一个重要应用—匹配。
定义7.5.1 若无向图,G V E =的顶点集V 能分成两个子集1V 和2V ,满足(1)12V V V =,12V V φ=;(2)(,)e u v E ∀=∈,均有1u V ∈,2v V ∈。
则称G 为二部图或偶图(Bipartite Graph 或Bigraph),1V 和2V 称为互补顶点子集,常记为12,,G V V E =。
如果1V 中每个顶点都与2V 中所有顶点邻接,则称G 为完全二部图或完全偶图(Complete Bipartite Graph),并记为,r s K ,其中12,r V s V ==。
由定义可知,二部图是无自回路的图。
图7-55中,(),(),(),(),()a b c d e 都是二部图,其中(),(),(),()b c d e 是完全二部图1,32,32,43,3,,,K K K K 。
图7-55二部图示例显然,在完全二部图中,r s K 中,顶点数n r s =+,边数m rs =。
一个无向图如果能画成上面的样式,很容易判定它是二部图。
有些图虽然表面上不是上面的样式,但经过改画就能成为上面的样式,仍可判定它是一个二部图,如图7-56中()a 可改画成图()b ,图()c 可改画成图()d 。
可以看出,它们仍是二部图。
图7-56二部图示例定理7.5.1 无向图,G E =为二部图的充分必要条件为G 中所有回路的长度均为偶数。
证明 先证必要性。
设G 是具有互补节点子集1V 和2V 的二部图。
121(,,,,)k v v v v 是G 中任一长度为k 的回路,不妨设11v V ∈,则211m v V +∈,22m v V ∈,所以k 必为偶数,不然,不存在边1(,)k v v 。
再证充分性。
设G 是连通图,否则对G 的每个连通分支进行证明。
地图的运用--地球公转-二分二至-习题

1、读“地球公转示意图”,回答下列问题:(1)、地球围绕着 的旋转运动叫公转运动;公转周期是__ ____;公转方向是。
并在图乙中的公转轨道上,用箭头画出公转方向。
(2)、图甲中,A 点坐标( , ),位于 半球(东/西),位于 半球(南/北),位于 纬度(高/中/低);B 点坐标( , ),位于五带中的 带。
(3)、在A 、B 两点中,先看到日出的是 点(A/B ),先看到日落的是 点(A/B )。
(4)、A 点位于B 点的 方向,B 点位于A 点的 方向。
(5)、图乙中,①节气 ,日期 ;②节气 ,日期 ;③节气 ,日期 ;④节气 ,日期 。
(6)、考查直射点:①直射点 ,②直射点 ,③直射点 ,④直射点 。
(7)、考查直射点变化:观察图乙和图丙,图乙中地球由②到③属于图丙中的 段(a/b/c/d ),③到④是 段(a/b/c/d ),④到①是 段(a/b/c/d ),①到②是 段(a/b/c/d )。
(8)、考查北半球获得热量:②这一天,北半球获得太阳光热量最___ ___(多或少或一样多),④这一天,北半球获得太阳光热量最___ ___(多或少或一样多),③①这一天,北半球获得太阳光热量最___ ___(多或少或一样多)。
(9)、考查昼夜长短情况:(北半球)②这一天昼夜情况 ,④昼夜情况 ,①昼夜情况 ,③昼夜情况 。
(10)、考查昼夜长短变化:在图丙a 、b 、c 、d 四段中,昼变短,夜变长的是 ,昼变长,夜变短的是 ;昼长夜短的是 ,昼短夜长的是 。
(11)、灵活运用:国庆节的时候,昼夜情况是 ,太阳直射点在图丙中a 、b 、c 、d 段的_____段。
(12)、当太阳直射点处在图2中的a 段时,此时段北极圈内极昼范围的变化趋势是( )A .全部到无B .无到全部C .一半到全部D .全部到一半2、读下图,回答下列问题:(1)、在北极附近的弧线和赤道上补绘箭头,以正确表示地球自转的方向。
二分图概念及性质

⼆分图概念及性质 段段续续的看⼆分图已经有些时⽇了。
现在借着周末整理⼀下这么多天对⼆分图的掌握程度。
也好对⼆分图有个整体的认知。
另外,此⽂只针对与⼆分图的⼀些概念和性质,不涉及求最⼤匹配的算法。
好吧,切⼊正题: ⾸先我们抛开⼆分图严谨准确的定义,从⼀个感性的⾓度来认识⼀下什么是⼆分图。
所谓⼆分图,就是能够把图中的定点分成两个X,Y两部分;并且整个图的边只存在于X与Y之间。
就是说,X与Y的内部是不存在边的,否则的话就不是⼆分图了。
举个例⼦:如果把整个⼈类中的男⼈和⼥⼈看成顶点,⼈与⼈之间的恋爱关系(这⾥只讨论异性之间的正常恋爱,同性恋是不被承认的)为边来建⽴图模型的话。
那么这其实就是⼀个⼆分图,其中的男⼈为X部分,⼥⼈为Y部分。
好了,现在我们给出⼆分图严谨的科学定义: 假设图G=(V,E)是⼀个⽆向图,若顶点集 V 可以分解成两个互不相交的⼦集(A,B),并且图中的所有边(i,j)的端点 i,j 分别属于⼦集 A,B 中的元素,则称图 G 是⼀个⼆分图。
为了更好的叙述下⽂,先让我们清楚⼀个概念: 匹配:⽆公共点的边集合。
(形象点就是 X与Y之间的边的个数) 匹配数:边集中边的个数。
最⼤匹配:匹配数最⼤的匹配。
边独⽴集:指图中边集的⼀个⼦集,且该⼦集中的任意两条边之间没有公共点。
(对⽐匹配的概念我们发现,其实边独⽴集和匹配是⼀个概念) 最⼤边独⽴集:包含边数最多的边独⽴集。
(其实就是最⼤匹配,为了⽅便,以后统称最⼤匹配)图1如图1,如果<1,4>是⼀个合法匹配,那么<1,5>就不是⼀个合法的匹配,因为它们有公共点1 。
同样的如果<2,5>是⼀个合法的匹配,那么<2,6>和<3,5>就不是⼀个合法的匹配。
不难看出,其中最⼤匹配是边集:{1, 4, 5},最⼤匹配数为3 。
独⽴集: 是指图的顶点集的⼀个⼦集,且该⼦集中的任意两个顶点之间不存在边。
二分图概念性质(通俗版)

二分图的定义二分图的定义非常简单,有两组顶点,一组顶点记为L ,另一组记为R ,L 和R 没有公共的元素,并且所有的边都是连接L 和R 中的点的,对于L 和R 本身,它们内部的任何两个点都没有边相连,这样的无向图就叫二分图。
《组合数学》上这样讲解:二分图可描述为:一,顶点的集合;二,将该顶点集分成两部分的一个划分;三,连接一部分的一个顶点与另一部分的一个顶点的边的集合。
二分图是无向图,那么什么样的无向图是二分图呢?有以下定理:定理:无向图G 为二分图的充分必要条件是,G 至少有两个顶点, 且其所有回路的长度均为偶数。
证明:至少两个顶点,这个显然,把这个条件忽略掉,着重考虑回路长度为偶数这一条件。
先证充分性:由于图中可能有回路也可能无回路,无回路的情况应该最简单,自然考虑分类讨论。
于是,分类讨论后,充分性的证明转化成以下两个命题:a)所有无回路的无向图都是二分图;b)所有有回路且回路长度为偶数的无向图都是二分图。
对于a) ,因为无回路无向图总是能把它画成一棵树,所以,这个命题等价于:所有的树都是二分图。
到这里,命题a) 证明显然,因为有一种很简单的从树构造二分图的方法:令树的奇数层的结点为集合L ,令树的偶数层结点为集合R ,这样就从树得到了一个二分图。
再看命题b) ,可以把b) 转化为a) 。
对于图中的每一个回路,我们都从中拿掉一条边,这样可以消灭所有的回路,由a) 知消灭掉所有回路之后的图是二分图。
把此时得到的二分图画成一棵树,拿掉一条边后的回路此时就是树中的一条路径,并且路径的长度为奇数,这就意味着路径的头结点和尾结点所在层数的编号一个是奇数一个是偶数,用上面的从树构造二分图的方法知,头结点和尾结点分别在集合L 中和集合R 中,我们再把拿掉的这条边加上去,只不过是在L 和R 中的两个顶点间连接了一条边,图仍然是原来的二分图。
至此,充分性得证。
再证必要性。
假设二分图中的一条回路是(v0, v1, v2, …, vm, v0) ,由于是二分图,相邻顶点必不属于同一个集合,用L 标记属于集合L 的点,用R 标记属于集合R 的点,不妨假设v0 属于L ,则上面的回路可以标记为L, R, L, R, …, L, R ,由此可见,回路必有偶数个顶点,因此必有偶数条边。
二分图匹配

二分图匹配一、二分图的概念二分图又称作二部图,是图论中的一种特殊模型。
设G=(V,{R})是一个无向图。
如顶点集V可分割为两个互不相交的子集,并且图中每条边依附的两个顶点都分属两个不同的子集。
则称图G为二分图。
二、最大匹配给定一个二分图G,在G的一个子图M中,M的边集{E}中的任意两条边都不依附于同一个顶点,则称M是一个匹配。
选择这样的边数最大的子集称为图的最大匹配问题(maximal matching problem)如果一个匹配中,图中的每个顶点都和图中某条边相关联,则称此匹配为完全匹配,也称作完备匹配。
三、匈牙利算法求最大匹配的一种显而易见的算法是:先找出全部匹配,然后保留匹配数最多的。
但是这个算法的复杂度为边数的指数级函数。
因此,需要寻求一种更加高效的算法。
1、增广路的定义(也称增广轨或交错轨):若P是图G中一条连通两个未匹配顶点的路径,并且属M的边和不属M的边(即已匹配和待匹配的边)在P上交替出现,则称P为相对于M的一条增广路径。
由增广路的定义可以推出下述三个结论:●P的路径长度必定为奇数,第一条边和最后一条边都不属于M。
●P经过取反操作可以得到一个更大的匹配M’。
●M为G的最大匹配当且仅当不存在相对于M的增广路径。
2、用增广路求最大匹配(称作匈牙利算法,匈牙利数学家Edmonds于1965年提出)。
算法轮廓:(1)置M为空(2)找出一条增广路径P,通过取反操作获得更大的匹配M’代替M(3)重复(2)操作直到找不出增广路径为止程序清单:Function find(k:integer):integer;var st,sf,i,j,t:integer;queue,father:array[1..100] of integer;beginqueue[1] := k; st := 1; sf := 1;fillchar(father,sizeof(father),0);repeatfor i:=1 to n doif (father[i]=0)and(a[queue[st],i]=1) thenbeginif match2[i]<>0 thenbegininc(sf);queue[sf] := match2[i];father[i] := queue[st];end elsebeginj := queue[st];while true dobegint := match1[j];match1[j] := i;match2[i] := j;if t = 0 then break;i := t; j := father[t];end;find := 1;exit;end;end;inc(st);until st>sf;find := 0;end;在主程序中调用下面的程序即可得出最大匹配数。
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
X X S X X
X X X X
X代表攻击范围,S代表骑 士
分析
对棋盘染色,设方格的坐标为(x,y),x和y同奇 偶的方格对应X集合,不同奇偶的对应Y集合。 由于骑士沿着“日”字形路线攻击,所以每个 攻击肯定是处于X集合和Y集合之间,而不可 能在两个集合内部。 显然,转化后变为求二分图的最大独立集
匈牙利算法
简要说明:find函数用于判断从k点开始是否能 够找到一条交错路。对于每个可以与k匹配的 顶点j,假如它未被匹配,交错路就已经找到; 假如j已与某顶点x匹配,那么只需调用find(x) 来求证x是否可以与其它顶点匹配,如果返回 true的话,仍可以使j与k匹配;这就是一次 DFS。每次DFS时,要标记访问到的顶点 (cover[j]=true),以防死循环和重复计算。
例题分析
Hanoi Tower Troubles Again! (OIBH Contest)
ZOJ 1239 题目大意:给定柱子数N,按编号从小到大放球, 要求:如果该球不在最底数,则该球和它下面一个 球的编号之和必须为完全平方数。 问对于给定的N,最多能放多少球上去。 N<=50
例题分析
分析
铺放方法
1.2. .333 444. ..2.
Sample Output 4
分析
最小覆盖是覆盖所有的边,因此泥地对应边 建图方式类似于皇家卫士,也是利用行连通块 和列连通块做点,单位泥地对应二分图中的边 要求放最少的板覆盖全部的泥地,转化为求最 小覆盖
二分图最大独立集
图的独立集:寻找一个点集,其中任意两点在 图中无对应边 一般图的最大独立集是NP完全问题 二分图的最大独立集=图的点数-最大匹配数
二分图最小覆盖
图的覆盖:寻找一个点集,使得图中每一条边 至少有一点在该点集中
二分图的最小覆盖=二分图的最大匹配
最小覆盖
最小覆盖
如何构造一组最小覆盖? 求得最大匹配M后,图中已经不存在交错路。从右边 未匹配的点开始,以寻找交错路的方式扩展节点,并 标记路过的节点。取右边未标记的节点,左边标记的 节点,则构成一组最小覆盖。 证明 所取节点数=|M| .右边未匹配的点肯定被标记了,左 边未匹配的点不可能被标记(否则找到了交错路), 一条匹配边的左端点被标记,那么右端点也肯定被标 记,所以所取节点恰覆盖一条匹配边
二分图最优匹配
又称带权最大匹配。 二分图的每条边带有权值。求一个匹配使得匹 配边上的权值和最大。 一般X和Y集合顶点个数相同,最优匹配也是 一个完备匹配,即每个顶点都被匹配。如果个 数不相等,可以通过补点加0边实现转化。 最小?
KM算法
基本概念:可行顶标和相等子图 可行顶标:L是一个关于结点的函数,L(x)是 顶点x对应的顶标值。可行顶标对于图中的每 条边(x,y)都有L(x)+L(y)>=w(x,y) 相等子图:只包含L(x)+L(y)=w(x,y)的边的子 图
例题分析
Sample Input
43 34 13 23
Sample Input
33 13 12 23
Sample Output
2
Sample Output 1
最小覆盖?
二分图的最小路径覆盖
最小路径覆盖问题:用尽量少的不相交简单路 径覆盖有向无环图的所有顶点 将每个顶点分为两个,分别在X集合和Y集合 中,如果存在有向边(a,b),对应在二分图中有 (Xa,Yb) 最小路径数=节点数-最大匹配
匈牙利算法
匈牙利算法只需要以每个节点为起点找一次增 广路即可求得最大匹配,寻找增广路的复杂度 为O(E),总的复杂度为O(VE)
DFS实现 int find(int k) { for (每个与k相邻的点j) if (cover[j] == FALSE) { q = link[j]; link[j] = k; cover[j] = TRUE; if (q == -1 || find(q) == 1) return 1; link[j] = q; } return 0; } work() { link[ ]数组初始化为-1 for (i = 0 ; i < m ; i++) { cover[ ]数组初始化为FALSE; find(i); } }
最小路径覆盖
简单解释:
原图的路径覆盖和新图的匹配间有对应关系: 每条覆盖边都是匹配中的一条边,且只有路径的最 后一个点没有被匹配上。 路径要求不能相交,恰好对应于匹配中两匹配边不 能有公共端点。
最小路径覆盖
解释(续):
于是求最大匹配后,不能被匹配上的点,即是路径 的最后一个点。有多少个不能被匹配的点,就有多 少条路径存在。 路径数=原点数-匹配边数。因此我们使匹配边数 最大,即是使路径数最小。
二分图相关问题
二分图相关问题
二分图最大匹配 二分图最小覆盖 二分图最大独立集 二分图最小路径覆盖 二分图最优匹配 稳定婚姻问题
二分图定义及判定
定义:二分图中,顶点可以分为两个集合X和 Y,每一条边的两个顶点都分别位于X和Y集合 中 判定:利用BFS或者DFS进行黑白染色,共享 一边的两点异色,检查是否存在矛盾 图G为二分图的充要条件是图中不含奇环
例题
考虑n行m列棋盘,已知其禁止落子位置,求 能够放到棋盘上非攻击车的最大个数
分析
建图:对应棋盘的每一行,都有一个顶点属于 X集合,对应棋盘的每一列,相应也有一个顶 点属于Y集合,每个可以落子的位置对应一条 边,建立二分图 任意两个非攻击车不同行不同列,那么对应在 二分图中任意两条边不共享顶点,所以非攻击 车集合相当与一个匹配 非攻击车最大个数=最大匹配
例题
Muddy Fields (USACO, January 05, Gold)
POJ 2226 题目大意:在一块R*C的地面上,有一些格子是泥 泞的,现在要用一些宽为1的木板把泥地盖住,并 1 且不能盖住好地。木板可以重叠。问最少需要多少 木板? R,C<=50
例题
Sample Input
44 *.*. .*** ***. ..*.
二分图的最大独立集
黑色点即为一个最大独立集
简单解释
可以这样理解,在总的点集中,去掉最少的点, 使得剩下的点相互之间没有边。用最少的点去 覆盖所有的边,也就是最小覆盖。 二分图的最大独立集=图的点数-最大匹配数
例题
骑士问题 一个n*n的棋盘上,有一些 单位小方格不能放置骑士。 求出最多可以放置几个相 互不攻击的骑士
例题
Sample Input
5 5 10 011 112 213 314 421 522 623 724 833 943
Sample Output 3
分析
建图:将机器A上的模式看作X集合,机器B上 的模式看作Y集合,每个任务对应一条边,两 点分别为在A,B上的模式,建立二分图 可以看出,所要求的机器最少重启次数就是二 分图的一个最小覆盖(涉及了所有的任务,至 理:如果一个相等子图中包含完备匹配,那 么这个匹配就是最优匹配 证明:由于在算法过程一直保持顶标的可行性, 所以任意一个匹配的权值和肯定小于等于所有 结点的顶标之和,则相等子图中的完备匹配肯 定是最优匹配
最小覆盖
证明(续) 所取的点覆盖了所有边。假设存在一条边未被 覆盖,则该边右端点被标记了,左端点未标记。 如果这不是一条匹配边,那么相当于找到了交 错路,如果着是一条匹配边,那么右端点只能 通过其匹配的左端点到达。 最小(why?)
例题
Machine Schedule
TOJ 1119 / POJ 1325 题目大意:有两台机器A,B及N个任务。每台机器有 M M种不同的模式,对每个任务i给定a[i]和b[i],表示 i a[i] b[i] 如果该任务在A上执行,需要设置模式为a[i],如果 在B上执行,需要模式为b[i]。任务可以以任意顺序 被执行。但每台机器转换一次模式就要重启一次。 要求合理分配任务并合理安排顺序,使得机器重启 次数最少。 M,N <= 100, 任务数K <= 1000
例题分析
Sample Input 1
7 0: (3) 4 5 6 1: (2) 4 6 2: (0) 3: (0) 4: (2) 0 1 5: (1) 0 6: (2) 0 1
Sample Input 2 3 0: (2) 1 2 1: (1) 0 2: (1) 0 Sample Output 2 2
例题
皇家卫士(CEOI 2002) 为了保卫一个N*M(N,M<=200)的矩形城堡, 国王打算安排尽可能多的卫士,城堡地形比较 复杂,有许多陷阱和障碍物.每个卫士占领一 个单位的空地,当两个卫士共线且中间无障碍 物阻挡时,他们会互相攻击,已知地图,求最 多安排多少个不相互攻击的卫士?
例题
x x x o x o x x x g x o x g o x
二分图最大匹配
定义:匹配是二分图中边的集合,且集合中的 任意两条边没有公共点,包含边数最多的匹配 就是最大匹配
匈牙利算法
概念:交错路
对于一个匹配M,如果能找到一条奇数长度的路, 使得路的第一、三、五……边不属于M,而第二、 四、六……边属于M,那么这条路叫做交错路。 交错路可以“增广”,即通过适当修改得到更大的 匹配。
分析
建图 行和列做点,方格做边? 因为当两个卫士中间有障碍物时,允许共线, 所以这样建图是错误的!!! 定义一段无法向左右扩展的连续非障碍物方格 为行连通块,一段无法向上下扩展的连续非障 碍物方格为列连通块
分析
我们把行连通块对应X集合,列连通块对应Y 集合,如果一个行连通块与一个列连通块有交 点且为空地,则对应在二分图中有一条边 显然卫士的集合对应二分图的一个匹配,任意 两个卫士不可能共同存在于一个行/列连通块 中,所以最多卫士数目=最大匹配数
Sample Output 1 5
例题分析