研究領域 | 多面的アプローチの統合による計算限界の解明 |
研究課題/領域番号 |
15H00849
|
研究種目 |
新学術領域研究(研究領域提案型)
|
配分区分 | 補助金 |
審査区分 |
理工系
|
研究機関 | 東北大学 |
研究代表者 |
伊藤 健洋 東北大学, 情報科学研究科, 准教授 (40431548)
|
研究期間 (年度) |
2015-04-01 – 2017-03-31
|
研究課題ステータス |
完了 (2016年度)
|
配分額 *注記 |
4,290千円 (直接経費: 3,300千円、間接経費: 990千円)
2016年度: 2,080千円 (直接経費: 1,600千円、間接経費: 480千円)
2015年度: 2,210千円 (直接経費: 1,700千円、間接経費: 510千円)
|
キーワード | アルゴリズム / グラフ / 遷移問題 / 解空間の連結性 / 情報基礎 |
研究実績の概要 |
本年度は,シュタイナー木の遷移問題について,その計算困難性と容易性を解析した.特に,スプリットグラフでは計算困難であるが,区間グラフでは計算容易であることを示しており,グラフ構造の観点から興味深い対比を与えている.すなわち,スプリットグラフはクリークが木(スター)構造を成しているグラフであり,区間グラフはクリークがパス構造を成しているグラフである.どちらのグラフも辺が密であり,比較的近い構造を持つが,その計算複雑さに差があることを示した. また,(リスト)辺彩色の遷移問題について,その計算困難性を示した.辺ごとに使用可能な色が限定されない辺彩色の遷移問題については,その計算困難性が一切知られていなかったが,本研究では初めて計算困難性を示すことに成功した.辺ごとに使用可能な色集合が与えられるリスト辺彩色の遷移問題は,従来研究では,彩色に使用できる色数が3色以下であれば計算容易であり,6色以上であれば計算困難であることが知られていた.すなわち,色数が4色と5色の場合は未解決であったが,本研究では,どちらも計算困難であることを証明した.これにより,色数に基づく計算困難性と容易性を完全に特徴づけることに成功した. これら(リスト)辺彩色の遷移問題に関する計算困難性の証明は,遷移問題における帰着手法の特徴を与えることで達成している.すなわち,帰着を構成する際に,解空間の連結性を「内部連結」と「外部連結」という二つの概念を用いて保証した.これにより,複雑な帰着の正当性を計算機によって検証することを可能とした.実際,本研究で与えた証明では,可能な辺彩色が約30万種類もあり,計算機による検証なしでは証明は難しかったであろう.
|
現在までの達成度 (段落) |
28年度が最終年度であるため、記入しない。
|
今後の研究の推進方策 |
28年度が最終年度であるため、記入しない。
|