• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to project page

2014 Fiscal Year Research-status Report

局所探索型計算に対する計算量理論の開拓

Research Project

Project/Area Number 26540005
Research InstitutionKyushu University

Principal Investigator

小野 廣隆  九州大学, 経済学研究科(研究院), 准教授 (00346826)

Project Period (FY) 2014-04-01 – 2017-03-31
Keywords解再構成 / 近傍構造 / 最適化 / 固定パラメータアルゴリズム / パラメター化計算量
Outline of Annual Research Achievements

遺伝的アルゴリズム,タブー探索,アニーリングといった計算困難な組合せ最適化問題に対するメタ解法(メタ戦略)は,設計が比較的簡単であり,また実用的には十分な近似精度が得られることが知られている反面,理論的な精度の保証に成功している例は限られている.このためメタ解法の高速化や高精度化に関する研究には職人芸的なものが多いのが現状である.本研究はこれらメタ解法に共通する基本操作である局所探索・局所変形に注目した計算量理論を開拓する.メタ戦略の高速化・高精度化の非自明性の一つは,局所探索・局所変形の「性能」は近傍系の大きさ,評価関数に依存し,近傍の大きさと探索のための計算量にはトレードオフの関係に起因する.本研究の目的は局所探索・局所変形の計算量理論により,メタ戦略に新しい設計指標を与えることにある.

上述の目標に対し,本研究では,近似,再最適化(reoptimization),解再構成(reconfiguration)の3つをアプローチの軸としておいている.今年度は特に解再構成においていくつかの成果を得た.(1)独立点集合問題の解再構成の計算複雑度についてのパラメータ化計算量について取り組んだ.集合サイズのみをパラメータとした場合,この問題は計算困難であるのに対し,次数と集合サイズをパラメータとした場合,固定パラメータアルゴリズムを設計できること,また次数は大きくとも平面グラフ(実際は平面グラフよりもより広いクラスのグラフ)に対する固定パラメータアルゴリズムを設計できることを示した.(2)クリーク問題の解再構成において,いくつかの近傍系の等価性を示し,この視点からいくつかの制限下での固定パラメータ容易性,また困難性の境界を示した.

Current Status of Research Progress
Current Status of Research Progress

1: Research has progressed more than it was originally planned.

Reason

概要に述べた通り,順調に成果が上がっていると考えている.客観的な評価は難しいが,研究成果は計算機科学分野で認知されているシュプリンガー社のLecture Notes in Computer Science から,3編が出版されていること(採択率が1/3程度以下),また査読有ジャーナル論文1編を出版するなど関連する分野の研究者の興味を集める研究成果を得ていると考える.

Strategy for Future Research Activity

上記の通り,研究成果自体は順調に上がっているため,基本的には当初の方針とは大きく変更することなく,研究を進める予定である.ただし,「研究の軸」に関しては,進捗に応じてウェイトを変える必要があると考えている.

Causes of Carryover

本年度(2014年度)得た結果による次年度(2015年度)国際会議出席費支出費用,それに伴う研究活動のため,本研究に関する予算を圧縮する形で使用したため.

Expenditure Plan for Carryover Budget

2014年度分の予算は主に国際会議出席(5月,6月)に利用する.2015年度分の予算は2015年度8月以降の国際会議出席,また研究活動に使用する.

  • Research Products

    (8 results)

All 2015 2014

All Journal Article (4 results) (of which Peer Reviewed: 4 results) Presentation (4 results)

  • [Journal Article] On the Parameterized Complexity for Token Jumping on Graphs.2014

    • Author(s)
      Takehiro Ito, Marcin Kaminski, Hirotaka Ono, Akira Suzuki, Ryuhei Uehara, Katsuhisa Yamanaka
    • Journal Title

      Theory and Applications of Models of Computation, TAMC 2014, Lecture Notes in Computer Science

      Volume: 8402 Pages: 341-351

    • DOI

      10.1007/978-3-319-06089-7_24

    • Peer Reviewed
  • [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

      Algorithms and Computation, ISAAC 2014, Lecture Notes in Computer Science

      Volume: 8889 Pages: 389-400

    • DOI

      10.1007/978-3-319-13075-0_31

    • Peer Reviewed
  • [Journal Article] Fixed-Parameter Tractability of Token Jumping on Planar Graphs2014

    • Author(s)
      Takehiro Ito, Marcin Jakub Kaminski, Hirotaka Ono
    • Journal Title

      Algorithms and Computation, ISAAC 2014, Lecture Notes in Computer Science

      Volume: 8889 Pages: 208-219

    • DOI

      10.1007/978-3-319-13075-0_17

    • Peer Reviewed
  • [Journal Article] Algorithmic aspects of distance constrained labeling: a survey2014

    • Author(s)
      Toru Hasunuma, Toshimasa Ishii, Hirotaka Ono, Yushi Uno
    • Journal Title

      International Journal of Networking and Computing

      Volume: 4(2) Pages: 251-259

    • Peer Reviewed
  • [Presentation] A Fixed-Parameter Algorithm for Max Edge Domination2015

    • Author(s)
      Tesshu Hanaka, Hirotaka Ono
    • Organizer
      the 41st International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2015)
    • Place of Presentation
      Pec pod Snezkou, Czech Republic
    • Year and Date
      2015-01-24 – 2015-01-29
  • [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
      Algorithms and Computation - 25th International Symposium, ISAAC 2014
    • Place of Presentation
      Jeonju, Korea
    • Year and Date
      2014-12-15 – 2014-12-17
  • [Presentation] Fixed-Parameter Tractability of Token Jumping on Planar Graphs2014

    • Author(s)
      Takehiro Ito, Marcin Jakub Kaminski, Hirotaka Ono
    • Organizer
      Algorithms and Computation - 25th International Symposium, ISAAC 2014
    • Place of Presentation
      Jeonju, Korea
    • Year and Date
      2014-12-15 – 2014-12-17
  • [Presentation] On the Parameterized Complexity for Token Jumping on Graphs.2014

    • Author(s)
      Takehiro Ito, Marcin Kaminski, Hirotaka Ono, Akira Suzuki, Ryuhei Uehara, Katsuhisa Yamanaka
    • Organizer
      Theory and Applications of Models of Computation - 11th Annual Conference, TAMC 2014
    • Place of Presentation
      Chennai, India
    • Year and Date
      2014-04-11 – 2014-04-13

URL: 

Published: 2016-05-27  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi