猜数问题的研究
时四个数始终在减小，因此经过有限次推理之后，必然达到“终结情形”。 而对于第一种推广情形，即n?4,m?3，必然有人能猜出自己头上的数。
因此n?4时的一切情况，必然有人能猜出自己头上的数。
由于现在的推理在加强判定的情况下，依然可能出现多种考虑情况。所以推理已不是线性的推理，整个推理过程将成为树状结构。
由于分组情况繁多，而且判定方式也比较复杂，因此这时计算f?A1,A2,?,An,k?的值已经非人力能够解决，但是已经可以编程解决问题了，参见源程序3。
结束语
本文深入地分析了一个逻辑推理问题，从综观全局的角度来考虑问题的本质联系，而非一味单纯地从每个人思想出发，简化了最烦琐的“思维嵌套”，并在此基础上建立了递推关系，因此避免了问题规模随着推理次数急剧增长，有效地解决了问题。并通过对比将问题推广到更为一般的情形，尤其对于第二种推广情形，存在极为烦琐的讨论，但其讨论问题的核心思想是一致的。对解决逻辑推理的问题提供了一种可以借鉴的方法。
参考文献
《CTSC2001分析》
《算法与数据结构》 傅清祥 王晓东 编著
第21页 共21页