这题通过r47c23的UR3型，不是直接能得到r4c7是6吗？接下去就是全摒除法了，而hodoku硬是用了1pointing+1claiming+3naked pair才把这题化成全摒除法，难道是因为UR比数组评分高，所以优先用评分低的数组吗？可一步到位不是更好吗？还是说这个UR是错的？另外有很多题只要用一两个数组就能解决它非得用五六个，还有一个问题是hodoku是怎么确定题目难度的？我见过有题只用数组评到hard难度的，可数组对应的难度应该是medium啊。我还见过用的评分最高的技巧是XY-Wing（对应hard难度）结果最后题目难度评级是extreme的。而且hodoku是不是识别不了17数数独啊？我试过输入一个17数数独显示无解但再加一个显而易见的摒除解后变得有解的。莫非我装得是盗版？可我是从独数之道给的地址下的，按理说应该是正版啊
