设空格数为m，空列数为n，可移动列表牌数上限为N。
情况1：将列表移至空列处，此时N＝m+1,与n无关。
情况2：将列表移至某一牌列下，此时N＝(m+1)×2^n。
（定义）空列：即下方8列中没有牌的一列。
单列：即下方8列中只有1张牌的一列。
看N的表达式，m为线性因子，n为指数因子。直觉上讲，n比m来得重要。
结论：将单列中的牌移至左上角中转单元（即空格）中（假设还有空格），总是有利的。
证明：当m+n为定值时，N与n同增减。
由于我们讨论的问题是将单列中的牌移至中转单元，为了使我们讨论的问题有意义，规定m≥1。
pf:设m+n＝p，则m＝p-n，将N表示为只关于n的函数并求导，令其大于0，得出p-n＝m＞((1/ln2)-1)，这个条件在m≥1时是恒成立的，因此N关于n导数恒正，N与n同增减得证，于是证明二字上面的结论得证。
证毕。
情况1：将列表移至空列处，此时N＝m+1,与n无关。
情况2：将列表移至某一牌列下，此时N＝(m+1)×2^n。
（定义）空列：即下方8列中没有牌的一列。
单列：即下方8列中只有1张牌的一列。
看N的表达式，m为线性因子，n为指数因子。直觉上讲，n比m来得重要。
结论：将单列中的牌移至左上角中转单元（即空格）中（假设还有空格），总是有利的。
证明：当m+n为定值时，N与n同增减。
由于我们讨论的问题是将单列中的牌移至中转单元，为了使我们讨论的问题有意义，规定m≥1。
pf:设m+n＝p，则m＝p-n，将N表示为只关于n的函数并求导，令其大于0，得出p-n＝m＞((1/ln2)-1)，这个条件在m≥1时是恒成立的，因此N关于n导数恒正，N与n同增减得证，于是证明二字上面的结论得证。
证毕。
