说明
参考文章:数独高级技巧:X-wing的原理和应用(19年12月4日)
假设同一列中,一个数字n只能有两个空白格可以填写,并且不在同一宫中。同时存在这个数字n在另外一列由相同的情况,这时,如果四个空白格形成一个矩形。则可以排除顶点所在行的其他空白格中的候选值n。
同理衍生到行的情况,这里代码写作Y-wing。
图片
算法代码
CalcEnum
在 绑定算法 中添加 属性
package com.suduku.calc.enums;
import com.suduku.calc.*;
import lombok.AllArgsConstructor;
import lombok.Getter;
import java.util.HashMap;
import java.util.Map;
/**
* 功能描述: 算法枚举 <br/>
*
*/
@Getter
@AllArgsConstructor
public enum CalcEnum {
/***/
ONLY_NUM(OnlyNumCalc.class, "唯余法", "唯一余数法(当前单元格中,候选数字只有一个)"),
ONLY_BOX(OnlyBoxCalc.class, "摒除法", "摒除法(数字在所在行或列或宫中,只有一个空格能够填写,则确定是唯一数字)"),
GRID_XY(GridXYCalc.class, "单宫行列法", "单宫行列法()"),
SU_DUI(SuDuiCalc.class, "数对法", "数对法(一个区域内,两个数字只能在两个单元格内,则形成数对,其他值不能填入)"),
X_WING(XwingCalc.class, "X-wing", "X-wing(如果在同一列,并且不在同一宫中,存在数字n只有两个单元格可以填写;并且不在这两宫的其他列存在相同的情况,则可以排除在这两行中,其他位置的数字n的情况)"),
Y_WING(YwingCalc.class, "Y-wing", "X-wing对应"),
;
private static final Map<Class<? extends AbstractCalc>, CalcEnum> CE_MAP = new HashMap<>(CalcEnum.values().length);
static {
for(CalcEnum ce : CalcEnum.values()) {
CE_MAP.put(ce.getClazz(), ce);
}
}
/**
* 功能描述: 通过类,获取枚举 <br/>
*
* @param clazz 类
* @return "com.suduku.calc.enums.CalcEnum"
*/
public static CalcEnum indexOf(Class<? extends AbstractCalc> clazz) {
return CE_MAP.get(clazz);
}
private Class<? extends AbstractCalc> clazz;
private String name;
private String msg;
}
XwingCalc
package com.suduku.calc;
import com.suduku.entity.Box;
import java.util.*;
import java.util.stream.Collectors;
/**
* X-wing(如果在同一列,并且不在同一宫中,存在数字n只有两个单元格可以填写;并且不在这两宫的其他列存在相同的情况,则可以排除在这两行中,其他位置的数字n的情况) <br/>
* 与X-wing相对应的,横向也是满足的。
* 将行和列合并起来,形成矩形。就能够排除4个顶点所在的行列的其余空白格的数字。
* 测试数据:DataConstant.OTHER_X_WING_01
*/
public class XwingCalc extends AbstractCalc {
@Override
Box solve() {
// 遍历数字
for(Integer n : Box.INIT_LIST) {
Set<Map.Entry<Integer, List<Box>>> entries = getYMap().entrySet();