LectureNoteforSDR-台大数学系.doc

相異代表系面面觀 國立臺灣大學　數學系 張鎮華 .tw/~gjchang/ 2004年7月7日　台灣大學數學營講義 １、緣起 　　相異代表系(System of Distinct Representatives, 縮寫為SDR)是1930年代的問題[1]，我們可以將它視為委員會推派代表的問題，也可以看成配對問題或婚姻問題，甚至叫做橫截理論(Transversal Theory) [2]。 　　在委員會推派代表的問題裏，某個團體中的一群人，組成若干性質不一的委員會，每個人可能參加幾個不同的委員會，視個人意願而定；問題是，能否每個委員會各推派一位代表出來共同議事；前題是，不同委員會推派系出來的代表要相異，這一些代表所組成的集合就是所謂的相異代表系。舉例來說，下面是四個委員會所組成的集合族： ， ， ， ， 在這個集合族中，我們可以選張三代表，李四代表，王五代表，趙六代表；或者說，這個集合族有一個相異代表系是(張三，李四，王五，趙六)。事實上，這個集合族恰好有兩個相異代表系，另一個是(張三，李四，趙六，王五)。在以後的討論裏，為了書寫的方便，我們改用符號或數字代替人名；例如，我們可以用3, 4, 5, 6分別代表張三、李四、王五、趙六，這樣我們就可以說，當，，，時，集合族恰好有兩個相異代表系，一個是(3, 4, 5, 6)，另一個是(3, 4, 6, 5) 。 如果我們要討論配對問題或婚姻問題，可以設想有n個女孩，是第i個女孩所喜歡而可能託付終身的所有男孩所成的集合，當作一個成功的月老，你的任務就是要在每個女孩喜歡的男孩中選出一位白馬王子，將他們配成一對，當然，二女不可同配一夫，所以就成了相異代表系問題。 　　一般來講，假如是一含有n個集合的集合族，F的一個相異代表系就是一個含n個相異元素的序列，其中對均成立。 　　並不是所有集合族都一定有相異代表系，下面這個例子就很明顯沒有相異代表系，因為只有a可以代表，只有b可以代表，結果就找不到代表了。 ， ， ， 。 　　大家可以感覺到，這麼一個看起來簡單的問題，答案也應該不難，(這其實是要看你想得到什麼樣的答案而定)。本文的目的，主要想借著這一個容易描述的題材，從數學及其應用的各種角度，來闡述數學發展的一個例子，它雖談不上絕對的代表性，卻可以看出數學發展的戲劇性及多樣性。數學傳播季刊早期有關相異代表系的文章請參見[3,4]。 ２、何氏定理及其證明 　　我們先從相異代表糸的第一個基本定理說起。首先，讓我們來看第三個例子，現在考慮含有下列由10個集合構成的集合族： A1 = {2, 3, 4, 6, 8}， A2 = {3, 4, 7, 9}， A3 = {2, 3, 6, 7}， A4 = {5, 6, 8, 11, 12}， A5 = {2, 4, 6, 8}， A6 = {2, 4, 6, 7, 9}， A7 = {3, 4, 6, 7, 8}， A8 = {1, 3, 8, 10, 13}， A9 = {2, 3, 4,7, 9}， A10 = {2, 4, 6, 8, 9}， 對於這個集合族，並不是一眼就可以看出答案為何，我們可以用窮舉法逐一嘗試，例如：先用2代表，3代表，6代表，5代表，4代表，7代表，8代表，1代表，9代表，這樣就找不到代表了；接著，再有系統地嘗試其他所有可能的情況，如此經過一段不短的時間，當我們把所有可能的情況都試過以後，最後的答案是：這個集合族沒有相異代表系。 　　我們或許會不相信這個結論，懷疑在冗長的檢驗過程中可能出錯，那麼我們可以再試一次，或者乾脆寫一個電腦程式幫忙檢驗。其實不必這麼麻煩，縱使不再重複這一個冗長的檢驗過程，下面這個說法很快就可以讓人相信，這個集合族的確沒有相異代表系。首先，去掉和這兩個集合，剩下的8個集合，如果將它們的元素通通拿出來，只有2, 3, 4, 6, 7, 8, 9這7個元素而已，所以不論如何分配，總是不可能讓這8個集合各自得到自己的代表。 　　更一般來說，一個集合族要有相異代表系，不可或缺的條件是，隨便拿出k個集合出來，其所含的所有元素通通算起來，至少要有k個。換個方式來說，如果你可以找到某m個集合出來，其所含的所有元素總共達不到m個，那麼這個集合族一定沒有相異代表系。 　　上述的條件不只是一個集合族有相異代表系的必要條件，其實也是充份條件，也就是說，滿足上述條件的集合族就有相異代表系，這就是1935年著名的何菲力定理(Philip Halls theorem)，現在也常被人稱為婚姻定理(marriage theorem)。 【何氏定理】 集合族有一個相異代表系的充分必要條件是，任意從F中選取k個集合，其聯集至少有k個元素。 　　到底是什麼樣的直覺使何氏相信