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

2015 Fiscal Year Annual Research Report

• Project/Area Number: 24700008
• Research Institution: The University of Electro-Communications
• Principal Investigator: 岡本 吉央 電気通信大学, 情報理工学(系)研究科, 准教授 (00402660)
• Project Period (FY): 2012-04-01 – 2016-03-31
• Keywords: アルゴリズム理論 / 計算理論 / 離散数学

Outline of Annual Research Achievements

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

Research Products

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