活动选择的证明

按结束时间最早选。证明：把最优解的第一个活动换成最早结束的，仍然可行且不更差。