发现生成出来的”特殊集合”可能不是最优解,但是很接近最优解.于是取一个lim在其附近暴搜正确答案,实际上lim取1就能出来,复杂度 $O(3^7\alpha)$ , $\alpha$ 是检查的一个小常数,大概是五百.
