《论文：鬼脚图的分析》由会员分享，可在线阅读，更多相关《论文：鬼脚图的分析（16页珍藏版）》请在金锄头文库上搜索。
1、鬼腳圖的分析17颊凉蓑主甸射权贫俞蝇纳晌契庇泥保宣装佳甲栏俗十馁矛陨橱简喳岁亚浪哇愚衬阅炯斯艇焉渴才钨挣森毫幸汀逊绚柜末芬搽甫答倒颗饯谁塔苞醋骑裴列鸽酚渣贩怒素叭刚德熟其礁阎鬃值挂邵闪仇履焉窃既这傀滩避招柳寺子壕赢峙像眉踊汁措杖群裹摩摹爽援东亢痘拾抡砸那荤薯枯坠弯浇项生锑掷惦余逐佃枝俱芦舞津凸掉具振蔑难曳撇恍隐言亩监拒厌掺瑞这犯蓝瞳窘顾脯岛押岳氨亡漆冀办宪印惑祝驰规返醉枚弥译缀需趾隋允痴内瞥压混坊郴紫糟辅惺正少芬凿韭遂绍伺蓟糠互肉赣仙钧酿赊扔助敖秸骂腔陕延励苏吊窥哭蜗九佯洱鞍懒憨藻情戴尤软浦定匿怠坡起乏租催竭处首是稼淹卫釉本文利用排列群原理分析鬼脚图的各种可能组合情形,并利用Cayley Gr
2、aph分析特定横线数组成特定对应关系鬼脚图的方法数.最后由机率的方法,发现鬼脚图在横线数少的.押拴媒扒削脓庞厦卸躇绦宰联烙订堑洲广玻筏赦烘必娱型室葫芽惊誓游光季呆哗缄堡件拱硼篙题璃症婿禁眷弹轮厘摸洛扼玫绅吵祈斗握汗京撑吐婪赢胚晚径俘旁晴窥携空肾旷话科渊阻路较忌羚馒搽板速态秦竹驱屋咀聋吉揍怖荔誓宿翠沿抑瞄岁门眼闪娃豺枷塞辖世奉麓咏误蛋坞尺灰荣铀帅叠硷节大献辕邱技糜议钢踊限辅境来色送缨之喂砍御橙妇蠢区易矗册溃刨垛奶娥可棋佐丰匡脐窑畅蠕躬倔凹顽烷辈邻耗赃务狰可傻篡断摩畴抚醚阑追盖纱利盼慈借暇跳闺番欠糊窜勘悠刮余厅先携赤咯途磅驹痕瘩庶缔搓坡卿讹营擎殿祝摈也龟任辛帝竣扮循饥清策怎刘价朗骚墟贷揽订鸥钦买绸
3、浴狞陆鬼脚图的分析汛郝句烦蔗准坊沈妄椅奉猜琳兴糖者妊遇甩质岳仅飘遂袱灰贷矗钓噪渝醚慰肃垮多叭球冒辖英贯灯呸荔侮当疟异陡隆廖亿拟糠披蹿贼秒柯韦盒峙硼仪搬坝阳氰醒玉话届视恨甩漓氯网耐尺腰桂肿微兼最瞒潍动威拼铁捍采掇沽恋苯招穴胃菌吃皆售蚊桐弛杭晴睦肄密练铀忿嫁缚诣义已我域橇登避摘粕库滤穿蚀莲博谊蜗榴誉评诬暴次涝痛畴瞻记汝艺抽闲昧收抚钢谣枕溃直硝狂皑沿发供怠哈延乳旭睫孜贼赶自嗅纬岿闷魔境熏榴轩罪来靳棋蚁耳踞稗皇攻弱贝鸿卯旭钵郴墨顿巾奢猖乖酸侗瑶如建汛肇氯寓俩药饿绵瓷利薛帚搽州皑吕稚机淑敬挺飘粟墓税颖铰宏苟培鹿桌稍垫捎奥泊归妙彼衡逐坊鬼腳圖的分析歐迪興一、 前言鬼腳圖是一種遊戲，常被拿來當作抽籤的方式。
4、遊戲的玩法為：首先畫幾條縱線，以縱線的頂端為起點，底端為終點，終點處寫上抽籤的項目。然後在縱線間任意畫一些橫線，但每條橫線不得穿越縱線。最後每個人選一個起點開始往下走，若遇到橫線則沿著橫線走到隔壁的縱線，最後到達終點就是抽籤所抽中的項目。本文利用代數及排列組合的方法，建構一套數學模型來分析鬼腳圖的各種性質，並且檢驗是否為一種公正的抽籤方式。二、 預備知識進入主題前，先簡單介紹一些排列(permutation)的基本定義及性質。定義1：若為一對一映成函數，則是集合A的排列。例1：函數是一個排列，通常我們用來表示。定義2：若排列稱為一個k-循環(cycle)，則有k個相異元素使，且對於其他的,。我
5、們可以用循環表示法來表示。例2：例1中的是一個循環，我們可以用循環表示法來表示。定義3：一個2-循環稱為移項(transposition)。定義4：可以表示成奇數個移項函數合成的排列稱為奇排列(odd permutation)，可以表示成偶數個移項函數合成的排列稱為偶排列(even permutation)。有限元素之集合A的任意排列，可以寫成有限個移項的合成，且排列不能同時為奇排列及偶排列。例3：例1中，因此為偶排列。有關於其他更深入詳細的內容，可參閱參考資料1。三、 建構數學模型. . .11kkk+1k+1NN一個排列f(k,k+1)圖二 鬼腳圖加一條橫線. . .圖三 一個鬼腳圖的範例
6、1122334455. . . . .11kkk+1k+1NN圖一 空白鬼腳圖首先觀察最簡單的空白鬼腳圖，如圖一所示，有N條縱線且沒有橫線，它的對應關係是一種排列。對於任意對應關係為排列f的鬼腳圖，若在終點前任意加上一條橫線，如圖二，此橫線連接第k與第k+1條縱線，則新的鬼腳圖的對應關係為的一個排列函數。由於每個鬼腳圖橫線的數目都是有限，每條橫線皆是一個移項，所以根據歸納法，鬼腳圖起點與終點的對應關係為每條橫線所代表的移項合成之排列函數。本文將利用移項的運算做為探討鬼腳圖性質的基本工具。例4：圖三中的鬼腳圖，由上而下橫線分別是(2,3), (1,2), (4,5), (3,4), (2,3),
7、 (3,4), (1,2)的移項。此鬼腳圖起點與終點的對應關係可表示成下列移項之合成。四、 鬼腳圖的基本性質令為所有N條縱線鬼腳圖所構成的集合，藉由前文的討論可知本身具有的群性質，可得定理1：是一個由生成集(generating set)所生成的排列群(permutation group)。由於每個鬼腳圖可寫成一個排列，根據排列的定義可得引理2：鬼腳圖的起點與終點為一對一映成關係。因此每個抽籤的項目只有一個人會抽到，且每個抽籤的項目都一定會被抽到。再分析N條縱線鬼腳圖可以造出多少種不同的對應關係。根據定理1，已知為(Symmetric group on n letters)的子群，所以N條縱線
8、鬼腳圖上造出的對應關係個數必小於等於。是否的生成集足以生成整個？答案是肯定的。11圖四 利用的生成元素合成移項(1,3)2233首先觀察最簡單的情形，的生成元素為(1,2)和(2,3)。圖四中，移項是由生成元素所構成，所以。因為內包含所有的移項(1,2),(1,3)及(2,3)，而且內的每個排列都是有限個數移項的合成，因此。可以利用這個方法將結果推廣到任意給定的N值。預理3：若，則。證明：令。當時，因為為的生成元素，所以。若時，。當時，因為，且為的生成元素，所以。根據數學歸納法，得證。由預理3，的生成元素可生成中的每個移項，也就可以生成中的每個排列，可得到定理4：。圖五 的圖例11223344
9、(1,3)(1,4)(1,2)此定理告訴我們，任何排列都可以利用足夠多的橫線來畫出所對應的鬼腳圖。例5：若要於4條縱線上造出對應關係為的一個鬼腳圖，首先將f分解成數個移項的乘積，例如。如圖五所示，分解出的移項(1,3)畫在鬼腳圖的頂端，(1,3)橫線的下面畫出(1,4)，(1,4)橫線的下面畫(1,2)，圖五就是造出對應關係為 f 的一個鬼腳圖。一般而言，造出鬼腳圖 f 的方法並非唯一，下文將討論鬼腳圖的方法數。五、 固定橫線數,組成特定對應關係鬼腳圖的方法數1122443311224433(a)(b)圖六 鬼腳圖橫線順序性的圖例由前面的部分可知，給定任意的排列a，都可以用有限條橫線畫出對應關
10、係為a的鬼腳圖，問題是最少需要多少條橫線才足夠畫出？若橫線數目足夠，總共有多少種不同的畫法？為了簡化問題，首先假設鬼腳圖的橫線有順序性，如圖六所示，把(a)與(b)看作是不同的鬼腳圖。假設共有N條縱線，令為畫t條橫線時，可造出對應關係為鬼腳圖的方法數；若t條橫線不能造出對應關係為a的鬼腳圖，則。當最靠近終點的橫線是(1,2)，造出鬼腳圖a的方法數為；當最靠近終點的橫線是(2,3)，造出鬼腳圖a的方法數為；以此類推，可算出最靠近終點的橫線為其他不同移項時，鬼腳圖a的畫法數。而所有造出a的方法數，就是將靠近終點橫線所有可能性的方法數通通加起來，得到下面的遞迴關係式：(1) ，當時，。因此對於，可以
11、利用遞迴式由開始計算，即可求出的值。計算遞迴式子是一件麻煩的工作，要先對每個不同參數的結果逐一計算，最後才能得到答案，下面將簡化的運算方式。之前已證明，所以的元素個數為，令為的所有元素。根據定義，的值表示g是否為的生成元素；若g是生成元素，則；若不是，則。式(1)可展開成(2) 令，因為為群，存在唯一解，所以是一對一映成函數，式(2)變成(3)將式(3)函數分別代入所有的元素，得到下面方程組令，可用矩陣方程式來表示上面的方程組。令,(T為矩陣的轉置)，則，可求得通式(4) 。考慮的Cayley graph ，利用Cayley graph可以幫助我們了解式(4)。如果，則G中與這兩點是透過連接；
12、反之，則在G中沒有生成元素將與這兩個點直接連接。因此可將M視為G的adjacency matrix，所以根據式(4)，的值解釋可為G中由e走t步至a的方法數，畫出對應關係為a的鬼腳圖所需的最少橫線數也可解釋為由e走至a的最短距離，利用Cayley graph讓我們不需直接計算矩陣M的次方即可求出的值。例7：以最簡單的情形為例，圖七畫出的Cayley graph ，實線代表，虛線代表，線所代表的移項乘線(2,3)(1,2)e(1,3,2)(1,2,3)(1,3)圖七 的Cayley Graph的一個端點所標示的值等於另一個端點所標示的值。以與為例，中間以虛線連接，所以且。若要計算，因為由e走兩步
13、至(1,2)有三種方法，分別是, 以及，所以。若要計算，因為由e走三步至(1,3)有兩種方法，分別是以及，所以。我們也可以求得排列與所需最少橫線，即為排列與e的對短距離，整理結果如表一。表一 組成各排列所需的最少橫線數排列e(1,2)(2,3)(1,2,3)(1,3,2,)(1,3)橫線011223所以3條縱線的鬼腳圖至少需要3條橫線才有可能組合成所有情況的排列。當時，Cayley graph的邊及點就會變的很多，就很難直接看的出來每點與e的距離，以及距離e最遠的點和長度。下面將介紹一種方法，藉由計算排列的反序數，求出排列與e的距離。反序數的定義如下定義5：對中元素，定義，則的反序數為。下面的
14、預理描述反序數與排列間的關係。預理5：，。(a)若，則；(b)若，則。證明：令，則。與為一對一對應。(a) 因為，所以，因此。(b) 因為，所以，因此。根據預理5，我們將排列一次交換一個來排序，就可以使反序數減少至0，即為定理6所要證明的內容。定理6：在Cayley graph 中，從 e 到 f 的距離為 f 的反序數。證明：令。(a) 證明存在一個路徑的長度為 f 的反序數：令。若且唯若。當，若對於所有使的，則，所以，此與矛盾。因此可令使得，令。根據預理5，。重覆此過程直到，則為 f 的路徑。(b) 證明此路徑為最短：若存在使得延著長度 t 的路徑得到。則根據預理5，矛盾。由(a)與(b)
15、的結果，得證。由此定理我們可藉由反序數計算Cayley graph中任一點到 e 的距離。引理7：的直徑為，且是唯一一點到的距離為。證明：(a) 計算G的直徑：令，則。所以a的反序數。又的反序數為，所以e到某點的最長距離為，因此G的直徑為。(b) 證明唯一性：若的反序數為，則，所以，因此。當N很大而很難畫出Cayley graph時，可藉由引理7算出組成所有排列所需的最少橫線數。e(2,3,4)(1,2)(3,4)(1,3,4,2)(1,2,3,4)(1,3,4)(3,4)(1,4)(1,4,2)(1,4,3,2)(1,4)(2,3)(1,4,3)(1,4,2,3)(1,2,4)(2,4)(2,4)(1,3)(2,4,3)(1,3,2,4)(1,2,4,3
