数独领域的两个棘手问题_严德人_9787513038836

　　作为数独理论研究的经典之作，本书不仅给出了数字魔方的计算模型，还建立了17个给定数的数独库的模型，旨在帮助读者高屋建瓴地建立完整的数独知识体系，为今后更好地解析数独题目和编撰数独题目奠定良好的理论基础。*书分为两个部分共九章，*一章到第六章介绍了数字魔方个数计算，第七章到第九章的主题为17个数字数独的建库查库问题。此外，附录中给出720个展开向量与展开向量整数对照表等内容。本书内容丰富，概念清晰，阐述精辟，并配有光盘，对于数独爱好者来说是一本不可或缺的参考书。

　　前　言

　　九字标准“数独”已经是很多朋友离不开的爱好。我们把九字标准数独完成的结果称为九字标准数字魔方，简称数字魔方。大家知道，数字魔方是数独游戏的基础和最终归宿，那么如何生成一般的数字魔方，全部不同的数字魔方到底有多少，相信你一定很感兴趣。本书将告诉你如何生成最一般的数字魔方，以及全部不同的数字魔方的个数有多少。

　　几年前，本人的拙著《奇妙的数字魔方》也曾经介绍过全部不同数字魔方个数及其计算的问题，但是没有给出数字魔方等值定律的证明，因此，根据这些等值定律所计算出来的结果，在理论上，可信度受到影响。本书把数字魔方的等值定律简化成两个，并且给出了证明，还将141个大共轭组族扩大为61个超大共轭组族，大幅度地节省了计算量。最重要的是，本书在引进共轭向量，第一类共轭向量，第二类共轭向量，共轭组，进而对平行的三个九宫的三行和三列的三个展开向量构成共轭组，以及三个展开向量构成共轭组是展开得到两个九宫内数字不重复的充分必要条件等方面，讲得更通俗，更容易理解了。

　　一个数独题目，含自身在内可以衍生出1 218 998 108 160个不同的数独题目来，而且对衍生所得到的每一个题目与原题目的演变关系只需要用两个9位的整数来描述，这是怎么做的？本书会告诉你。

　　任意的两个数独之间的关系有无关和相关两种。相关的情况下，又分同族、同胎和同母三种，这是怎么区分的？读了本书，你就会知道。

　　前不久，爱尔兰都柏林大学的三位学者已经用电脑软件证明了要使数独题目有唯一解（当然，能称为数独题目，就应该只有唯一解），最少需要保留17个数字。目前已经发现彼此无关或者同母的17个数字的数独题目有4万多个，几乎每个题目（只有4个例外）都可以衍生出1 218 998 108 160个不同的数独题目，那么总共就有4.9×1016个不同的17个数字的数独题目，要为这么庞大数目的数独题目建库，并且放在不到3TB的移动磁盘内，这是如何做到的？此外，任意给出一个17个数字的数独题目，要在30min内检查出所给出的题目是否在这个庞大的库中。如果检查发现不在库中，将把它加入库中；如果在库中，还要给出用4万个数独题目中的哪一个题目，用哪两个整数可以衍生得到所给的数独题目？这些又是怎么实现的？读了本书，你也会知道。

　　随书附送一张光盘，此光盘中，分两部分，每部分都有三个软件包：第一部分为“数字魔方个数”，包括数字魔方生成程序、数字魔方衍生程序和不同数字魔方个数计算程序。这三个软件都是界面非常友好的交互式的程序，并且附有使用说明，希望用户能够满意。第二部分是“数独17衍生族库”，包括数独相关性检查程序、数独17查库增容程序和数独的衍生程序。数独相关性检查程序可以用来判别任意两个数独题目的四种不同的关系；数独17查库增容程序自带有14个题目的17个数字数独库和若干个演示题目，演示查库增容过程，其包括与库中无关或者同母，将其加入库中，若与库中题目同族，则不加到库中，对于同族和同母两种情况，还给出库中的题目及两个9位整数，将其衍生到给出数独的同母数字魔方；数独的衍生程序，介绍数字变换和有代表性的9种通用衍生，此程序既可以用来验证前两个程序的结论，也可以单独使用。

　　非常感谢中国数独专家、中国数独联盟和北京数独协会顾问、数独联盟培训师指导教师、中国科学院数学与系统科学研究院研究员常维宝先生能够为本书作序。

　　由于本人的水平有限，加之匆忙脱稿，书中难免有错漏之处，欢迎广大读者朋友批评指正。

　　严德人

你还可能感兴趣

我要评论