下行法求最小割集案例