有序的三元系和它们的大集.PDF

有序的三元系和它們的大集 康慶德 一. 引言 本文是 “從西爾威斯特 問題談起”(見本 刊第十五卷第二期) 的一個續篇。 在那篇中, 我們介紹了幾類區組設計 (包括無序的和有 序的) 以及區組設計的大集問題。 這裡我們將 僅談有序設計, 特別是要介紹一下有序三元 系及其大集的最近進展情況。 首先, 讓我們再 重溫幾類有序三元系的概念。 設 X 是一個 n 元集。 X 上的一 個循環三元 指的是由三個有序對 (x, y), (y, z), 與 (z, x) 構成的一個 , 它被簡記為 x, y, z; 而 X 上的一個可遷三元 指的是 由三個有序對 (x, y), (y, z) 與 (x, z) 構成 的 , 它被簡記為 (x, y, z); 這裡, x, y, z 是 X 中的不同元。 注意, 由定義可見, 循環三 元 x, y, z 與 y, z, x, z, x, y 是同樣 的, 但可遷三元 (x, y, z) 與 (y, z, x) 及 (z, x, y) 卻一定是不同的。 事實上, X 中給 定的三個不同元僅可 成兩個不同的循環三 元 , 但卻可 成六個不同的可遷三元 。 從 圖的觀點看, 若將 X 中的元看作點, 兩個不 同元構成的有序對 (x, y) 看作是點 x 到點 y 這些有向三角形中的前兩個, 通常亦被記為 的一條有向邊, 那麼由 x, y, z 構成的兩個循 C , 而後六個則被記為 T T (即三點平移賽 環三元 和六個可遷三元 分別表示以下所 3 3 示的一些有向三角形: 程圖)。 1 2 數學傳播 十七卷四期 民 82 年 12 月 v 元集 X 的一些循環三元 構成的 A v ≥ 3, v = 6。 而 DT S (v) 與 HT S (v) 存 稱作是一個指數為 λ 的 v 階 Mendelsohn 在的譜都是 v ≡ 0, 1(mod 3), v ≥ 3。 三元 系, 如果 X 中任二不同元的有序對都恰 例1. X = {0, 1, 2, 3}, B = 被包含在 A 的 λ 個循環三元 中, 它被記 {0, 1, 2, 1, 0, 3, 2, 3, 0, 3, 2, 1}, 則 為 MT S (v, λ) = (X, A)。 X 的一些可遷 (X, B) 即是一個 MT S (4), 而若將 B 中各 三元 構成的 B 稱作是一個指數為 λ 的 v 區 的角括號 “ ”改為圓括號 “( )”, 則它將 階可遷三元 系, 如果 X 中任二不同元的有序 是一個 DT S (4)。 對都恰被包在 B 的 λ 個可遷三元 中, 它被 例2. X = Z5 = {0, 1, 2, 3, 4}, 即模 5 記為 DT S (v, λ) = (X, B), (註: 它亦曾記 剩餘類環, B={(i, i + 1, i + 2),(i, i + 2, i + 作 T T S (v, λ), 但為避免與其它設計