贪心算法的正确性证明包括证明A. 可行性B. 贪心选择性质C. 最优子结构性质D. 存在最优解E. 可分为独立子问题

贪心算法的正确性证明主要涉及两个关键性质：贪心选择性质和最优子结构性质。贪心选择性质是指局部最优解能够导致全局最优解，而最优子结构性质是指问题的最优解包含其子问题的最优解。这两个性质是贪心算法能够正确解决问题的基础。