可分组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一设计存在的充分必要条件，并顺便解决了最大可分解填充，最小可分解覆 盖和一类一致可分解3_平衡设计的存在性问题，证明了这些设计存在的必要条 件也是充分的。 作为3．平衡设计理论的应用，本文研究了组合群试和光纤网络领域中的 两个公开问题。第四章彻底解决了由Jimbo等人提出的斯坦纳四元系的区组 序列问题。该序列的元素和相邻并的集合所构成的码具有很好的纠错能力。 在DNA实验室，这类序列被广泛应用于具有连续阳性显示的可纠错的组合群试 中。第五章对于波分复用fWDM)光纤网络中最优容错路的设计进行了研究，成 功地将最优容错路的设计问题转化为一类具有特殊性质的再．设计的大集问题。 vi ZHEJIANG 利用3一平衡设计理论和可划分烛台型设计，本章几乎解决了整个最优容错路设 计问题的三分之一。 关键词：BSCU，烛台型设计，容错路，H一设计，H一标架，LELD，可分解，斯坦 纳四元系 Abstract divisiblet-wisebalancedareofutmost incorn- Group designs importance have usedin areas．Fort=2． binatorial been theory,andwidely many design divisiblewereanessential intherecursiveconstructions group designs ingredient theseminalworksofWilsonand ofthefoundersofcorn— usedin Hanani(two binatorial establishedandsufficientconditions design necessary theory)，which for balanced workhasbeendoneon theexistenceofpairwise designs．Much such definitionsfor of divisiblede— designs．Fort=3，．two 3-analoguesgroup and divisible werefirst