可分组3-平衡设计：实际及应用.pdf

摘 要 可分组t一平衡设计在组合设计理论中有着极其重要的作用，并且被广 泛应用于诸多领域。当t=2时，可分组设计是当年组合设计理论奠基 人Wilson和Hanani在构造成对平衡设计时所用的递归构造中不可缺少的组 成部分。这些设计已被广泛研究。Hanani于1963年第一次提出了两类亡=3时的 组设计给出了更全面的解释说明，使其适用于推广的Wilson(和Hanani)基本 构造，并用来构造3一平衡设计。其中可分组3一设计(下面称H一设计)在这个推广 的基本构造中起到了重要的作用。 斯坦纳四元系是一类特殊的H一设计，有关斯坦纳四元系的研究可追溯 简化证明，但现已知的证明仍很繁琐。可分解的斯坦纳四元系，即每个组的大 小都是1的可分解H一设计的存在性问题已经彻底解决。该工作是由Hartman，季 利均和朱烈共同完成的，前后持续了二十年之久。到目前为止，可分解H一设计 的一般存在性问题并没有新的结果。本文在第二、三章中不仅给出了斯坦纳 四元系和可分解的斯坦纳四元系存在性的另一种证明，而且几乎彻底解决了 可分解H一设计的存在性问题，并构造了一些型不一致H一设计的无穷类。由可分 解H一设计的存在性结果，第二章还给出了另一类亡=3时的可分组设计，即可分 解G一设计存在的充分必要条件，并顺便解决了最大可分解填充，最小可分解覆 盖