講演抄録/キーワード |
講演名 |
2015-03-09 11:10
ハイパーグラフにおける極大独立集合列挙のためのZDD構築手法 ○菅谷輝治(放送大)・戸田貴久(電通大)・湊 真一(北大) COMP2014-45 |
抄録 |
(和) |
本研究では,ハイパーグラフの極大独立集合を列挙する効率的な手法を提案する.
提案手法では,ハイパーグラフの頂点を効率よく削除,復元するためにDancing links と呼ばれるデータ構造を採用し,合わせて解の索引付のためにZero-suppressed binary decision diagrams (ZDD) と呼ばれる圧縮手法を用いる.
提案手法は,ハイパーグラフの全ての極大独立集合を列挙する厳密解法である. |
(英) |
In this paper, we present an efficient algorithm to enumerate maximal independent sets in hypergraph.
In the presented algorithm, we employed data structure Dancing links to efficiently operate removal and restoration of hypergraph vertices and Zero-suppressed binary decision diagrams (ZDD) for indexing solutions.
Our algorithm provides exact method to enumerate all independent set of a given hypergraph. |
キーワード |
(和) |
ハイパーグラフ / Dancing links / ZDD / 列挙問題 / / / / |
(英) |
Hypergraph / Dancing links / ZDDs / Enumeration / / / / |
文献情報 |
信学技報, vol. 114, no. 509, COMP2014-45, pp. 19-27, 2015年3月. |
資料番号 |
COMP2014-45 |
発行日 |
2015-03-02 (COMP) |
ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
PDFダウンロード |
COMP2014-45 |