| 講演名 | 2008-10-10 再構成問題の計算複雑さ 伊藤 健洋, /, /, 上原 隆平, 宇野 裕之, |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | 解の再構成問題とは,ある問題の2つの実行可能解が与えられたとき,一方の解から他方の解へ段階的に変形可能かどうか判定する問題である.ただし,変形の途中で得られる解の全ては,基の問題に対して実行可能でなければならない.本論文では,NP完全な問題から得られる再構成問題の多くがPSPACE完全であることを示す.また,いくつかの再構成問題に関しては,その最適化版の近似困難性も示す.その一方で,Pに含まれる問題の再構成問題のいくつかは,多項式時間で解けることも示す. |
| 抄録(英) | Reconfiguration problems arise when we wish to find a step-by-step transformation between two feasible solutions of a problem such that all intermediate results are also feasible. We demonstrate that a host of reconfiguration problems derived from NP-complete problems are PSPACE-complete, while some are also NP-hard to approximate. In contrast, several reconfiguration versions of problems in P are solvable in polynomial time. |
| キーワード(和) | PSPACE完全 / 近似困難性 / 再構成問題 |
| キーワード(英) | approximability / PSPACE-complete / reconfiguration problem |
| 資料番号 | COMP2008-36 |
| 発行日 |
| 研究会情報 | |
| 研究会 | COMP |
|---|---|
| 開催期間 | 2008/10/3(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Theoretical Foundations of Computing (COMP) |
|---|---|
| 本文の言語 | ENG |
| タイトル（和） | 再構成問題の計算複雑さ |
| サブタイトル（和） | |
| タイトル（英） | On the Complexity of Reconfiguration Problems |
| サブタイトル（和） | |
| キーワード(1)（和/英） | PSPACE完全 / approximability |
| キーワード(2)（和/英） | 近似困難性 / PSPACE-complete |
| キーワード(3)（和/英） | 再構成問題 / reconfiguration problem |
| 第 1 著者 氏名（和/英） | 伊藤 健洋 / Takehiro ITO |
| 第 1 著者 所属（和/英） | 東北大学大学院情報科学研究科 Graduate School of Information Sciences, Tohoku University |
| 第 2 著者 氏名（和/英） | / / Erik D. DEMAINE |
| 第 2 著者 所属（和/英） | / MIT Computer Science and Artificial Intelligence Laboratory |
| 第 3 著者 氏名（和/英） | / / Nicholas J.A. HARVEY |
| 第 3 著者 所属（和/英） | / MIT Computer Science and Artificial Intelligence Laboratory |
| 第 4 著者 氏名（和/英） | 上原 隆平 / Christos H. PAPADIMITRIOU |
| 第 4 著者 所属（和/英） | 北陸先端科学技術大学院大学情報科学研究科 Computer Science Division, University of California at Berkeley |
| 第 5 著者 氏名（和/英） | 宇野 裕之 / Martha SIDERI |
| 第 5 著者 所属（和/英） | 大阪府立大学理学系研究科 Department of Computer Science, Athens University of Economics and Business |
| 発表年月日 | 2008-10-10 |
| 資料番号 | COMP2008-36 |
| 巻番号（vol） | vol.108 |
| 号番号（no） | 237 |
| ページ範囲 | pp.- |
| ページ数 | 8 |
| 発行日 | |