设S1 = {x1,..xn}为某些未知块构成的集合,S1含雷F(S1)个,如果|S1| = F(S1),那全都标记雷,如果0=F(S1),那全都可以戳开,这就是规则1;如果S1包含S2,那F(S1 - S2) = F(S1) - F(S2),就是规则2 感觉靠推理就只有这点信息了