講演抄録/キーワード |
講演名 |
2015-09-01 14:30
系列二分決定グラフを用いた全頂点対ウォークの列挙と索引化 ○青木洋士・安田宜仁・湊 真一(北大) COMP2015-21 |
抄録 |
(和) |
本稿では,グラフ中の任意の2点間のウォークの列挙・索引化を行う.頂点の重複を許さないパスの列挙・索引化はZDDを用いることで効率よく実現できることが知らている.この手法では,ZDDは重複を考慮しない辺の組合せとしてパスの集合を表現することで,パス集合を自然に表現することができる.一方,頂点の重複を許したウォークの集合は,ZDDで表現することが困難である.そこで,組合せ集合を表現するZDDを系列集合を表現できるように拡張したSeqBDDを用いて,ウォークの集合を表現する.また,任意の頂点対のウォークの数は隣接行列の乗算により求めることができることが知られている.本稿では,隣接行列の非ゼロの要素をSeqBDDとした行列 (SeqBDD行列)を導入する.SeqBDD行列の乗算を通して任意の頂点対のウォークをSeqBDDとして列挙・索引化する手法を提案する.さらに,構築したSeqBDDに対してのSeqBDDの絞り込み演算や数え上げ演算の手法を実験結果とともに示す. |
(英) |
This paper presents a method for enumerating and indexing all the walks between any two points in a given graph.
It is known that paths, which contain each vertex at most one time, can be enumerated and indexed with a Zero-Suppressed Binary Decision Diagram (ZDD) based methods.
Since a ZDD efficiently handles a family of sets, the methods naturally represents a set of paths by regarding each path as a set of edges.
However, ZDDs are hard to represent walks, which may contain same vertices more than one time. We consider representing walks by SeqBDD, which is a data structure that compactly represents a set of sequences. It is also well known that the numbers of walks between any two vertices can be calculated by a series of multiplication of an adjacent matrix. We propose an extension of an adjacent matrix called SeqBDD matrix. Instead of usual numbers, non-zero elements in a SeqBDD matrix are filled with SeqBDDs. We specify that multiplication of the SeqBDD matrix can enumerate walks and index them as SeqBDDs. We also present some operations such as narrowing down the resulting SeqBDDs and counting with some experimental results. |
キーワード |
(和) |
系列二分決定グラフ / ウォーク / / / / / / |
(英) |
SeqBDD / Walk / / / / / / |
文献情報 |
信学技報, vol. 115, no. 205, COMP2015-21, pp. 35-39, 2015年9月. |
資料番号 |
COMP2015-21 |
発行日 |
2015-08-25 (COMP) |
ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
PDFダウンロード |
COMP2015-21 |