贪心算法:活动选择问题以及贪心选择性质证明

news2024/11/16 6:03:32

什么时候使用贪婪算法?

– 贪心选择特性:

全局的最优解可以通过局部的最优(贪婪) 选择得到.

• 动态规划需要检查子问题的解。

– 最优子结构: 问题的最优解包含了其子问题的最优解.

• 例如, 如果 A 是S的最优解, 那么 A ' = A - {1} 是 的S'=\{i\in S:s_{i} >=f_{1} \}最优解.

• 贪心算法 (试探) 并不能总是得到最优解.

• 谈论算法和动态规划 (DP)对比

– 相同: 最优子结构

– 差别: 贪婪选择特性

– 如果贪婪算法不是最优的, 可以使用DP 。

活动选择问题

给定一个集合 S = {1, 2, …, n} n个计划的活动,对每个活动 i, 开始时间为 s_{i} 结束时间为 f_{i}, 选择出相互兼容的活动最大集合.

– 如果被选中,活动 i 在半开放的区间[s_{i},f_{i})中进行.

– 活动 i 和j兼容 如果 [s_{i},f_{i}) 和 [s_{j},f_{j}) 不重叠(i.e.,s_{i}\ge{f_{j}} or s_{j}\ge{f_{i}})

问题分析

基本思想

 对应伪代码

贪心选择性质证明

E=\{a_{1},a_{2},...,a_{n}\}为问题所给的活动集合,且E中的活动是按照活动结束时间增序排列的,明显,活动a_{1}为最早结束。

设A是问题的一个最优解,明显有A是E的一个子集。这里设A的第一个活动为k

1:若k=a_{1},即A的第一个活动就是最早结束的,故A是以贪心选择开始的最优解。

2:若k\ne a_{1},设集合B=(A-\{k\})\cup a_{1},即用活动a_{1}替换掉活动k

又因为a_{1}的结束时间小于k,故a_{1}k提取结束。另外由于A中的活动是相容的,故B中的活动也相容。

又因为A中的活动个数和B中的活动个数相同,故B也是最优解(需要注意的是最优解一般不唯一)。

所以B是一个以贪心选择活动a_{1}为开始后的最优活动。

之后假设第k步成立,即按照算法选了i_{1},i_{2},...,i_{k},(i_{1}=a_{1}),现在我们只要证明选i_{k+1}

也是最优解解一部分即可。这是需要注意的是,对i_{k+1},k\ge 1需要满足相同性,且是选结束时间尽可能早的任务.

利用数学归纳法

1:A包含了i_{1},i_{2},...,i_{k},(i_{1}=a_{1})算法选择的前k项活动,假设存在活动选择的最优解的即
A\cup B,如下图所示。

这里将未被选择的活动非为S1和S2两个部分。

值得注意的是,B一定来自于S1,因为S2的所有活动都与A冲突,为了满足相容性,不能被选到。

假设B不是S1的最优解,即S1存在有最优解B'的活动数多于B;

那么第k步的最优解就变为AUB',显然与开始AUB为最优解的假设是矛盾的,因此不成立。

2:证明选结束时间最早的活动,也是最优解。

在S1中,必定存在一个结束时间最早的活动,即i_{k+1}

在A的第一个活动为k时的证明可知,算法的第一步的最优解包含结束时间最早的活动。

因此S1存在最优解B*包含了活动i_{k+1}。B和B*都是S1的最优解。因此两者包含的活动个数相同。

用B*代替B,即AUB的活动与AUB*的活动个数相同,因此最优解的性质不变。

而B*包含了i_{k+1},故证明了AUB*是最优的,所以根据数学归纳法,假设算法的前k项活动是最优的,选第k+1项也是最优解,命题得证。

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.coloradmin.cn/o/1359895.html

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈,一经查实,立即删除!

相关文章

UE4.27_PIE/SIE

UE4.27_PIE/SIE 1. 疑问: 不明白什么是PIE/SIE? 不知道快捷键? 2. PIE/SIE: play in editor/simulate in editor 3. 快捷键: F8: 运行时possess&eject切换 4. 运行操作效果: PIE&SIE

WWDC2022 大会 : | WatchOS 9升级,跨平台智能家居系统Matter

目录 WatchOS 9升级 全新表盘 体能训练 APP 睡眠追踪 心脏健康 药物 APP 使用方式 跨平台智能家居系统Matter 6月7日凌晨,苹果WWDC22准时与大家见面。本次发布会带来了iOS 16、watchOS 9、M2芯片以及新的MacBook等软硬件新品,同时也对现有的软件…

Js的$如同 sed的 java的$0 指代matcher匹配到的内容的符号

Js的$&如同 sed的& java的$0 $& 可用于Js,Vscode,RJTextEd,editplus,notepad, 在 Vscode,RJTextEd,editplus,notepad,等的替换中, 启用正则, 就能使 $&生效, 比如 ($&)表示给匹配到的内容加上括号 $& 可用于Js的String的replace(和replaceAll( 的第二…

Postman 并发测试入门指南:如何模拟用户并发请求?

背景介绍 最近,我们发起了一个在线图书管理系统的项目。我负责的一个关键模块包括三个主要后台接口: 实现对books数据的检索。实施对likes数据的获取。通过collections端点访问数据。 应对高流量的挑战 在设计并部署接口时,我们不可避免地…

springboot项目 java -jar xxx.jar 没有主清单属性解决方法

1.在pom文件中添加如下 <plugins><!--解决SpringBoot打包成jar后运行提示没有主清单属性--><plugin><groupId>org.springframework.boot</groupId><artifactId>spring-boot-maven-plugin</artifactId><configuration><fork…

Visual Studio 2022进行文件差异比较

前言 Visual Studio 2022在版本17.7.4中发布在解决方案资源管理器中比较文件的功能&#xff0c;通过使用此功能&#xff0c;可以轻松地查看两个文件之间的差异&#xff0c;包括添加、删除和修改的代码行。可以逐行查看差异&#xff0c;并根据需要手动调整和编辑文件内容以进行…

一、Qt介绍

一、Qt介绍 1、介绍 Qt是一套程序开发库&#xff0c;但是与MFC&#xff08;依赖于Windows API&#xff09;不同&#xff0c;Qt是跨平台开发库。 Qt获取&#xff1a;[Qt下载地址](https://download.qt.io/archive/qt/)2、Qt安装 QtMinGWSourcesQt ChartsQt Data Visualizatio…

2024年,Web3技术的“iPhone时刻”会出现吗?

出品&#xff5c;欧科云链研究院 关于2024年的Web3市场&#xff0c;大多数人目前是持乐观态度的。随着宏观政策稳定&#xff0c;美国和香港地区不断释放加密资产现货ETF的利好&#xff0c;叠加铭文热潮及减半周期临近&#xff0c;市场对Web3及加密资产的兴趣正持续上涨。年后的…

超维空间M1无人机使用说明书——31、基于模板匹配的物体识别功能

引言&#xff1a;ROS提供的物体识别功能包find_object_2d&#xff0c;该功能包用起来相对简单&#xff0c;只需要简单进行模板匹配即可。需要接显示器进行模板训练&#xff0c;远程比较卡&#xff0c;不建议 一、功能包find_object_2d简介 ROS的优点之一是有大量可以在应用程…

Solid Converter 10.1(PDF转换器)软件安装包下载及安装教程

Solid Converter 10.1下载链接&#xff1a;https://docs.qq.com/doc/DUkdMbXRpZ255dXFT 1、选中下载好的安装包右键解压到【Solid Converter 10.1.11102.4312】文件夹。 2、选中"solidconverter"右键以管理员身份运行 3、选择”自定义安装”&#xff0c;勾选”我已阅…

通用Mapper怎么开接口扫描

作者简介&#xff1a;大家好&#xff0c;我是smart哥&#xff0c;前中兴通讯、美团架构师&#xff0c;现某互联网公司CTO 联系qq&#xff1a;184480602&#xff0c;加我进群&#xff0c;大家一起学习&#xff0c;一起进步&#xff0c;一起对抗互联网寒冬 学习必须往深处挖&…

申请CSDN博客专家的历程

今天是2024年第一周的周五下午13&#xff1a;55&#xff0c;我怀着非常非常激动的心情写下这篇博客记录这难忘的时刻&#xff1a;我的博客专家认证通过了&#xff01;现在唯一想说的就是非常感谢CSDN平台&#xff0c;我会继续努力&#xff0c;把最好的分享给大家。 与CSDN的缘分…

全面 正进制数转化 函数模板(直接调用)

本题链接&#xff1a;用户登录 题目&#xff1a; 样例&#xff1a; 输入 2 2 10 10101 11 2 1793A5068 输出 21 10101111001010100111010101011 思路&#xff1a; 对于进制数之间的转化&#xff0c;我们可以通过 以 十进制作为桥梁 进行进制数之间的转化 比如&#xff1…

【项目实战】Cadence工具的使用1

需要 Candece Jasper文档的朋友可以和我联系@tommi.wei@qq.com Vmanager 自动化仿真管理工具 对于这款工具,笔者用到最多的地方就是写testplan! 没错,根据设计文档(Target Specication),细分feature list. 对于验证工程师要做的事情,就是验证设计功能的完备性,需要逐一…

Django 7 实现Web便签

一、效果图 二、会用到的知识 目录结构与URL路由注册request与response对象模板基础与模板继承ORM查询后台管理 三、实现步骤 1. terminal 输入 django-admin startapp the_10回车 2. 注册&#xff0c; 在 tutorial子文件夹settings.py INSTALLED_APPS 中括号添加 "the…

基于spring boot的中小型仓库物流管理系统(Java毕业设计)

大家好&#xff0c;我是DeBug&#xff0c;很高兴你能来阅读&#xff01;作为一名热爱编程的程序员&#xff0c;我希望通过这些教学笔记与大家分享我的编程经验和知识。在这里&#xff0c;我将会结合实际项目经验&#xff0c;分享编程技巧、最佳实践以及解决问题的方法。无论你是…

流行的Jmeter+Ant+Jenkins接口自动化测试框架在网络上走红

大致思路&#xff1a;Jmeter可以做接口测试&#xff0c;也能做压力测试&#xff0c;而且是开源软件&#xff1b;Ant是基于Java的构建工具&#xff0c;完成脚本执行并收集结果生成报告&#xff0c;可以跨平台&#xff0c;Jenkins是持续集成工具。将这三者结合起来可以搭建一套We…

Linkage Mapper 工具参数详解——Pinchpoint Mapper

【小白一学就会无需其他教程】此文档用于解析使用Linkage Mapper 各输入输出参数详情以及可能的影响&#xff0c;并介绍了如何解释模型输出结果和输出参数&#xff0c;适合刚入手的人。篇幅很长很啰嗦&#xff0c;是因为每个参数都解释的万分细致。 从以下链接中获取内容&…

PCIe 6.0生态业内进展分析总结

上一篇&#xff0c;我们针对PCIe 6.0的功能更新与实现挑战做了简单的分析与总结。更多详细内容可以参考&#xff1a; 扩展阅读&#xff1a;浅析PCIe 6.0功能更新与实现的挑战 那么&#xff0c;PCIe 6.0已经发布了一段时间了&#xff0c;业内硬件支持PCIe 6.0目前有哪些进展呢…

接口开发—hrun语法和用例规范

学习目标&#xff1a; 1、常见的抓包方法 2、如何提取和使用token 3、用例规范 4、辅助函数 具体内容&#xff1a; 1、常见的抓包方法 做接口测试前&#xff0c;肯定需要使用抓包工具去请求接口&#xff0c;然后才开始正常写接口用例。 常用的2种抓包方法有&#xff1a…