| 講演名 | 1995/9/22 オイラー有向グラフにおける2本の辺素なパスの存在判定 フランク アンドラシュ, 茨木 俊秀, 永持 仁, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 2組の点対{x_1,x_2},{y_1,y_2}を持つオイラー有向グラフ(G;{x_1,x_2},{y_1,y_2})は、辺素なx'x"-パス,y'y"-パスを持つとき実行可能と言う。ここで、x'x"=x_1x_2あるいはx'x"=x_2x_1(y'y"=y_1y_2あるいはy'y"=y_2y_1)であればよい。本報告では、極小な実行不可能な問題例は、必ず特別な平面グラフ表現を持つことを示す。この実行不可能問題例に対する特徴付けに基づけば、問題例の実行可能性をο(m+nlogn)時間で判定することができ、実行可能な問題例に対しては、実際に辺素なx'x"-パス,y'y"-パスをο(m(m+nlogn))時間で見出だすことができる。ここで、n,mはそれぞれ問題例の点数、辺数である。 |
| 抄録(英) | Let G be an Eulerian digraph, and {x1,x_2},{y_1,y_2} be two pairs of vertices in G. An instance (G;{x_1,x_2},{y_1,y_2}) is called feasible if it contains two arc-disjoint x'x"- and y'y"- paths, where {x',x"} = {x_1,x_2} and {y',y"} = {y_1,y_2}. This paper shows that any infeasible instance can be reduced to a minimal infeasible instance, which has a planar reparesentation that indicates its infeasibility. Based on this structural characterization, we can check if a given instance is feasible or not in o(m + nlogn) time, and find a feasible solution in o(m(m+nlogn))time(if the instance is feasible), where m and n are the numbers of edges and vertices in G, respectively |
| キーワード(和) | オイラー有向グラフ / 辺素なパス / 平面グラフ / 多項式アルゴリズム |
| キーワード(英) | Eulerian digraph / disjoint paths / planar graph / polynomial time algorithm |
| 資料番号 | COMP95-45 |
| 発行日 |
| 研究会情報 | |
| 研究会 | COMP |
|---|---|
| 開催期間 | 1995/9/22(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Theoretical Foundations of Computing (COMP) |
|---|---|
| 本文の言語 | ENG |
| タイトル（和） | オイラー有向グラフにおける2本の辺素なパスの存在判定 |
| サブタイトル（和） | |
| タイトル（英） | Finding Two Arc Disjoint Paths in Eulerian Digraphs |
| サブタイトル（和） | |
| キーワード(1)（和/英） | オイラー有向グラフ / Eulerian digraph |
| キーワード(2)（和/英） | 辺素なパス / disjoint paths |
| キーワード(3)（和/英） | 平面グラフ / planar graph |
| キーワード(4)（和/英） | 多項式アルゴリズム / polynomial time algorithm |
| 第 1 著者 氏名（和/英） | フランク アンドラシュ / Andras FRANK |
| 第 1 著者 所属（和/英） | オトボス大学、ブダペスト、ハンガリー Dept.of Computer Science, Mathematical Institute, |
| 第 2 著者 氏名（和/英） | 茨木 俊秀 / Toshihide IBARAKI |
| 第 2 著者 所属（和/英） | 京都大学 工学部 数理工学教室 Dept.of Applied Mathematics and Physics, Kyoto University, |
| 第 3 著者 氏名（和/英） | 永持 仁 / Hitoshi NAGAMOCHI |
| 第 3 著者 所属（和/英） | 京都大学 工学部 数理工学教室 Dept.of Applied Mathematics and Physics, Kyoto University, |
| 発表年月日 | 1995/9/22 |
| 資料番号 | COMP95-45 |
| 巻番号（vol） | vol.95 |
| 号番号（no） | 259 |
| ページ範囲 | pp.- |
| ページ数 | 10 |
| 発行日 | |