集合覆盖问题与贪婪算法