克莱门·兰姆 计算机构造块设计。 （英语） Zbl 0881.05018号 Bailey，R.A.（编辑），《组合学调查》，1997年。第16届英国组合会议论文集，英国伦敦，1997年7月。伦敦：剑桥大学出版社。伦敦。数学。Soc.Lect（社会学）。注释序列号。241, 49-64 (1997). 这里我们有一个教程，引导读者使用BDX程序[L.Thiel公司和N.芬克，BDX参考指南，内部报告，康考迪亚大学（1994）]，以列举具有规定结构的块设计。所选择的例子是所有具有块交集数（4）和（6）的拟对称（2）-（28，12，11）设计，它们是由无固定点或块的（7）阶自同构所固定的。首先使用一个单独的程序来枚举所有可能的轨道矩阵（或战术分解）。现在选择其中一个作为BDX的回溯输入。如果没有同构拒绝和启发式搜索技术，搜索将不可行。7阶自同构的假设意味着设计的关联矩阵可以分为（4乘9）个（7乘7）个循环矩阵块。同构拒绝练习中的关键是使用保持循环矩阵的轨道矩阵和循环结构的置换。作者以非常详细的方式展示了如何使用这组置换（称为对称组）来执行同构拒绝。还讨论了\（a\）项的生成顺序如何影响搜索性能。BDX中有许多选项允许用户控制搜索顺序和生成的输出。我推荐这篇论文作为一篇优秀的介绍，介绍如何使用智能技术详尽列举街区设计。关于整个系列，请参见[Zbl 0869.00029号].审核人：P.Gibbons（奥克兰） 引用于三文件 MSC公司： 05年 砌块设计的组合方面 68卢比 计算机科学中的组合数学 关键词：块体设计;战术分解;回溯搜索;同构排斥;对称群;准对称设计 PDF格式BibTeX公司 XML格式引用 \textit{C.Lam}，伦敦。数学。Soc.Lect（社会学）。注释序列号。241、49--64（1997；Zbl 0881.05018）