第二次校内培训-互斥集状态空间搜索.PDFVIP

培訓 -2 素集合とグラフ探索 素集合とグラフ探索 Kuroineko Ginnoneko September29,2013 1 Disjoint Sets Introduction 互斥集就是一些兩兩交集皆為空集合的集合，常常被用在處理「互斥」或是「分 類」的問題上。 實作 Disjoint set 時我們用樹來表示集合，一棵樹就是一個集合，以根代表整 個集合。 1.1 Find 我們有一個陣列 代表 的parent 是誰，若 是root 則它的parent 設為 自身，一開始每個 。 若要找尋 所屬的集合則迭代過 陣列就行了。 Algorithm1 NaiveFind 1: function Find(x) 2: if x ̸ p[x] then 3: return Find(p[x]) 4: else 5: return x 6: endif 7: endfunction find 的過程中若引入一個稱為Path Compression 的概念，則速度會加快非 常多。作法就是把遞迴途經的元素的parent 順便設成 root。 I 1.2 Union 素集合とグラフ探索 Algorithm2 Findusingpathcompression 1: function Find(x) 2: if x ̸ p[x] then 3: p[x] Find(p[x]) 4: return p[x] 5: else 6: return x 7: endif 8: endfunction 1.2 Union 把 和 所在的集合合併，只要把其中一個樹根指向另一個樹根就好了，就像 樹的合併一樣。 Algorithm3 Union 1: function Union(x,y) 2: p[Find(x)] Find(y) 3: endfunction 如果把每一棵樹的高度順便紀錄下來，合併的時候把小樹合併到大樹下，也就 是UnionBy Rank ，則複雜度會在低一點點。 1.3 Conclusion 若是同時使用 path compression 和 union by rank 兩種優化，則 Dis- joint set 的複雜度是 ，其中 是阿克曼函數的反函數，若是只 使用 path compression 作為優化，則複雜度是 log 。由於 和 log 的成長速率都非常小，且在競賽賽上 通常都不會太大，因此操作 Dis- jointset 整體的複雜度估計為 ，而且union by rank 其實加了跟沒加一樣， 寫起來又很麻煩，我從來沒用過。 1.4 Exercises 1. TIOJ1312 家族 給你很多組數字 ，代表 與 在同個家族。 現在給你一個數字 ，求 所在的家族中編號最小的是? II 2.Search 素集合とグラフ探索 2. POJ2492 雌蟲雄蟲 給你很多對關係 ，代表蟲 跟蟲 為異性。 請輸出是否有任何矛盾 (也就是有蟲為雌雄同體，ex: 、 、 )。 3. POJ1182 食物鏈 總共有 、 、 三種天使， 吃 ， 吃 ， 吃。 依序給你很多組關係 ，若 則代表天使 跟 是同類， 則代 表天使 吃 。 若