区块的设计之介绍.docVIP

區塊設計之介紹 § 1.1 區塊設計之理論 組合設計是從一個有限集合中，選取出子集所成之集合，而此集合之元素滿足某些條件。若此子集含k個元素，我們稱此為k子集，在設計理論上稱之為區塊。為方便起見，我們將集合{a,b,c}記為abc，其它之集合亦同。如果x ? B，則我們稱元素x在區塊B中，或稱區塊B中包含有元素x。以下我們介紹二個簡單的設計。 問題 1.1：設V = {1,2,3,4}，求一個V中2子集之集合D，使得V中任2個元素恰好落在唯一的區塊中？ 答案： D = {12,13,14,23,24,34} 問題 1.2：設V = {1,2,3,4,5,6,7}，求一個V中3子集之集合D，使得每個元素出現3次，並且任兩個區塊的交集只有1個元素？答案： {123,145,167,245,267,346,357} 設V為v個元素之集合。一個在集合V上的區塊設計是V中k子集(稱之為區塊)所成之集合D，且滿足V中每個元素出現在r個區塊中（即每個元素出現r次）。為了方便，此區塊設計之區塊個數，我們用b表示之，且稱此設計(V, D)為(v,b,r,k)區塊設計。 定理 1.3：在任一個(v,b,r,k)區塊設計中，vr = bk。 証明：在(v,b,r,k)區塊設計D上，有v個元素，每元素出現r次，顯然此集合D共出現vr個元素，但從另一角度來看，D中共有b個區塊，且每個區塊中均有k個元素，顯然此集合共出現bk個元素。綜合上述二個觀察，我們得到vr = bk。 在集合S = {1,2,3}上的區塊設計有下列數種，D1 = {123}, D2 = {123,123}, D3 = {123,123,123},…。不過這些設計上的區塊就是集合S本身，且重覆選取此區塊，雖然它也是某種區塊設計，但我們對它較不感興趣。因此我們定義所謂不完全設計。一個區塊設計是不完全設計，如果區塊大小小於所有的元素，也就是k v。若k = v，則稱其為完全設計。對於任意在S中的x, y元素，?x,y是指同時包含有x, y的區塊之個數，我們稱之為x與y之共價數。例如：對於組合設計D = {123,456,712,345,671,234,567}，?1,2 = 2，即同時出現1與2之區塊個數有2個123與712，其他?1,3 = 1, ?1,4 = 0, ....，亦同。 定義 1.4：若一個不完全區塊設計，如果對在集合S中任取二個元素x與y，其共價數為一常數?，則稱其為平衡不完全區塊設計，簡稱BIBD (balance incomplete block design)，亦稱(v, b, r, k, ?)-設計。 例 1.5﹕ (7,7,3,3,1)-設計：{124, 235, 346, 457, 561, 672, 713}。 (7,7,4,4,2)-設計：{1234, 1256, 1357, 1467, 2367, 2457, 3456} (6,10,5,3,2)-設計：{123, 124, 135, 146, 156, 236, 245, 256, 345, 346} 如果? = 0（也就是同時出現兩元素之區塊個數為零），換句話說，即是在任一區塊中根本就沒有超過兩個元素的，這時區塊只有1個元素，亦即k ＝ 1。例如在集合S = {1,2,3}上,若? = 0，顯而易見的是區塊設計D = {1,2,3,1,2,3,1,2,3,1,2,3,...}。在這種結果下產生的區塊設計，我們並沒有太大的興趣，因此我們均設?0。 給一(v, b, r, k, ?)-設計(V,D)，它的對偶設計的定義如下：集合S為V中所有2子集所成之集合，(集合S共有個元素)，它的區塊是{xy | x ? B, y ? B, x ? y}，其中B? D。所以，此設計(V,D)的對偶設計之區塊個數亦為b個。新設計中每個元素均落入?個新區塊，且新的區塊之大小為個元素。 例 1.6：求(4,4,3,3,2)-設計之對偶設計，其中(4,4,3,3,2)-設計為{123,124,134,234}。 解：其對偶設計考慮在集合S = {12,13,14,23,24,34}上，而新的區塊將原區塊123換成{12,13,23}，124換成{12,14,24}，134換成{13,14,34}，234換成23,24,34。則其對偶設計為(6,4,2,3)區塊設計：{{12,13,23},{12,14,24},{13,14,34},{23,24,34}}但此設計並不是平衡不完全設計。因為?12,34＝0，但?12,13＝1。 定理 1.7：(v, b, r, k, ?)-設計之對偶設計是一種區塊設計，其所考慮之集合是個元素，共有b個區塊，每個元素落在?個區塊，而區塊所含的元素個數為。 定理 1.8：對於任一個(