On resolvable packing RMP(3,4,ν) and covering RMC(3,4,ν).pdf

1、設(shè)v,λ為給定的正整數(shù)，K為給定的正整數(shù)集。D=(V，B)為一個(gè)二元組，其中V為一個(gè)v元點(diǎn)集，B為V的子集族。B中的元素稱為區(qū)組，并且對任意B∈B都有∣B∣∈K。若V中任意一個(gè)點(diǎn)對至多（至少）包含在B中的λ個(gè)區(qū)組中，則稱D為一個(gè)填充（覆蓋），并記為P(K,λ,v)(C(K,λ,v))。
　　 對任意點(diǎn)對e=｛x，y｝，x≠y，令m(e)表示含e的區(qū)組數(shù)。根據(jù)填充和覆蓋的定義，它們的邊集是一個(gè)多重圖G，它的點(diǎn)集為V，邊e的重?cái)?shù)即為

2、m(e)。由所有的邊e生成的重?cái)?shù)為λ-m(e）(m(e)-λ)的多重圖成為此填充（覆蓋）的邊剩余（邊超出）。
　　 點(diǎn)集V的劃分稱為平行類。若一個(gè)填充（覆蓋）的區(qū)組集可以分解為平行類，則稱它是可分解的。本文我們主要研究以下兩類可分解填充（覆蓋）。
　　 設(shè)v,k,λ為給定的正整數(shù)，且v≡k-1,0,1(mod k)。一個(gè)可分解最大填充（最小覆蓋）RMP(k,λ,v）(RMC(k,λ,v)）就是一個(gè)可以分解成最大（最小）可

3、能數(shù)量m(v)個(gè)平行類的可分解填充（覆蓋），并且它要滿足以下三個(gè)條件：
　　 （1）各平行類互不相同；（2）每個(gè)平行類包含「(v-k+1)/k個(gè)k長區(qū)組和一個(gè)v-k「(v-k+1)/k」長區(qū)組；（3）此填充（覆蓋）的邊剩余（邊超出）是一個(gè)簡單圖。
　　 一個(gè)設(shè)計(jì)稱為是單純的，如果它的所有區(qū)組不同。一個(gè)單純的Kirkman 填充設(shè)計(jì)（SKPD(｛3,s*｝,λ,v)）就是一個(gè)可以分解成最大可能數(shù)量m(v)個(gè)平行類的單純的可

4、分解填充，每個(gè)平行類包含「(v-s)/3」個(gè)3長區(qū)組和一個(gè)s長區(qū)組。
　　 可分解填充設(shè)計(jì)在統(tǒng)計(jì)學(xué)中有廣泛的應(yīng)用，如RMP(k,λ,v)和RMC(k,λ,v)設(shè)計(jì)可以用于構(gòu)造統(tǒng)計(jì)中的某些一致設(shè)計(jì)。在本文中，我們將利用frame、可分組設(shè)計(jì)和不完全填充（覆蓋）設(shè)計(jì)等來遞推構(gòu)造，同時(shí)我們也將利用計(jì)算機(jī)來輔助構(gòu)造一些小的設(shè)計(jì)，從而證明了對所有滿足必要條件的值，都存在RMP(3,4,v)、RMC(3,4,v)和SKPD(｛3,4*｝,3