| 講演名 | 2017-12-21 グリッドグラフにおける到達可能性判定問題のO(n^{1/3})領域アルゴリズム 芦田 亮(東工大), 中川 航太郎(東工大), |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | 有向グラフの到達可能性判定問題はNL完全問題として有名である．この問題を多項式時間で解くアルゴリズムとして，Barns等の$O(n/2^{sqrt{log{n}}})$領域必要とするものが今のところ最良である．ある$eps<1$に対して，$O(n^eps)$領域かつ多項式時間で動くアルゴリズムが構成できかどうかは未解決な問題となっている．グラフクラスを制限した場合にはより良い結果が知られており，グリッドグラフ及び平面グラフに対しては浅野等の$widetilde{O}(sqrt{n})$領域のアルゴリズムがある．本論文はグリッドグラフに対する到達可能性判定問題を多項式時間かつ$widetilde{O}(n^{1/3})$領域で解くアルゴリズムを提案する． |
| 抄録(英) | The directed graph reachability problem is a canonical complete problem for class NL. The best known polynomial time algorithm for this problem by Barns et al. uses $O(n/2^{sqrt{log{n}}})$ space. Whether we can make $O(n^eps)$-space and polynomial time algorithm for some $eps < 1$ is a famous open problem. For some restricted graph classes of directed graphs, better results are known. Asano et al. gave an $widetilde{O}(sqrt{n})$ space and polynomial time algorithm for the reachability problem restricted to directed grid and planar graphs. We propose an $widetilde{O}(n^{1/3})$ space and polynomial time algorithm for the reachability problem restricted to directed grid graphs. |
| キーワード(和) | グラフアルゴリズム / 到達可能性判定問題 / グリッドグラフ / 劣線形領域アルゴリズム |
| キーワード(英) | graph algorithm / graph reachability / grid graph / sub-linear space algorithm |
| 資料番号 | ISEC2017-75,COMP2017-29 |
| 発行日 | 2017-12-14 (ISEC, COMP) |
| 研究会情報 | |
| 研究会 | ISEC / COMP |
|---|---|
| 開催期間 | 2017/12/21(から2日開催) |
| 開催地（和） | 高知工科大学永国寺キャンパス |
| 開催地（英） | Eikokuji Campus, Kochi University of Technology |
| テーマ（和） | 一般 |
| テーマ（英） | |
| 委員長氏名（和） | 小川 一人(NHK) / 伊藤 大雄(電通大) |
| 委員長氏名（英） | Kazuto Ogawa(NHK) / Hiro Ito(Univ. of Electro-Comm.) |
| 副委員長氏名（和） | 藤岡 淳(神奈川大) / 盛合 志帆(NICT) / 宇野 裕之(阪府大) |
| 副委員長氏名（英） | Atsushi Fujioka(Kanagawa Univ.) / Shiho Moriai(NICT) / Yushi Uno(Osaka Pref. Univ.) |
| 幹事氏名（和） | 水木 敬明(東北大) / 大東 俊博(東海大) / 脊戸 和寿(成蹊大) / 斎藤 寿樹(九工大) |
| 幹事氏名（英） | Takaaki Mizuki(Tohoku Univ.) / Toshihiro Ohigashi(Tokai Univ.) / Kazuhisa Seto(Seikei Univ.) / Toshiki Saito(Kyushu Inst. of Tech.) |
| 幹事補佐氏名（和） | 江村 恵太(NICT) / 駒野 雄一(東芝) / 須賀 祐治(インターネットイニシアティブ) |
| 幹事補佐氏名（英） | Keita Emura(NICT) / Yuichi Komano(TOSHIBA) / Yuuji Suga(IIJ) |
| 講演論文情報詳細 | |
| 申込み研究会 | Technical Committee on Information Security / Technical Committee on Theoretical Foundations of Computing |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | グリッドグラフにおける到達可能性判定問題のO(n^{1/3})領域アルゴリズム |
| サブタイトル（和） | |
| タイトル（英） | O(n^{1/3})-space algorithm for the grid graph reachability problem |
| サブタイトル（和） | |
| キーワード(1)（和/英） | グラフアルゴリズム / graph algorithm |
| キーワード(2)（和/英） | 到達可能性判定問題 / graph reachability |
| キーワード(3)（和/英） | グリッドグラフ / grid graph |
| キーワード(4)（和/英） | 劣線形領域アルゴリズム / sub-linear space algorithm |
| 第 1 著者 氏名（和/英） | 芦田 亮 / Ryo Ashida |
| 第 1 著者 所属（和/英） | 東京工業大学(略称：東工大) Tokyo Institute of Technology(略称：Tokyo Tech) |
| 第 2 著者 氏名（和/英） | 中川 航太郎 / Kotaro Nakagawa |
| 第 2 著者 所属（和/英） | 東京工業大学(略称：東工大) Tokyo Institute of Technology(略称：Tokyo Tech) |
| 発表年月日 | 2017-12-21 |
| 資料番号 | ISEC2017-75,COMP2017-29 |
| 巻番号（vol） | vol.117 |
| 号番号（no） | ISEC-369,COMP-370 |
| ページ範囲 | pp.19-24(ISEC), pp.19-24(COMP), |
| ページ数 | 6 |
| 発行日 | 2017-12-14 (ISEC, COMP) |