开发配方项目中的贪心算法精解
2025-06-25 03:02:32作者:幸俭卉
贪心算法概述
贪心算法(Greedy Algorithm)是一种在每一步选择中都采取当前状态下最优决策的算法设计范式。它通过局部最优选择来构建全局解,具有简单高效的特点,常用于解决优化问题。
核心特点
- 局部最优选择:每一步都做出当前看来最佳的选择
- 不可回溯性:一旦做出选择就不再改变
- 高效性:通常具有线性或近似线性的时间复杂度
贪心算法的适用条件
贪心算法并非适用于所有问题,只有当问题满足以下两个性质时才能保证得到最优解:
1. 贪心选择性质(Greedy Choice Property)
当前的选择不会影响后续子问题的结构,即局部最优选择能够导致全局最优解。这意味着算法不需要考虑子问题的解,只需做出当前最优选择即可。
2. 最优子结构(Optimal Substructure)
问题的最优解包含其子问题的最优解。这一性质与动态规划相同,但贪心算法不需要保存子问题的解。
经典问题解析
案例1:零钱兑换问题(标准版)
问题描述: 假设有面额为1000元、100元、50元和10元的货币,现在需要找零1730元,求最少需要多少张货币。
解决方案: 采用贪心策略,每次尽可能使用最大面额的货币:
- 1000元:1张(剩余730元)
- 100元:7张(剩余30元)
- 10元:3张(剩余0元)
总计:11张货币
public int minCoins(int amount, int[] coins) {
Arrays.sort(coins); // 确保硬币按面值排序
int count = 0;
// 从最大面值开始处理
for(int i = coins.length-1; i >= 0; i--) {
if(amount >= coins[i]) {
int num = amount / coins[i];
count += num;
amount -= num * coins[i];
}
if(amount == 0) break;
}
return count;
}
案例2:零钱兑换问题(变种版)
问题描述: 货币面额为50元、40元和10元,需要找零120元。
非贪心解: 如果使用贪心策略:
- 50元:2张(剩余20元)
- 10元:2张(剩余0元) 总计:4张
实际最优解: 40元:3张 总计:3张
这个例子说明当货币面值之间不是倍数关系时,贪心算法可能无法得到最优解。
活动选择问题
问题描述: 有n个活动,每个活动有开始时间s和结束时间f,一个人同一时间只能参加一个活动,求最多能参加多少个活动。
解决方案:
- 按结束时间排序所有活动
- 选择第一个结束的活动
- 后续选择与前一个选中活动不冲突且最早结束的活动
public List<Activity> selectActivities(List<Activity> activities) {
// 按结束时间排序
activities.sort((a, b) -> a.finish - b.finish);
List<Activity> selected = new ArrayList<>();
int lastFinish = 0;
for(Activity act : activities) {
if(act.start >= lastFinish) {
selected.add(act);
lastFinish = act.finish;
}
}
return selected;
}
贪心算法的局限性
虽然贪心算法简单高效,但它有以下局限性:
- 不能保证对所有问题都得到全局最优解
- 需要严格的数学证明才能确保正确性
- 对问题条件较为敏感,如货币面值关系
实际应用建议
- 验证适用性:在使用贪心算法前,先验证问题是否满足贪心选择性质和最优子结构
- 测试用例:设计边界测试用例验证算法正确性
- 替代方案:当贪心算法不适用时,考虑动态规划或回溯法
总结
贪心算法是算法设计中一种重要且高效的策略,特别适合解决具有特定结构的优化问题。通过开发配方项目中的这些经典案例,我们可以深入理解贪心算法的核心思想和应用场景。掌握贪心算法的关键在于识别问题的特性并验证贪心策略的正确性。
登录后查看全文
热门项目推荐
kernelopenEuler内核是openEuler操作系统的核心,既是系统性能与稳定性的基石,也是连接处理器、设备与服务的桥梁。C036
Kimi-K2-ThinkingKimi K2 Thinking 是最新、性能最强的开源思维模型。从 Kimi K2 开始,我们将其打造为能够逐步推理并动态调用工具的思维智能体。通过显著提升多步推理深度,并在 200–300 次连续调用中保持稳定的工具使用能力,它在 Humanity's Last Exam (HLE)、BrowseComp 等基准测试中树立了新的技术标杆。同时,K2 Thinking 是原生 INT4 量化模型,具备 256k 上下文窗口,实现了推理延迟和 GPU 内存占用的无损降低。Python00
kylin-wayland-compositorkylin-wayland-compositor或kylin-wlcom(以下简称kywc)是一个基于wlroots编写的wayland合成器。 目前积极开发中,并作为默认显示服务器随openKylin系统发布。 该项目使用开源协议GPL-1.0-or-later,项目中来源于其他开源项目的文件或代码片段遵守原开源协议要求。C00
HunyuanOCRHunyuanOCR 是基于混元原生多模态架构打造的领先端到端 OCR 专家级视觉语言模型。它采用仅 10 亿参数的轻量化设计,在业界多项基准测试中取得了当前最佳性能。该模型不仅精通复杂多语言文档解析,还在文本检测与识别、开放域信息抽取、视频字幕提取及图片翻译等实际应用场景中表现卓越。00
GLM-4.7GLM-4.7上线并开源。新版本面向Coding场景强化了编码能力、长程任务规划与工具协同,并在多项主流公开基准测试中取得开源模型中的领先表现。 目前,GLM-4.7已通过BigModel.cn提供API,并在z.ai全栈开发模式中上线Skills模块,支持多模态任务的统一规划与协作。Jinja00
GLM-TTSGLM-TTS 是一款基于大语言模型的高质量文本转语音(TTS)合成系统,支持零样本语音克隆和流式推理。该系统采用两阶段架构,结合了用于语音 token 生成的大语言模型(LLM)和用于波形合成的流匹配(Flow Matching)模型。 通过引入多奖励强化学习框架,GLM-TTS 显著提升了合成语音的表现力,相比传统 TTS 系统实现了更自然的情感控制。Python00
Spark-Formalizer-X1-7BSpark-Formalizer 是由科大讯飞团队开发的专用大型语言模型,专注于数学自动形式化任务。该模型擅长将自然语言数学问题转化为精确的 Lean4 形式化语句,在形式化语句生成方面达到了业界领先水平。Python00
项目优选
收起
deepin linux kernel
C
26
10
OpenHarmony documentation | OpenHarmony开发者文档
Dockerfile
428
3.29 K
本项目是CANN提供的数学类基础计算算子库,实现网络在NPU上加速计算。
C++
689
345
Ascend Extension for PyTorch
Python
236
270
暂无简介
Dart
686
161
Nop Platform 2.0是基于可逆计算理论实现的采用面向语言编程范式的新一代低代码开发平台,包含基于全新原理从零开始研发的GraphQL引擎、ORM引擎、工作流引擎、报表引擎、规则引擎、批处理引引擎等完整设计。nop-entropy是它的后端部分,采用java语言实现,可选择集成Spring框架或者Quarkus框架。中小企业可以免费商用
Java
9
1
React Native鸿蒙化仓库
JavaScript
266
327
openEuler内核是openEuler操作系统的核心,既是系统性能与稳定性的基石,也是连接处理器、设备与服务的桥梁。
C
71
36
🔥LeetCode solutions in any programming language | 多种编程语言实现 LeetCode、《剑指 Offer(第 2 版)》、《程序员面试金典(第 6 版)》题解
Java
65
19
🎉 (RuoYi)官方仓库 基于SpringBoot,Spring Security,JWT,Vue3 & Vite、Element Plus 的前后端分离权限管理系统
Vue
1.22 K
669