利用区间索引有效处理DAG之路径可达性查询.PDFVIP

The26thWorkshoponCombinatorialMathematicsandComputationTheory 利用區間索引有效處理 DAG 之路徑可達性查詢 余美伶 陳耀輝 陳宇達 科立爾數位科技股份有限公司 國立嘉義大學資訊工程學系 daisy.yu@ {ychen, s0960413}@.tw 摘要 善在查詢時過於耗費時間的問題，我們可以製 作遞移封包矩陣（Transitive Closure Matrix ），將 在諸多領域中，有許多的應用都是架構在有 有向無循環圖形中各節點彼此間的所有路徑關 向無循環圖形上，系統經常必須判斷圖形中的 係全部記錄在遞移封包矩陣，如此一來當系統 任意兩節點是否有路徑可到達。為了能夠有效 在處理路徑可達性查詢時，僅需要比對遞移封 地處理路徑可達性的查詢問題，本研究運用了 包矩陣中相關的路徑關係資訊便可以完成測 區間索引的編碼方式將遞移封包矩陣中的路徑 試，其所花費的時間成本為Ο(1) 。雖然這種方 關係記錄下來，並且發展出一套測試方法能夠 法在查詢處理時節省了大量的時間，但是利用 有效地判斷節點彼此間的路徑關係為何。主要 遞移封包矩陣來記錄圖形中所有的路徑關係卻 概念是先對有向無循環圖形任意取出一棵生成 會將儲存空間的複雜度提高到Ο(|V|2) 。當有向 樹，並且利用數值區間索引對生成樹做編碼， 無循環圖非常大時，此種方法就會變的不適 再將圖形中未走訪到的非樹邊路徑關係記錄在 用。由此而知，當路徑可達性查詢效能達到最 遞移封包矩陣中。若是兩節點間的路徑關係可 佳化的同時，將耗費龐大的儲存空間來記錄節 藉由生成樹的樹邊路徑到達，則僅需比對兩節 點間的路徑關係；相反地當儲存空間複雜度降 點的區間索引便可得知其包含關係。若是兩節 低時，路徑可達性查詢的效能也會因此而受影 點彼此間要透過樹邊路徑與非樹邊路徑才能到 響。因此在一個有向無循環圖中，如何能同時 達，則除了比對索引之外還要檢查遞移封包矩 達到儲存空間與查詢效能的最佳化，是個常被 陣中相關的非樹邊路徑端點（Tails 與 Heads ） 提出探討的議題。 關係記錄方能知道結果。此方法只需常數時間 在本篇論文中，我們將提出一個能夠有效地 就可以完成圖形中任意兩節點的路徑關係測 處理路徑可達性查詢的演算法，並且不需要耗 試，另外對於圖形結構的更新處理，也只需針 費太多的儲存空間即可記錄整個有向無循環圖 對局部的範圍作路徑關係記錄調整。 形的路徑關係。本文的文章結構如下，第二節 針對目前已被提出的圖形節點路徑關係查詢之 相關研究進行探討與比較，第三節描述我們所 1 緒論 提之方法以及核心概念，第四節呈現如何藉由 改變路徑關係的記錄模式以降低時間成本，第 在有向無循環圖形（Directed Acyclic Graph ， 五節主要探討圖形結構更新的問題處理，第六 DAG ）中，最常遇到的問題是任意兩節點間的 節為本方