厳密計算における信頼性とその理論保証のための数理的アプローチ

2015 年度 実績報告書

• 研究課題/領域番号: 24700008
• 研究機関: 電気通信大学
• 研究代表者: 岡本 吉央 電気通信大学, 情報理工学(系)研究科, 准教授 (00402660)
• 研究期間 (年度): 2012-04-01 – 2016-03-31
• キーワード: アルゴリズム理論 / 計算理論 / 離散数学

研究実績の概要

厳密な理論保証を持つアルゴリズム設計理論，および，計算複雑性理論に関して以下に記載するものを含めて研究成果を得た．
(1) グラフ上のトークン整列問題に対して，一般グラフに対する多項式時間4近似アルゴリズムを設計し，NP困難性を証明した．
(2) トーラスの木幅を決定した．
(3) 幾何学的一意被覆問題に関して，被覆物が単位正方形の場合に多項式時間近似スキームを与えた．
(4) ネットワーク型交渉問題に関して，効率的安定化アルゴリズムを設計した．

研究成果

• [雑誌論文] A polynomial-time approximation scheme for the geometric unique coverage problem on unit squares (2016)
  • 著者名/発表者名: Takehiro Ito, Shin-Ichi Nakano, Yoshio Okamoto, Yota Otachi, Ryuhei Uehara, Takeaki Uno, and Yushi Uno
  • 雑誌名: Computational Geometry: Theory and Applications 巻: 51 ページ: 25-39
  • DOI: 10.1016/j.comgeo.2015.10.004
  • 査読あり
• [雑誌論文] On the treewidth of toroidal grids (2016)
  • 著者名/発表者名: Masashi Kiyomi, Yoshio Okamoto, Yota Otachi
  • 雑誌名: Discrete Applied Mathematics 巻: 198 ページ: 303-306
  • DOI: 10.1016/j.dam.2015.06.027
  • 査読あり
• [雑誌論文] Computing the L1 Geodesic Diameter and Center of a Polygonal Domain (2016)
  • 著者名/発表者名: Sang Won Bae, Matias Korman, Joseph Mitchell, Yoshio Okamoto, Valentin Polishchuk, and Haitao Wang
  • 雑誌名: Proceedings of 33rd International Symposium on Theoretical Aspects of Computer Science (STACS 2016) 巻: --- ページ: 14:1-14:14
  • DOI: 10.4230/LIPIcs.STACS.2016.14
  • 査読あり
• [雑誌論文] Extended formulations for sparsity matroids (2016)
  • 著者名/発表者名: Satoru Iwata, Naoyuki Kamiyama, Naoki Katoh, Shuji Kijima, and Yoshio Okamoto
  • 雑誌名: Mathematical Programming 巻: 印刷中 ページ: 印刷中
  • DOI: 10.1007/s10107-015-0936-8
  • 査読あり
• [雑誌論文] Computing the Geodesic Centers of a Polygonal Domain (2016)
  • 著者名/発表者名: Sang Won Bae, Matias Korman, and Yoshio Okamoto
  • 雑誌名: Computational Geometry: Theory and Applications 巻: 印刷中 ページ: 印刷中
  • DOI: 10.1016/j.comgeo.2015.10.009
  • 査読あり / 国際共著
• [雑誌論文] On problems as hard as CNF-SAT (2016)
  • 著者名/発表者名: Marek Cygan, Holger Dell, Daniel Lokshtanov, Dániel Marx, Jesper Nederlof, Yoshio Okamoto, Ramamohan Paturi, Saket Saurabh, and Magnus Wahlström
  • 雑誌名: ACM Transactions on Algorithms 巻: 印刷中 ページ: 印刷中
  • 査読あり / 国際共著
• [雑誌論文] Efficient Stabilization of Cooperative Matching Games (2016)
  • 著者名/発表者名: Takehiro Ito, Naonori Kakimura, Naoyuki Kamiyama, Yusuke Kobayashi, and Yoshio Okamoto
  • 雑誌名: Proceedings of 15th International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2016) 巻: 印刷中 ページ: 印刷中
  • 査読あり
• [雑誌論文] Tight Exact and Approximate Algorithmic Results on Token Swapping (2016)
  • 著者名/発表者名: ask others Tillmann Miltzow, Lothar Narins, Yoshio Okamoto, Günter Rote, Antonis Thomas, Takeaki Uno
  • 雑誌名: arXiv:1602.05150 [cs.CC] 巻: --- ページ: ---
  • 国際共著
• [雑誌論文] Computing the L1 geodesic diameter and center of a simple polygon in linear time (2015)
  • 著者名/発表者名: Sang Won Bae, Matias Korman, Yoshio Okamoto, and Haitao Wang
  • 雑誌名: Computational Geometry: Theory and Applications 巻: 48 ページ: 495-505
  • DOI: 10.1016/j.comgeo.2015.02.005
  • 査読あり / 国際共著
• [雑誌論文] Swapping Labeled Tokens on Graphs (2015)
  • 著者名/発表者名: Katsuhisa Yamanaka, Erik D. Demaine, Takehiro Ito, Jun Kawahara, Masashi Kiyomi, Yoshio Okamoto, Toshiki Saitoh, Akira Suzuki, Kei Uchizawa, and Takeaki Uno
  • 雑誌名: Theoretical Computer Science 巻: 586 ページ: 81-94
  • DOI: 10.1016/j.tcs.2015.01.052
  • 査読あり / 国際共著
• [雑誌論文] Free edge lengths in plane graphs (2015)
  • 著者名/発表者名: Zachary Abel, Robert Connelly, Sarah Eisenstat, Radoslav Fulek, Filip Morić, Yoshio Okamoto, Tibor Szabó, and Csaba Tóth
  • 雑誌名: Discrete & Computational Geometry 巻: 54 ページ: 259-289
  • DOI: 10.1007/s00454-015-9704-z
  • 査読あり / 国際共著
• [学会発表] ネットワーク型交渉ゲームの安定化アルゴリズム (2016)
  • 著者名/発表者名: 伊藤健洋，垣村尚徳，神山直之，小林佑輔，岡本吉央
  • 学会等名: 第157回情報処理学会アルゴリズム研究会
  • 発表場所: 電気通信大学 (東京都調布市)
  • 年月日: 2016-03-06 – 2016-03-06
• [学会発表] Non-Planar Graph Drawing (2015)
  • 著者名/発表者名: 岡本 吉央
  • 学会等名: トポロジーとコンピュータ2015
  • 発表場所: 日本大学文理学部 (東京都世田谷区)
  • 年月日: 2015-11-07 – 2015-11-07
  • 招待講演
• [学会発表] 行列の分解と組合せ最適化問題の拡張定式化 (2015)
  • 著者名/発表者名: 岡本 吉央
  • 学会等名: RIMS共同研究「組合せ最適化セミナー」
  • 発表場所: 京都大学数理解析研究所 (京都府京都市)
  • 年月日: 2015-07-23 – 2015-07-23
  • 招待講演