
1 贪心选择性
假设一个最优解里面不包含体力最小的老虎a1,在这个最优解里面找到一个老虎ak,替换之后,消灭老虎的数量不变,证明具有贪心选择性。
2 最优子结构
有一个最优解T,除去最优的老虎a1,剩下的子问题的解是T‘,证明子问题对应的最优解解是全局最优解的一部分。
假设存在T‘’<T’,那么a1+T‘’<a1+T’=T,这与T是全局最优矛盾,所以不存在T‘,所以打虎问题具有最优子结构。
3 代码
import math
import cmath
import sys
import string