组型为glt;#39;tgt;ult;#39;1gt;的（Klt;,3gt;+e,λ）-可分组计划.pdf

目 录 摘要 设G是一个简单连通图，％。。为∑叁，啦个点上的完全多部图． 称它的组型为9；1…9挈，如果它所含点的个数为肌的分部(称为组)出 现ut次，这里i=1，2，…，m．A％。，。。为∑冬】啦个点上的A重完全多 部图，且规定它和％。．．。具有相同的组型．一个A尬。，。、的G一分解是 指将Aj％，。分解成若干边互不相交且与G同构的子图(称为区组)集 合．我们把它简记成组型为鳄1…g静的(G，^)一GDD．当G是一个k阶 完全图时，组型为1”的(凰，A)一GDD就是我们熟知的(口，≈，A)一BIBD； 组型为g‘的(j矗，A)一GDD就是我们常见的TD(k，A；g)． 对于给定的一个简单连通图G和完全多部图的组型，一个很自然的 问题便是什么时候存在具有该组型的(G，A)一GDD．本文主要讨论组型为 矿“1的(蚝+e，A)一GDD的存在性问题．有的文献中也把硒+e称为一 个kite．文献[2】中给出了组型为12的(凰+e，1)一GDD的存在谱；文 献『81中解决了关于Kite系的“Doyen-Wilson”问题，实际上也是组型为 ltul的(蚝+e，1)一GDD的存在性问题，其中满足t+ui0，l(mod8)， 且u1 0，1(rood8)．本文则完全解决了组型为gtul的(％+e，A)一GDD 存在的充分必要条件． 全文共分五章，第一章综述该问题的研究背景和当前的研究状况，并 且给出了组型为g‘u1的(飓+e，A)一GDD存在的必要条件．同时给出几 个有用的递归构造，另外在本章的最后一节我们将介绍几个主要引理． 从必要条件中可以看出想要求出任意A时组型为gtul的(虬+e，A)一 GDD的存在性，只斋解决A=1，2，4时的情形即可，因此在后面三章中 我们将对其进行一一讨论． 目 录 2 第二章中讨论A=1时的情形．主要是采用差法【7，10]解决一大类 U较大时的情形，之后用递归构造等方法处理U较小时的情形．从而证明 了其存在的必要条件也是充分的． 第三章中主要以类似于第二章的形式解决A=2时组型为9tul的 (坞+e，A)一GDD的存在性，证明了其存在的必要条件也是充分的． 第四章中主要是在第二、三章的基础上讨论A=4时组型为9tul的 (‰十e，A)一GDD的存在性，证明了其存在的必要条件也是充分的，除去 (9，t，u)≠(1，2，1)或(1，3，o)． 第五章，通过前面的讨论，我们得出本文的主要结论，即对于任意正 整数A，组型为gtul的(蚝+e，A)一GDD存在的必要条件也是充分的，除 去(g，t，Ⅱ)≠(1，2，1)或(t，3，o)，这里Ai0(mod4)． 关键词 (％+e，A)一可分组设计；循环部分(蚝+e，A)一可分组设 计；差法；基本构造 目 录 3 Abstract LetGbea andHacomplete simple．connectedgraph multipartitegraph． ofits AH the Hwitheach define denote edgesreplicated^times．We graph be ifithas 日to of type 9}鹾2…鳄5 the there ofsizefor multipartition，andare地groupsgl i=1，2，·t．，s． wedefineA日tobeof same asH．A of Th