https://tieba.baidu.com/p/4752644248
【连线类谜题】Snake（蛇）
第14楼
NO.001 数墙蛇
在线玩的链接中，我将圆圈换成了问号。效果一样的。
http://pzv.jp/p.html?nurikabe/10/10/.jfk.p.n2g.n5g.p.g1n.g2n.p.k4j./英文规则：https://tieba.baidu.com/p/4752644248
Rules:
Variation of Nurikabe.
Shade some empty cells black so that the grid is divided into white areas,
each containing at most one number.
A white area with a number must have the same area in cells as that number.
White areas may only touch diagonally.
All shaded cells must be connected with each other,
but no 2×2 group of cells can be entirely shaded.
Also, all shaded cells must be divisible into snakes with the heads and tails given in the grid.
Snakes cannot cross each other.
1. 变种数墙。
2. 将盘面部分格子涂黑。未涂黑的区域，最多只包含一个数字，也可能没有数字。
3. 数字一定不能被涂黑，并且数字是白色区域的面积。
4. 白色区域不能直接相连，可以对角相连。
5. 涂黑区域必须直接连通。
6. 涂黑区域不能2×2
7. 所有的蛇头和蛇尾都是盘面给定的圆圈。
8. 所有的蛇不能相互交叉。
9. 和标准的蛇规则不同，蛇可以碰到自身。
具体见图例：

二楼
镇楼

变种数墙，除了存在无数字的岛这一个规则与标准数墙不同之外。
其他的数墙规则都通用。
蛇的规则基本不适用。
初始图

数字肯定是岛。
数字1直接确定。
所有的蛇头蛇尾都是墙。
岛之间用墙隔开。
得到下图：
不管数字2最后一格岛在哪里，数字2的斜对角是墙。
红箭头处是墙。
2×2墙，得红叉是岛。
得到下图：
看A格，肯定是蛇身的一部分，所以必定有进有出，需要有2墙和A相连。
看BCD三格，BC中是一墙一岛。
所以D一定是墙，才能保证A有两墙相连。
同理，D2也是墙。
得到下图：
2*2墙，得红叉是岛。
数字2确定。
得到下图：
红箭头都是唯一方向。
中间格已有2格相连，所以红叉不能连。
红叉标上挡板。
得到下图：

红线就2个方向可以连。
然后蛇头蛇尾已找到。
所以蛇确定。标上挡板
得到下图：
粉线是蛇身，只有2个方向可以连。
所以都需要是墙。
红箭头是蛇的一头，需要找另一头，也是墙。
得到下图：
2×2墙，得红叉是岛。
得到下图：
如果粉叉是墙，则2×2墙得粉圈是岛。
粉叉肯定是蛇身，只剩下2个方向，所以粉箭头肯定要连一起。
然后因为粉圈是岛，所以2个红线都要连粉箭头处那格。
粉箭头处那格，有3个方向要连，矛盾。
所以粉叉是岛。
得到下图：
红箭头就2个方向。
加上红线，这条蛇确定。
加上挡板。
得到下图：

一共5条蛇。蓝线3条已确定。
剩下粉线那条，只能连粉箭头那条。所以粉箭头那条要向上走。
左边和下方要加上挡板。
最后剩下红线只能连红线。
红叉是必经之路，肯定是墙。
得到下图：
2*2墙，得红叉是岛。
如果蓝叉是墙，则分两种情况讨论：
如果蓝圈是墙，则红圈都是岛，蓝圈只有一个方向，矛盾。
如果蓝圈是岛，红圈都只剩下1个方向，只能是岛。数字4面积矛盾。
所以蓝叉不能墙。
所以蓝叉是岛。
蛇要连通，所以红圈，蓝圈都是墙。
得到下图：
如果红叉是墙，则红叉只有蓝叉2个方向。得蓝叉是墙。
2×2墙得红圈是岛。
蓝叉只有蓝箭头这个方向，然后数字5面积不够。矛盾。
所以红叉是岛。
得到下图：
如果蓝叉是墙，则蓝圈是蓝叉的2个方向之1,也是墙。数字5矛盾。
所以蓝叉是岛。
得到下图：
蓝叉是墙隔开岛。
蓝叉只有2个方向，蓝箭头处是墙。
数字5占用红叉，数字5确定。
得到下图：

蛇沿着红箭头去找另一头。
2×2墙得红叉是岛。
得到下图：
B剩下另一头，A剩下另一头。
ACB或者ADB。
此处D在AB方向，要么有2条线连，要么有0条线连。
又因为D和4不能连。连线又不能是奇数。所以DE不能连。
如果F是墙，则E是F的2个方向的1个，E也是墙。数字4面积不够。
所以F是岛。
又因为ED不能连，所以E只剩下左边一个方向可以连。
所以E是岛。
数字4确定。
得到下图：
2*2墙，得红叉是岛。
红箭头是2个方向中的一个。所以红箭头处是墙。
得到下图：
2*2墙，得红叉是岛。
红箭头都是2个方向中的1个方向。
得到下图：
红叉处，要有挡板。
得到下图：

红箭头的蛇的一头，肯定要从红叉出来。
红叉是墙。
得到下图：
假设如果蓝叉是墙，分情况讨论：
如果粉叉是墙，则蓝圈是岛。粉叉只能连B，蓝叉只能连B。
B还要连蛇头，B有3个线头，矛盾。
如果红叉是墙，则蓝圈是岛。红叉只能连A，蓝叉只能连A。
A还要和左边的蛇头相连，A有3个线头，矛盾。
所以红叉，粉叉都是岛。
如果蓝圈是墙，则蓝圈只能连蓝叉。
又因为A是蛇头连蛇尾过渡用的。
所以A肯定连红叉或蓝叉，又因为红叉是岛，所以A要连蓝叉。
然后粉叉是岛，B也要连蓝叉。
蓝叉有3个线头，矛盾。
所以蓝圈是岛。
右边没有线头了，所以全是岛，都是15的岛，15的面积超出了。
所以蓝叉不能是墙。
蓝叉是岛。
A连红叉，B连粉叉。
得到下图：
同上面一样的证明，得蓝叉是岛。
然后红叉，粉叉是墙。然后蓝圈是粉叉的一个方向，蓝圈是墙。
得到下图：
数字15左边面积不够，沿红箭头连通2格。
得到下图：
红叉和蓝叉不能同时为墙。
如果红叉和蓝叉中有一个为墙，则是孤立的线头到了右边，死路。
所以红叉和蓝叉都是岛。
右边是死路，没有蛇，全是岛。
5 + 3 * 3 + 1 = 15
数字15已经15格。确定。
得到下图：

红箭头唯一方向。
2×2墙，得红叉是岛。
然后粉线连上，得到答案。