- 1、本文档共32页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
对拟阵的初步研究(new).ppt
* * 谢谢 最小化问题转化为最大化问题 最小化问题 最大化问题 (12 -3 19 7 5 8) (-12 3 -19 -7 -5 -8) + 19 +1 (8 23 1 13 15 12) * * 这是本文的一个概览 拟阵中文又称矩阵胚,英文名matroid。1935年美国数学家Whitney首先提出了拟阵的概念。拟阵理论在近几十年得到了空前的发展,已成为一门博大精深的学科. 本文对拟阵进行了初步探讨.拟阵相当优美,接下来,就让我带领大家进入拟阵的世界 * * 拟阵是一个二元组M=(S,L),其中S是一个有限集,L是一个以集合作为元素的集合,它的元素必须是S的子集。我们有必要对这个抽象概念进行形象地解释,如果把S看成一堆零件,L就是一些机器,很明显机器是零件的组合. * 拟阵须满足两条性质:遗传性和交换性。遗传性是指对L的任意元素B,B的任意子集A,仍然是L的元素.这是一种包容性.用我们的机器观点来看,从L的某台机器中拿掉几个零件所得到的新机器仍在L中 * 交换性是指对L的任意元素A,B,如果A的大小比B小,那么B中存在一个不属于A的元素x.现在我们有了两台机器,一台小,一台大,必然可以从大的一台拆下一个零件装到A上,使新得到仍在L中 * 我们来汇总一下,这就是拟阵.前两条定义了S和L,后面两条是拟阵的根本性质 * 再来看一些定义,对于S的子集U,如果U是L的元素,则称之为独立集,也就是说L中的元素被称为独立集.一台机器就是一个独立集 对于独立集A,如果存在一个属于S但不属于A的元素x,满足A并x属于L,则称A为可扩展的,满足此条件的x称为A的一个可扩展元素.不可扩展的独立集称为极大独立集 * 我们可以通过反证得到一个简单的定理.我们假设有2个极大独立集A和B,它们大小不同,不妨认为A比B小,根据交换性,B中有元素可扩展A,矛盾.所以拟阵的极大独立集大小相同 * 我们来看一个拟阵的实例. 对于无向图,我们定义M=(S,L),其中S是边集E,S的子集x是独立集当且仅当x不形成环 要证明M是拟阵,我们需要说明M满足遗传性和交换性 无环的边集的子集必然无环,故满足遗传性 * 我们来看交换性. 如果边集A的边数比边集B少,则A形成的连通分量数目比B多 所以B中存在一个连通分量,该分量在A中不连通. 此连通分量中必然存在一条边,放入A中不形成环. 该边显然属于B-A.交换性成立 M是拟阵,称为图拟阵 * * 对于一个拟阵,我们可以给S的每个元素x赋予一个正整数权值w(x),S的任意子集U的权值w(U)是U的所有元素的权值和. 我们现在的目标是求权值最大独立集 * 该问题可以贪心解决.我们先给出这个问题的贪心算法. 贪心法的基本思想是尽量取权值大的元素来扩充当前的独立集 我们设我们要求的权值最大独立集是A 初始时,把A置为空 然后根据w按递减顺序对S排序 最后我们按此递减顺序遍历S,对于当前遍历的元素x,如果A并上x以后仍然是个独立集,那么我们就将x并入A 遍历完后得到的A就是一个权值最大独立集 * 该算法的时间复杂度很好分析 排序的时间复杂度是O(n log n) 遍历S需要进行O(n)次判断是否为独立集的操作 如果判断是否为独立集的操作需要O(f(n))的时间 那么总的时间复杂度就是O(n log n + n * f(n)) 我们发现,时间复杂度的瓶颈在于判断是否为独立集的操作 其实,问题是各不相同的,拟阵体现了它们的一种共性,所以可以贪心,而它们的不同之处也就集中体现在判断独立集上了. * 只需证明在算法的每一步A都是某个最优解的子集,那么当算法结束时A就是一个最优解 归纳思想: 归纳基础:初始时A为空,满足要求.满足要求指A是一个最优解的子集 归纳:只需证明一个最优解的子集A经过一次循环后仍满足要求. * 对于一个满足要求的A,它属于一个最优解T 如果这一步遍历到的元素x无法使A扩展,不会发生任何变化 否则x就是能使A扩展的最大元素 我们可以把A和x并起来得到A’ 我们构造一个T’ 首先令T’=A’,只要T’的大小比T小,那么根据交换性,T’总能用T中某元素扩展,直到和T大小相同 这时T-A中只有一个元素y未被加入T’ 因此T’等于T去掉y再并上x,w(y)是小于等于w(x)的,所以w(T’)大于等于w(T) 这说明T’也是一个最优解,我们循环后得到的新A,即A’仍然是一个最优解T’的子集 * * 给一个单位时间任务的集合S,S有n个任务1..n,对S的调度规定了个任务执行的顺序,该调度第i个任务开始于时刻i-1,结束于时刻i.下图就展示了一个调度 * 问题会给出n个整数d1,d2,…,dn,表示任务的截止时刻.n个正整数w1,w2,…,wn,表示对任务的罚款.任务结束时间超过截止时刻,就要付相应的罚款.我们的目标是求一
您可能关注的文档
最近下载
- 公证知识PPT课件.pptx VIP
- 桃树栽培技术完整版最新精选PPT课件.ppt VIP
- 0432-城市轨道交通车辆运用与检修专业国家技能人才培养工学一体化课程设置方案(试用).docx VIP
- 2024-2029全球及中国紫外线(UV)消毒行业市场发展分析及前景趋势与投资发展研究报告.docx
- 博士生培养方案-清华大学.doc VIP
- 2025年衢州常山县统计局公开招聘编外统计员13人笔试备考试题含答案详解(能力提升).docx
- 酒店市场销售部政策与程序.doc VIP
- 2025年中国碳化硼陶瓷项目创业投资方案.docx
- 丰县农商行运营练习卷附答案.doc VIP
- 量具重复性和再现性报告.xls VIP
文档评论(0)