解空間の直径に基づく計算限界解析アプローチの構築
Publicly Offered Research
Project Area | A multifaceted approach toward understanding the limitations of computation |
Project/Area Number |
25106504
|
Research Category |
Grant-in-Aid for Scientific Research on Innovative Areas (Research in a proposed research area)
|
Allocation Type | Single-year Grants |
Review Section |
Science and Engineering
|
Research Institution | Tohoku University |
Principal Investigator |
伊藤 健洋 東北大学, 情報科学研究科, 准教授 (40431548)
|
Project Period (FY) |
2013-04-01 – 2015-03-31
|
Project Status |
Completed (Fiscal Year 2014)
|
Budget Amount *help |
¥3,900,000 (Direct Cost: ¥3,000,000、Indirect Cost: ¥900,000)
Fiscal Year 2014: ¥1,820,000 (Direct Cost: ¥1,400,000、Indirect Cost: ¥420,000)
Fiscal Year 2013: ¥2,080,000 (Direct Cost: ¥1,600,000、Indirect Cost: ¥480,000)
|
Keywords | アルゴリズム / グラフ / 独立点集合 / 点彩色 / 固定パラメータ容易性 |
Outline of Annual Research Achievements |
本年度は,点彩色を一般化した「リスト点彩色」の遷移問題に対して,詳細な解析を与えることができた.グラフ構造の指標として「パス幅」と呼ばれるパラメータがあるが,パス幅が2以上であればリスト点彩色の遷移問題はPSPACE完全であり,パス幅が1であれば多項式時間で解けることを示した.すなわち,これはリスト点彩色の遷移問題の計算困難性と容易性を,入力グラフのパス幅の観点から特徴づけたことになる.パス幅1の入力グラフに対する多項式時間アルゴリズムは動的計画法に基づいており,遷移問題に対して動的計画法を適用した例としても評価できる.
また,独立点集合の遷移問題に対しては,固定パラメータ容易性(FPT)の観点から,研究を進めることができた.この問題は,平面グラフにおいてPSPACE完全であることが示されており,解空間グラフの直径は超多項式長になる.しかし本研究では,独立点集合のサイズのみをパラメータとして,平面グラフに対するFPTアルゴリズムを与えた.この研究成果により,解空間グラフの直径が超多項式長になることを単に示すだけでなく,パラメータにどのように依存するのか解析することができた.特に,本研究では昨年度,一般のグラフに対しては,独立点集合のサイズのみをパラメータとしたFPTアルゴリズムを持ちそうにないことを証明しており,今年度の研究と対比させることで,入力グラフの構造と計算困難性の関係をより具体的に解析することができた.
この他にも,点彩色と関連が深いL(2,1)ラベリングなど,様々な遷移問題に対してアルゴリズムを開発することで,解空間グラフの直径が多項式長で抑えられる場合を明らかにし,計算困難である場合との対比を可能とした.特に,本研究では,入力グラフの構造を上手く利用することで,効率のよいアルゴリズムを多数開発することができた.
|
Research Progress Status |
26年度が最終年度であるため、記入しない。
|
Strategy for Future Research Activity |
26年度が最終年度であるため、記入しない。
|
Report
(2 results)
Research Products
(32 results)
-
[Journal Article] Swapping Labeled Tokens on Graphs2015
Author(s)
Katsuhisa Yamanaka, Erik D. Demaine, Takehiro Ito, Jun Kawahara, Masashi Kiyomi, Yoshio Okamoto, Toshiki Saitoh, Akira Suzuki, Kei Uchizawa, Takeaki Uno
-
Journal Title
Theoretical Computer Science
Volume: 印刷中
Pages: 81-94
DOI
Related Report
Peer Reviewed / Open Access / Acknowledgement Compliant
-
-
-
-
-
-
-
-
-
-
-
[Journal Article] The Minimum Vulnerability Problem on Graphs2014
Author(s)
Yusuke Aoki, Bjarni V. Halldorsson, Magnus M. Halldorsson, Takehiro Ito, Christian Konrad, Xiao Zhou
-
Journal Title
Lecture Notes in Computer Science
Volume: 8881
Pages: 299-313
DOI
ISBN
9783319126906, 9783319126913
Related Report
Peer Reviewed / Acknowledgement Compliant
-
[Journal Article] Polynomial-Time Algorithm for Sliding Tokens on Trees2014
Author(s)
Erik D. Demaine, Martin L. Demaine, Eli Fox-Epstein, Duc A. Hoang, Takehiro Ito, Hirotaka Ono, Yota Otachi, Ryuhei Uehara, Takeshi Yamada
-
Journal Title
Lecture Notes in Computer Science
Volume: 8889
Pages: 389-400
DOI
NAID
ISBN
9783319130743, 9783319130750
Related Report
Peer Reviewed / Acknowledgement Compliant
-
-
[Journal Article] Minimum-Cost b-Edge Dominating Sets on Trees2014
Author(s)
Takehiro Ito, Naonori Kakimura, Naoyuki Kamiyama, Yusuke Kobayashi, and Yoshio Okamoto
-
Journal Title
Lecture Notes in Computer Science
Volume: 8889
Pages: 195-207
DOI
ISBN
9783319130743, 9783319130750
Related Report
Peer Reviewed / Acknowledgement Compliant
-
-
-
-
[Journal Article] On the Parameterized Complexity for Token Jumping on Graphs2014
Author(s)
Takehiro Ito, Marcin Kaminski, Hirotaka Ono, Akira Suzuki, Ryuhei Uehara, Katsuhisa Yamanaka
-
Journal Title
Theory and Applications of Models of Computation, Lecture Notes in Computer Science
Volume: 8402
Pages: 341-351
DOI
NAID
ISBN
9783319060880, 9783319060897
Related Report
Peer Reviewed / Acknowledgement Compliant
-
[Journal Article] Swapping Labeled Tokens on Graphs2014
Author(s)
Katsuhisa Yamanaka, Erik D. Demaine, Takehiro Ito, Jun Kawahara, Masashi Kiyomi, Yoshio Okamoto, Toshiki Saitoh, Akira Suzuki, Kei Uchizawa, Takeaki Uno
-
Journal Title
Lecture Notes in Computer Science
Volume: 印刷中
Related Report
Peer Reviewed
-
-
-
-
[Presentation] The Minimum Vulnerability Problem on Graphs2014
Author(s)
Yusuke Aoki, Bjarni V. Halldorsson, Magnus M. Halldorsson, Takehiro Ito, Christian Konrad, Xiao Zhou
Organizer
8th Annual International Conference on Combinatorial Optimization and Applications
Place of Presentation
ハワイ(アメリカ)
Year and Date
2014-12-20
Related Report
-
[Presentation] Polynomial-Time Algorithm for Sliding Tokens on Trees2014
Author(s)
Erik D. Demaine, Martin L. Demaine, Eli Fox-Epstein, Duc A. Hoang, Takehiro Ito, Hirotaka Ono, Yota Otachi, Ryuhei Uehara, Takeshi Yamada
Organizer
25th Annual International Symposium on Algorithms and Computation
Place of Presentation
全州(韓国)
Year and Date
2014-12-16
Related Report
-
-
-
-
-
-
-
[Presentation] Swapping Labeled Tokens on Graphs
Author(s)
Katsuhisa Yamanaka, Erik D. Demaine, Takehiro Ito, Jun Kawahara, Masashi Kiyomi, Yoshio Okamoto, Toshiki Saitoh, Akira Suzuki, Kei Uchizawa, Takeaki Uno
Organizer
7th International Conference on FUN with Algorithms
Place of Presentation
イタリア,シチリア島
Related Report