解の遷移可能性問題による停止しないシステムの実現

2012 年度 研究成果報告書

• 研究課題/領域番号: 22700001
• 研究種目: 若手研究(B)
• 配分区分: 補助金
• 研究分野: 情報学基礎
• 研究機関: 東北大学
• 研究代表者: 伊藤 健洋 東北大学, 大学院・情報科学研究科, 准教授 (40431548)
• 研究期間 (年度): 2010 – 2012
• キーワード: アルゴリズム理論

研究概要

本研究では,「解空間の連結性」を問う遷移可能性問題を研究した.特に,計算機科学の基礎的な問題である「ナップザック問題」と電力系統の配電融通問題に応用がある「需要と供給のグラフ分割問題」に対する遷移可能性問題を扱い,その計算困難性を明らかにし,さらに遷移方法を求める近似アルゴリズムを開発した.本研究で開発した近似アルゴリズムは,近似精度の観点からは最良である.

研究成果

• [雑誌論文] Minimum Cost Partitions of Trees with Supply and Demand (2012)
  • 著者名/発表者名: Takehiro Ito, Takuya Hara, Xiao Zhou and Takao Nishizeki
  • 雑誌名: Algorithmica 巻: Vol. 64 ページ: 400-415
  • DOI: DOI:10.1007/s00453-011-9573-7
  • 査読あり
• [雑誌論文] Reconfiguration of List Edge-Colorings in a Graph (2012)
  • 著者名/発表者名: Takehiro Ito, Marcin Kaminski and Erik D. Demaine
  • 雑誌名: Discrete Applied Mathematics 巻: Vol. 160 ページ: 2199-2207
  • DOI: DOI:10.1016/j.dam.2012.05.014
  • 査読あり
• [雑誌論文] An Improved Sufficient Condition for Reconfiguration of List Edge-Colorings in a Tree (2012)
  • 著者名/発表者名: Takehiro Ito, Kazuto Kawamura and Xiao Zhou
  • 雑誌名: IEICE Trans. on Information and Systems 巻: Vol. E95-D ページ: 737-745
  • DOI: DOI:10.1587/transinf.E95.D.737
  • 査読あり
• [雑誌論文] Parameterizing Cut Sets in a Graph by the Number of Their Components (2011)
  • 著者名/発表者名: Takehiro Ito, Marcin Kaminski, Daniel Paulusma and Dimitrios M. Thilikos
  • 雑誌名: Theoretical Computer Science 巻: Vol.412 ページ: 6340-6350
  • DOI: DOI:10.1016/j.tcs.2011.07.005
  • 査読あり
• [雑誌論文] On Disconnected Cuts and Separators (2011)
  • 著者名/発表者名: Takehiro Ito, Marcin Kaminski, Daniel Paulusma and Dimitrios M. Thilikos
  • 雑誌名: Discrete Applied Mathematics 巻: Vol. 159 ページ: 1345-1351
  • DOI: DOI:10.1016/j.dam.2011.04.027
  • 査読あり
• [雑誌論文] On the Complexity of Reconfiguration Problems (2011)
  • 著者名/発表者名: Takehiro Ito, Erik D. Demaine, Nicholas J. A. Harvey, Christos H. Papadimitriou, Martha Sideri, Ryuhei Uehara and Yushi Uno
  • 雑誌名: Theoretical Computer Science 巻: Vol. 412 ページ: 1054-1065
  • DOI: DOI:10.1016/j.tcs.2010.12.005
  • 査読あり
• [雑誌論文] Approximability of the Subset Sum Reconfiguration Problem
  • 著者名/発表者名: Takehiro Ito and Erik D. Demaine
  • 雑誌名: Journal ofCombinatorial Optimization
  • DOI: DOI10.1007/s10878-012-9562-z
  • 査読あり
• [雑誌論文] On the Rainbow Connectivity of Graphs: Complexity and FPT Algorithms
  • 著者名/発表者名: Kei Uchizawa, Takanori Aoki, Takehiro Ito, Akira Suzuki and Xiao Zhou
  • 雑誌名: Algorithmica
  • 査読あり
• [学会発表] Generalized Rainbow Connectivity of Graphs (2013)
  • 著者名/発表者名: Kei Uchizawa, Takanori Aoki, Takehiro Ito and Xiao Zhou
  • 学会等名: The 7th International Workshop onAlgorithms and Computation (WALCOM2013)
  • 発表場所: インド・Kharagpur
  • 年月日: 2013-02-15
• [学会発表] Reconfiguration of List L(2,1)-Labelings in a Graph (2012)
  • 著者名/発表者名: Takehiro Ito, Kazuto Kawamura, Hirotaka Ono and Xiao Zhou
  • 学会等名: The 23rd Annual International Symposiumon Algorithms and Computation (ISAAC2012)
  • 発表場所: 台湾・台北
  • 年月日: 2012-12-19
• [学会発表] On the Rainbow Connectivity of Graphs: Complexity and FPT Algorithms (2011)
  • 著者名/発表者名: Kei Uchizawa, Takanori Aoki, Takehiro Ito, Akira Suzuki and Xiao Zhou
  • 学会等名: The17th Annual International Computing and Combinatorics Conference (COCOON2011)
  • 発表場所: アメリカ・ダ ラス
  • 年月日: 2011-08-14
• [学会発表] An Improved Sufficient Condition for Reconfiguration of List Edge-Colorings in a Tree (2011)
  • 著者名/発表者名: Takehiro Ito, Kazuto Kawamura and Xiao Zhou
  • 学会等名: The 8th Annual Conference on Theory and Applications of Models of Computation (TAMC 2011)
  • 発表場所: 東京
  • 年月日: 2011-05-23
• [学会発表] Approximability of the Subset Sum Reconfiguration Problem (2011)
  • 著者名/発表者名: Takehiro Ito and Erik D. Demaine
  • 学会等名: The 8th Annual Conference on Theory and Applications of Models of Computation (TAMC 2011)
  • 発表場所: 東京
  • 年月日: 2011-05-23
• [学会発表] Minimum Cost Partitions of Trees with Supply and Demand (2010)
  • 著者名/発表者名: Takehiro Ito, Takuya Hara, Xiao Zhou and Takao Nishizeki
  • 学会等名: The 21st Annual International Symposium on Algorithms and Computation (ISAAC 2010)
  • 発表場所: 韓国・済州島
  • 年月日: 2010-12-17
• [備考]
  • URL: http://www.ecei.tohoku.ac.jp/alg/take/