講演名 | 2016-06-24 ゼロサプレス型二分決定グラフによる文字グラフの列挙 川原 純(奈良先端大), 斎藤 寿樹(神戸大), 吉仲 亮(東北大), |
---|---|
PDFダウンロードページ | PDFダウンロードページへ |
抄録(和) | ゼロサプレス型二分決定グラフ(ZDD)は、集合族をコンパクトに表現するデータ構造である。グラフが 与えられたとき、ZDD を用いて、問題に応じた様々な条件を満たす部分グラフをすべて列挙する枠組みが提案されて おり、フロンティア法と呼ばれている。本稿では、フロンティア法を用いて、指定した次数の頂点を指定した個数も つ部分グラフをすべて列挙する手法を提案する。さらに、ZDD として与えられた 2 つの集合族から共通な要素をも たないように(またはもつように)それぞれ集合を取り出して和集合を求め、それらを集めることによって得られる 集合族を表す ZDD を求める手法を提案する。これらの手法を組合せて、文字グラフと呼ばれるグラフの列挙を行う。 計算機実験によって文字グラフの集合を表す ZDD が構築できることを確認する。 |
抄録(英) | A zero-suppressed binary decision diagram (ZDD) is a compact data structure that represents a family of sets. A framework is proposed that enumerates subgraphs of a given graph satisfying various specified conditions. In this paper, an algorithm is proposed that enumerates subgraphs of a given graph which have a specific number of vertices of specific degrees. Some ZDD operations are also proposed to compute the family of sets which are the unions of disjoint/overlapping sets from two given families. Roman alphabet letter graphs on a given graph are enumerated by the combination of the methods. The performance of our algorithm is confirmed by numerical experiments. |
キーワード(和) | グラフアルゴリズム / BDD/ZDD / フロンティア法 / 列挙問題 |
キーワード(英) | Graph algorithm / BDD/ZDD / frontier-based search / enumeration problem |
資料番号 | COMP2016-8 |
発行日 | 2016-06-17 (COMP) |
研究会情報 | |
研究会 | COMP / IPSJ-AL |
---|---|
開催期間 | 2016/6/24(から2日開催) |
開催地(和) | 石川県教育会館 |
開催地(英) | |
テーマ(和) | |
テーマ(英) | |
委員長氏名(和) | 伊藤 大雄(電通大) / 上原 隆平(北陸先端大) |
委員長氏名(英) | Hiroo Itoh(Univ. of Electro-Comm.) / Ryuhei Uehara(北陸先端大) |
副委員長氏名(和) | 宇野 裕之(阪府大) |
副委員長氏名(英) | Yuushi Uno(Osaka Pref. Univ.) |
幹事氏名(和) | 脊戸 和寿(成蹊大) / 斎藤 寿樹(神戸大) / 岡本 吉央(電通大) / 山内 由紀子(九大) / 内澤 啓(山形大) |
幹事氏名(英) | Kazuhisa Seto(Seikei Univ.) / Toshiki Saito(Kobe Univ.) / Yoshio Okamoto(電通大) / Yukiko Yamauchi(九大) / Kei Uchizawa(山形大) |
幹事補佐氏名(和) | |
幹事補佐氏名(英) |
講演論文情報詳細 | |
申込み研究会 | Technical Committee on Theoretical Foundations of Computing / Special Interest Group on Algorithms |
---|---|
本文の言語 | JPN |
タイトル(和) | ゼロサプレス型二分決定グラフによる文字グラフの列挙 |
サブタイトル(和) | |
タイトル(英) | Enumerating Letter Graphs by Zero-suppressed Decision Diagrams |
サブタイトル(和) | |
キーワード(1)(和/英) | グラフアルゴリズム / Graph algorithm |
キーワード(2)(和/英) | BDD/ZDD / BDD/ZDD |
キーワード(3)(和/英) | フロンティア法 / frontier-based search |
キーワード(4)(和/英) | 列挙問題 / enumeration problem |
第 1 著者 氏名(和/英) | 川原 純 / Jun Kawahara |
第 1 著者 所属(和/英) | 奈良先端科学技術大学院大学(略称:奈良先端大) Nara Institute of Science and Tecnology(略称:NAIST) |
第 2 著者 氏名(和/英) | 斎藤 寿樹 / Toshiki Saitoh |
第 2 著者 所属(和/英) | 神戸大学(略称:神戸大) Kobe University(略称:Kobe Univ.) |
第 3 著者 氏名(和/英) | 吉仲 亮 / Ryo Yoshinaka |
第 3 著者 所属(和/英) | 東北大学(略称:東北大) Tohoku University(略称:Tohoku Univ.) |
発表年月日 | 2016-06-24 |
資料番号 | COMP2016-8 |
巻番号(vol) | vol.116 |
号番号(no) | COMP-116 |
ページ範囲 | pp.33-40(COMP), |
ページ数 | 8 |
発行日 | 2016-06-17 (COMP) |