围棋合理变化数目的继续思索（1）

这篇文章里我讨论了一些围棋合理变化数的问题，末尾提出了关于V(n)/3^(n*n)的极限问题。我开始感觉它会大于0.5，但后来在论坛上，有人提出应该是0。我自己试图找出一些证明方法证明不是0，但都不成功。现在我也越来越倾向于这个值是0，但仍然没有一个完满的证明。下面写出目前我现有的几种思路。

一种方法是考察合理变化的数量。比如，棋盘上先摆黑子，那么只要不摆满，都是合理的。N*N的棋盘，摆p颗黑子，有C(p,n)中摆法。然后可以朝棋盘上摆白子，考虑如何摆了白子仍然保证棋盘是合理的。比较简单的想法是，摆入的白子都不与黑子相邻，这样局面肯定是合理的。P颗黑子最多有4*p个相邻点。所以有n*n-4p个点，白子可以随意放入或不放入，共有2^(n*n-4p)方法。所以总的合理局面至少是 C(p,n)* 2^(n*n-4p)，其中p从0变化到n*n，各项累加（用Σ表示会比较清晰，但这里无法输入）。但这一估值太小。我尝试了其他其中估值方法，但总摆脱不了极限是0的问题。当然还可以考虑其上限是多少，但我现在没工夫想了。

另一种想法是考察不合理变化的数量。比如，棋盘左上角摆一个黑子，再用两个白子围住它，成为“死形”，这样棋盘其他地方任意摆放都是不合理变化。所以n*n的棋盘上，不合理变化(记作D(n),D=Dead)至少有D(n)>=3^(n*n-3)，这样D(n)/3^(n*n)>=1/27。看到这个结果，我不禁感叹，如果V(n)也有这么简单的推算就好了。但现在这个结果对我们帮助不大，因为我们的目标是证明D(n)/3^(n*n)等于一或小于某一常数。

还有一种思路就是建立合理变化与不合理变化之间的一对n或n对一的关系。如果有这种关系，马上可以知道V(n)/3^(n*n)大于等于0。我觉得这种思路很有希望，可惜这种关系仍然不是很容易建立的。

先记录到这，等待后续……