离散数学邱晓红电子教案 第13章.ppt

第十三章 习题课 * 第十三章 支配集、覆盖集、独立集与匹配理论* 解 解 * * 第十三章 支配集、覆盖集、独立集与匹配理论* 在图13.3.1(c) 中，存在着 中的两个顶点与 中的一个顶点相邻，因而不满足相异性条件，于是（c)中不存在完备匹配。而(a),(b)均满足相异性条件，因而都存在完备匹配。 由定理13.3.1还可以得出下面定理。 定理13.3.2 设二部图 中， 中每个顶点至少关联t（ 条边，而 中每个顶点至多关联t条边，则G 存在 到 的完备匹配。 * 第十三章 支配集、覆盖集、独立集与匹配理论* 证 由定理中的条件可知， 中任意k | |）个顶点至少关联 条边，而因为 中每个顶点至多关联t条边，所以这 条边至少关联 中k 个顶点，这正说明G满足相异性条件，因而G中存在完备匹配。 常称定理13.3.2中的条件为t条件。图13.3.1中，(b) 满足t =2的t 条件，当然存在完备匹配，而在(a) 中不满足t 条件，但因它满足相异性条件、所以才存在完备匹配。 * 第十三章 支配集、覆盖集、独立集与匹配理论* 13.4.1会议议程安排问题 会议议程安排问题是一个较为复杂的数学问题，因为会议既需考虑要分组的形式,还存在大量并行进行的场次。 会议议程安排考虑的主要对象为场次、时间片和会场。场次由会议组委会事先确定，时间片和会场则根据惯例、作息情况及到会人员、场次估算确定。场次有“主持人”、“所有发言人”、“分组”、“类型”、“会场要求”等属性。会场有“人数”、“媒体配置”两个属性。时间片主要有“长度”一个属性。对不同场次类型,为讨论方便假设时间片之间都不重叠。如果会议场次多且关系复杂,可以给不同类型的场次分配不同长度且不相交的时间片，将一个庞大的议程安排分解成几个较小的议程安排，这样可以降低问题的规模、难度。 * 第十三章 支配集、覆盖集、独立集与匹配理论* 定义13.4.1 两个场次可能存在固有冲突，如两个场次属于相同的分组或者两个场次有相同的主持人或发言人,故称在多个场次中做主持人或报告人的与会人为关键人。如两个场次存在固有冲突，就不能安排它们在同一个时间片内。一般来说,除了固有冲突以外,会议组委会希望特定的两个场次不同时进行甚至希望某一个场次一定要在另一个场次之前进行，这种场次与场次之间的关系称为冲突关系。有顺序要求为有序冲突，无顺序要求为无序冲突。 * 第十三章 支配集、覆盖集、独立集与匹配理论* 会议议程安排就是在场次、会场、时间给定情况下，为每个场次指定一个时间片、一个会场，并且满足： (1) 有冲突的场次不在相同的时间片内，对有序冲突的场次还要满足序的要求; (2) 同一时间同一会场最多一个场次; (3) 会场的大小、媒体配置符合场次要求。 * 第十三章 支配集、覆盖集、独立集与匹配理论* 13.4.1.1会议议程数学模型表示 ①将场次的会场大小、媒体要求与每一个会场做比较,可得到每个场次的可用会场阵表,并用关系矩阵A 表示, 表示第 个场次可使用第j个会, 表示不可使用。 ②用有向图表示场次之间的冲突关系, 场次为端点，冲突关系为边。如是有序冲突, 就是有向边, 否则是无向边。这样，图的关联矩阵在议程安排之前可计算出来。有序冲突对应的关联矩阵B是不对称的，并且满足:若 、 ,则 。无序冲突相应的关联矩阵C是对称的。 * 第十三章 支配集、覆盖集、独立集与匹配理论* 设给定的场次集合为 , ,会场集合为 , ,时间片数为k。议程安排问题就是求集合S的一个划分 ,以及场次到会场之间满足以下条件的一个映射 : ①设 , ,若 ,则 ≠ ;②设 ,若 = ,则 。③设 , ,若 则 。若 ,则 。 * 第十三章 支配集、覆盖集、独立集与匹配理论* 13.4.1.2议程安排的参数确定 (1)时间片个数 的确定 ≥ 是理论上能使议程安排成功的最少时间片数, 在没有有序冲突，并且足够会场的条件下, 就是场次及其冲突关系形成图的点着色的色数。一般情况下, 是难以确定的，实际操作中往往按惯例来定 。 (2)会场个数m的确定m ≥[ n/ k] * 第十三章 支配集、覆盖集、独立集与匹配理论* 13.4.1.3问题的复杂性分析 议程安排问题可近似地看成如下两个问题的组合: (1)会议、场次的时间