| 講演名 | 2012-09-03 完全マッチング計数問題に対する新しいアプローチ 泉 泰介, 和田山 正, |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | 本稿では,包除原理および木分解を用いない,完全マッチング計数問題への新しい指数時間厳密アルゴリズムを提案する,提案するアルゴリズムは,2n頂点,平均次数△(≧3)の二部グラフに対して,指数記憶領域を用いて0*(2^(1-1/o(△log△))n)時間で完全マッチングの個数を計算する.平均次数の増加に対する速度低下がより穏やかであるという意味において,本結果は過去の結果よりも優れている.主たるアイデアは,線形符号における主符号と双対符号の問の関係式(マックウィリアムス恒等式)を利用して,完全マッチンク言十数問題をカットの重み分布計算に帰着することである.提案アルゴリズムは同帰着に高速なカット重み分布の数え上げを組み合わせることで実現されている.なお,本稿の完全版については,The 53rd Annual IEEE Symposium on Foundations of Computer Scienceにおいて発表・刊行の予定である. |
| 抄録(英) | We present a new exact algorithm for counting perfect matchings, which relies on neither inclusion-ex- clusion principle nor tree-decompositions. For any bipartite graph of 2n nodes and △n edges such that △(≧3), our algorithm runs with0*(2^(1-1/o(△log△))n) time and exponential space. Compared to the previous algorithms, it achieves a better time bound in the sense that the performance degradation to the increase of A is quite slower. The main idea of our algorithm is a new reduction to the problem of computing the cut-weight distribution of the input graph. The primary ingredient of this reduction is MacWilliams Identity derived from elementary coding theory. The whole of our algorithm is designed by combining that reduction with a non-trivial fast algorithm computing the cut-weight distribution. To the best of our knowledge, the approach posed in this paper is new and may be of independent interest. The full version of this paper will be presented and published at the 53rd Annual IEEE Symposium on Foundataions of Computer Science. |
| キーワード(和) | 完全マッチング計数問題 / 指数時間アルゴリズム / 符号理論 / マックウィリアムスの恒等式 |
| キーワード(英) | counting perfect matchings / exponential algorithm / coding theory / MacWilliams Identity |
| 資料番号 | COMP2012-33 |
| 発行日 |
| 研究会情報 | |
| 研究会 | COMP |
|---|---|
| 開催期間 | 2012/8/27(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Theoretical Foundations of Computing (COMP) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 完全マッチング計数問題に対する新しいアプローチ |
| サブタイトル（和） | |
| タイトル（英） | A New Direction for Counting Perfect Matchings |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 完全マッチング計数問題 / counting perfect matchings |
| キーワード(2)（和/英） | 指数時間アルゴリズム / exponential algorithm |
| キーワード(3)（和/英） | 符号理論 / coding theory |
| キーワード(4)（和/英） | マックウィリアムスの恒等式 / MacWilliams Identity |
| 第 1 著者 氏名（和/英） | 泉 泰介 / Taisuke IZUMI |
| 第 1 著者 所属（和/英） | 名古屋工業大学 Nagoya Institute of Technology |
| 第 2 著者 氏名（和/英） | 和田山 正 / Tadashi WADAYAMA |
| 第 2 著者 所属（和/英） | 名古屋工業大学 Nagoya Institute of Technology |
| 発表年月日 | 2012-09-03 |
| 資料番号 | COMP2012-33 |
| 巻番号（vol） | vol.112 |
| 号番号（no） | 199 |
| ページ範囲 | pp.- |
| ページ数 | 46 |
| 発行日 | |