图说数独高级解题法

直观法22243156789唯一数HiddenonlyoneNakedonlyone直观法辅数法222222222123456789在同一规则中某一元素只在一个格中出现在某一格中只有一个元素出现规则：根据数独的性质，数独中每一行每一列及每个宫填不重复的1至9数字，这里将行列或宫统称为规则，这样不但便于理解而且还可以直接把它用来处理非常规数独，如锯齿，六角及其它种种大多都可用规则来表示等。辅数：也就是可选数，一个人人都知的概念，首先假设一个单元格里可以填所有可选数，如果发现它所在的规则里由于某种原因某个数不能出现在些格中，就把它删除掉。直接法不能解决时一般用这种方法。高级解法一般都要用到辅数来解。121212….12….Nakedpairs121212….12….12….12….121212….12….12….12….Hiddenpairs裸露对，显性数对：在一个规则中若两个格中只有两个候选数，则其它格子中这两个辅数被删减。显式对，显性数对：在一个规则中若两个候选数只出现在两个格中，则这两个格子中其它辅数被删减。（与裸露对比）三连数，四连数，五连数方法同123123123….123….NakedTriples123123123….123….123HiddenTriples123123123123….123….123….123….123….123….123….123并不要求三个格都是123,，有12或13的格也行HiddenQuads…………唯一数变形一：个数变化只有两个格包含辅数1和2,其它格都不包含唯一数变形二：透视变形22Hiddenonlyone2用直观法时，屏蔽一列数最见的是这个数出现在其它规则中的某个位置2X2X2X另一种就是在另一规则中辅数只出现在一列（行）上，这样同样可用来屏蔽另一规则中的行IntersectionRemoval中级一点的解法fishy约束对，强链：在某一规则中某个候选数仅出现两个单元中。非约束对，弱链：在某一规则中某个候选数仅出现在多个个单元中，当我没说。（相对于约束对来说，使用时有个名字方便）强链弱链以下为表示方便，用一条线段来表示一条规则，用实线表示强链用虚线表示弱链。AA用删除线字母表示删减此辅数用划圈字母表示最终填此辅数用下划线表示不含此辅数AEAAX-wing两个相同辅数的强链由两个弱链连接，则两个弱链上的（强链上的格除外）其它格的辅数删减AAASword-fishAAAAJelly-fishESingle'sChainsABCD由强弱强交替奇数个链长组成的链，若A是则E不是，若A不是则B是则C不是则D是，故无论A怎么E不均不包含此辅数。A~E~AB~CD~EE长度为5的单链ABCD单链的另一说法：单色链，把由强链连接的点间隔标为两个颜色（蓝绿），从某一点能同时看到单色链中的两个不同着色则此点上的辅数被删除。ColouringX-cycleX-cycleGroupedX-cycleAAX-wingAAAX-cycleAAGroupedX-cycle单链的端点在同一规则上组成环，则所有链上弱连接上端点以外的辅数删减掉。多于两个环节的一般改叫环，原理相同对于一个环节来说，如果几个格可以当做一个单元来处理的话，也可以当做X环来处理，叫做“联式X环”。（也适用于单链）Muti-ColorB+B+B-B-A-A+A+A+1,由强链连成的链图B2,由强链连成的放射图型A3,每个A+都可以看到一个B+或B-4,A-看不到任何一个B5,所有A+到B的弱链中既有A+到B+的也有A+到B-的=A-就是此辅数最短的B链只由一个强链组成ABACBCCY-wingY-wing由三个单元格组成中心为AB两辅数，两边分别为BC和AC，则能同时看到BC和AC的单元格中的辅数C被删减。ABACBCCY-wingchainsABABY-wingchains：Y-wing中AB格被奇数点的强链代替EBACBCCXY-chainsAEXY-wing：Y-wing中AB格被中间值E组成AE-EB链代替，则中间变量不限于一个可多个顺序传递。Y-wing不同于单链，它是由限制单元格辅数个数为前题的，所以并不要求所有连接都是强链链的隐含形式与唯一数一样，XY类的链也有相应的隐性表示.....AB……ACBC……HiddenY-wing由ABC的三个强链组成Y链，显然这三个格里只能出现这三个对，其它候选数全部删减。B+B-B-左图是单色的一部分，但是它有一个非常重要的性质：传递。它可以加入到任意链环中进行链的传递延伸。.....AB……ACBC……B+A+HiddenXY-wingchains或XY-loop,XY-cycle.....AB……ACBC……HiddenY-wingchainsorX-cycle,X-loop.....AB.....ABXZYZXYZZXYZ-Wing两个规则的交集中包含XYZ，其中一个包含XZ另一个包含YZ，则交集中其它点上的辅数Z删减XZYZWXYZZWXYZ-WingWZG守护者：由偶数个强链组成的链接，两个端点的弱连接上其它候选数就是守护者，如果守护者仅有一个那就可以确定它就是这个数；同时A，E格的辅数被删减。1,把ABCD看成单链删减E。2,由强链关系确定：D,~C,B,~A。3,AE所在规则内的”守护者”G被确定。守护者GuardiansBrokenWings,Turbot-FishEABCD也可以看成单色（单链）和XY-chains来解。如果是单个格组成则可直接确定值双向环Bidirection-cycleABABAB双向环双向环由四个单元格组成中心为AB两辅数，两边分别为A和B的强链接，另一角为AB,与A和B在同一规则内。则这两个弱链接上其它的A/B被删减.寻找法:先找两个AB,如果从一个AB出发分别有A和B的强链,这两个强链的另一端正好能看到另一个AB格.ABUniqueRectangles唯一矩阵12121212'DeadlyPattern'致命样式如左图在两个宫中的两行两列组成矩形，不管填1还是2都会有两个解，这与数独唯一解的规则不符。12x….121212唯一矩阵1若右下角为1或2则终盘中这4点可交换从而导致终盘不唯一，故右下角不能为1或2，删减之。注：要求4个格占据两行两列两宫。仅限于在两个宫内，分在4个宫内的不是。这才刚用到数独唯一解这个性质，如果有的网站出的题有多解就不能用这个了ABCABCABAB唯一矩阵形2由于Roof两格不能为AB组合，故Roof中必包含C，与Roof两格属同一规则的其它格中辅数C被删减。FloorRoofCCABCABABCABC2B，竖着的样式ABCDABCDABABCDCDCD数对扩展ABDABCABABCDECDECDE三数扩展ABCABABCABABDEABABCAB4B，两个都是C也不是必需的，在CD中必选一即可。ABCXABEFABABABM唯一矩阵3（隐形）Roof只有3组含AB，如是M则前两组必为AB组合，故不是M，M被删减之。唯一矩阵4(自宫)由于不能是AB组合，则C必存在于此，那AB必舍其一，就看哪个必需了。如果A是强链就删B害不了别人就害自己吧这个东西也有二数三数的扩展空矩型EmptyRectangle(ER)如果一个宫内的4个角都不包含此辅数，它就叫空矩形。叫四角空更好。CDBA当十字中心C与一个强链AB组成矩形时，删减D矩形的变化若辅数在行上-~A-B-~D,，若在列上则~D，故D上的辅数删减。yaxaAL:在一个规则中的两个格（或多个）通过一个中间量a传递，在此规则中x或y至少有一个存在，即：如果不存在x则存在y，反之亦然。ybxaxyaAyx这样记录一个ALS集AaAyxbByx*ALS:两个AL集(AB)，若同色端点(a)在一个规则内，则另一个颜色的两个端点(b)所在规则交集上的格(*)同一辅数可以删除。x,yAbaaAyxbByz*xzCcALS(AmostLockSetRule)+-------------------+-------------------+-------------------+|4591%479|%783%89|2%586||59569679|2782894|^35135813||832|561|794|+-------------------+-------------------+-------------------+|*1397*139|645|81231239||628*134|9287|^34135||242895|2381238|^4967|+-------------------+-------------------+-------------------+|7439|232596|12358||1235925691369|425892389|35697239||235925698|17239|35694239|+-------------------+-------------------+-------------------+A={R4C1,R4C3,R5C3}B={R2C7,R5C7,R6C7}C={R1C3,R1C4,R1C6,R1C8}x=9y=5z=47,8,9|4---C---5::::45/\1,3---AB---3,4\/9...*...9*=r4c9#9,r6c2#9canbeeliminatedsudoku.com下的一个例题，A集一端是r4c1r4c3(找交集时看做一个格)，另一端r5c3，B集由34两个数传递，两端是r2c7和r6c7，C集由789三个数传递，两端分别是r1c3和r1r8。若A中r4c1r4c3中包含9则r6c2,r4c9不包含9；若A中r4c1r4c3不包含9，则A集包含4(r5c3)则C集不包含4,由AL定义C集包含5，由于C集包含5(r1c8=5，弱链)则B集中不包含5,由AL定义B集中包含9则r4c9,r6c2不包含9,故：r4c9,r6c2中的9删减。Sue-de-Coq(Two-SectorDisjointSubsets)ABCDEABCDABECDE1,在一个宫的三个格（M组）里（同一行或列上）只包含5个候选数；2,它们所在的两条规则（宫，行或列）各包含其中两（不重复）；3,在这两条规则其它格里的这两个和5个候选数中的另外一个被删减。证明：由于AB在存在，组M不能同时包含A和B，同理也不能同时包含C和D，因为三个格要填三个数，所以三个格候选数为{E、AB中的一个、CD中的一个}，则与AB格所在的同一规则中，组M和AB必然包含{ABE}故此规则中所有候选数ABE删减，同理与CD格同一规则中的候选数CDE被删减。AlignedPairExclusion(APE)这个东西确实不好说，叫列举吧。X,Y可有以下几种可能组合：1.3,22.3,5（不可能，这样B就无数可填了）3.5,24.5,5（太不可能了）5.7,2（不可能，这样A无数填了）6.7,5（不可能，这样C无法填了）剩下可能的组合是：3,2；5,2；结果X可填3和5，7被删减Y只能填2，5被删减。BUG(BivalueUniversalGrave)principle定义：BivalueUniversalGrave(BUG)全双值坟墓：在所有未解开的格子里都有两个候选数，如果一个候选数出现在某个规则里，它一定出现两次。BUG-Lite：它的局部是BUG，即如果去掉某些单元中的某些候选数，它就是一个BUG。poly-valuedcell聚值单元：在BUG-Lite里，候选数多于两个的单元。LocalizedBUGMove(LBM)：在单元格中选择一或两候选数使它成为一个BUG。non-BUGcandidate非BUG候选：在LBM中被选出的那些候选数，所有的这些值不包含在BUG内。BUG+n：一个BUG包含n个聚值单元，BUG+1即有一个聚值单元的BUG。原理：BUG的出现将导致有零或多于一个的解，这与数独唯一解的规则相悖，所以BUG是