编辑“︁贪心策略证明”︁（章节）

== 贪心策略的基本概念 ==

贪心算法的核心思想是“局部最优导致全局最优”。它通过一系列局部最优选择来构造问题的解，而不考虑未来的后果。贪心算法通常用于解决优化问题，如最短路径、最小生成树、任务调度等。

贪心策略的正确性通常需要通过以下两种方法之一来证明：
1. '''贪心选择性质（Greedy Choice Property）'''：证明每一步的贪心选择都能导致全局最优解。
2. '''最优子结构（Optimal Substructure）'''：证明问题的最优解包含其子问题的最优解。