• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 課題ページに戻る

2012 年度 実施状況報告書

離散最適化問題の計算モデルと高品質アルゴリズム設計

研究課題

研究課題/領域番号 23500020
研究機関九州工業大学

研究代表者

宮野 英次  九州工業大学, 大学院情報工学研究院, 准教授 (10284548)

キーワード離散最適化問題 / 近似アルゴリズム / 近似困難性 / 正則誘導連結部分グラフ抽出問題 / グラフ有向化最適化問題 / ソーティングバッファ最適化問題 / NP困難問題 / 直径を制約とした最適部分グラフ抽出問題
研究概要

本研究の目的は,困難な離散最適化問題を対象とした計算モデルの構築,計算理論的解析に裏付けされた解精度保証のあるアルゴリズム設計手法の開発,及び問題自体が有する解精度の意味での困難性の解明を行うことである.今年度の主な研究成果は以下である.1.頂点数を最大とする正則誘導連結部分グラフを求める最適化問題について,求める解のサイズをパラメータとしたパラメータ版の問題を考えたとき,次数が3の正則誘導連結部分グラフを求めるときにも計算困難となることを示した.また,解精度の意味での近似困難性の改善を行った.2.入力を重み無し無向グラフとするグラフの有向化最適化問題の中で,有向グラフの出次数が指定した値Wよりも大きくなる/小さくなる頂点の数を最大化/最小化する最適化問題について考えた.本問題は,Wの値により,代表的なNP困難問題である最大独立頂点集合問題,最小頂点被覆問題と等価な問題になるという意味で,これらの問題を一般化した問題と考えることができる.様々なWの値に対して,解精度保証のある近似アルゴリズムの開発,解精度の意味での近似困難性を示した.3.複数の種類の仕事が次々に与えられたとき,その仕事を一時的にバッファに蓄え,同種の仕事を連続して処理することで,処理の切替オーバーヘッドを失くし,全体の処理時間を小さくすることを目的とするソーティングバッファ最適化問題について考え,NP困難性を示した.4.直径を制約とした最適部分グラフ抽出問題について,強弦グラフ,弦グラフ,弱弦グラフ,区間グラフを入力集合とする場合には計算が容易になることを示した.それぞれの研究成果については,国内外論文誌,国際会議,国内学会の研究会で公表を行った.

現在までの達成度 (区分)
現在までの達成度 (区分)

2: おおむね順調に進展している

理由

本研究の目的は,(I)NP困難問題と呼ばれる多項式時間で最適な解を求めるためのアルゴリズムを持たないであろうと予想されている最適化問題,及び(II)入力インスタンスの情報の一部が与えられていない(もしくは利用できない)最適化問題,すなわち,情報が不完全な形で与えられるために最適解を求めることが困難な最適化問題の2種類の困難な離散最適化問題を対象とした計算モデルの構築,計算理論的解析に裏付けされた解精度保証のあるアルゴリズム設計手法の開発,及び問題自体が有する解精度の意味での困難性の解明を行うことである.
(I)については,正則誘導連結部分グラフ抽出問題,無向グラフの有向化最適化問題,直径を制約とした最適部分グラフ抽出問題,ソーティングバッファ最適化問題,最大独立頂点集合問題を拡張した最適化問題に関して,計算容易性/困難性,計算理論的解析に裏付けされた解精度保証のあるアルゴリズム設計,固定パラメータに対する計算量解析などを行いそれらの研究成果を,AAAC年次総会や東京,ギリシャ,カナダで行われた国際会議,電子情報通信学会やOR学会の支部大会や研究会,LAシンポジウムにおいて発表した.また,国内外の論文誌でも公表をした.
(II)については,W-CDMA方式で用いられる直交可変拡散率(OVSF)符号割当をオンライン情報モデルとして定式化したオンラインOVSF符号割当問題に対して,解精度の尺度である競合比と計算リソースとの関係を調べた.研究成果については国外論文誌に掲載されることが決まっている.このように,当初の計画通りに進んでいる.

今後の研究の推進方策

昨年度および今年度と順調に進んできてきた.今後も,これまでと同様の手法と手順で研究目標の達成を目指す.近似精度,競合精度の上界と下界に存在するギャップは徐々に小さくしていくしかないと思われるため,近似アルゴリズム,競合アルゴリズムの改良と近似下界,競合下界の証明法の改良を繰り返しながら研究を進めていく.今後も,米国における国際会議STOC,FOCS,及びSODA,欧州における国際会議ICALP及びESAを中心に近似アルゴリズムの設計,近似精度の解明,オンライン情報モデルにおける競合アルゴリズムの設計,競合精度の限界解明,数学的なツールに関する調査を行っていく.文献調査に加えて,情報処理学会アルゴリズム研究会,電子情報通信学会コンピュテーション研究会などの国内各種研究会に参加し,本研究課題の目標を達成するための有益な情報を得る.オフライン情報モデルについては,固定パラメータに対する計算困難性と計算容易性に関する検討を始めており,引き続き進めていく.オンライン最適化問題については,バッファを用いることで整列を行う問題の定式化を行い,競合比解析を行っていく.各段階で得られた結果については,国内研究会,学会総合大会,国際会議などで随時公表を行っていき,他の研究機関研究者からのフィードバックを得ることで,手法の再検討を行う.

次年度の研究費の使用計画

平成24年度使用予定額の34万円程度を次年度に繰り越すことになった.これは,無向グラフの有向化最適化問題と直径を制約とした最適部分グラフ抽出問題に対する研究成果は得られていたが,その国際会議での公表が遅れたためである.前者についてはヨーロッパで開催される国際会議に投稿中であり,後者についてはAAAC年次総会での研究発表が採択されており,繰り越した研究費は,これらの旅費として使用予定である.
平成25年度は,繰り越し分と含めて164万円程度の研究費の使用を予定している.その内訳は,設備備品費として20万円,消耗品費として10万円,国内旅費として35万円,外国旅費として80万円,謝金等として12万円,その他として7万円である.設備備品費によりノートPC,アルゴリズム論や計算量理論に関する図書を購入する.メモリーやソフトウェアなどのPC関連の消耗品の購入も計画している.国内旅費により北海道,関西,四国,熊本で開催される計算に関する研究会,学会への参加を予定している.現時点で宮城県で開催されるAAAC年次総会への参加が決まっており,また,他の国際会議での研究成果の公表を計画しているため外国旅費が必要となる.大学院生による研究補助,専門知識の提供のために125時間分の謝金,研究成果を国際ジャーナル誌に投稿するための論文投稿費用も必要となる.

  • 研究成果

    (19件)

すべて 2013 2012 その他

すべて 雑誌論文 (8件) (うち査読あり 8件) 学会発表 (8件) 備考 (3件)

  • [雑誌論文] Inapproximability of Maximum r-Regular Induced Connected Subgraph Problems2013

    • 著者名/発表者名
      Yuichi Asahiro, Hiroshi Eto, Eiji Miyano
    • 雑誌名

      IEICE Transactions on Information and Systems

      巻: Vol.E96-D(3) ページ: 443-449

    • DOI

      10.1587/transinf.E96.D.443

    • 査読あり
  • [雑誌論文] Optimal Distortion Embedding of Complete Binary Trees into Lines2012

    • 著者名/発表者名
      Masao Kumamoto, Eiji Miyano
    • 雑誌名

      Information Processing Letters

      巻: Vol.112(19) ページ: 365-370

    • DOI

      10.1016/j.ipl.2012.02.003

    • 査読あり
  • [雑誌論文] NP-Hardness of the Sorting Buffer Problem on the Uniform Metric2012

    • 著者名/発表者名
      Yuichi Asahiro, Kenichi Kawahara, Eiji Miyano
    • 雑誌名

      Discrete Applied Mathematics

      巻: Vol.160(10) ページ: 1453-1464

    • DOI

      10.1016/j.dam.2012.02.005

    • 査読あり
  • [雑誌論文] W[1]-Hardness of Regular Induced Connected Subgraph Problems2012

    • 著者名/発表者名
      Yuichi Asahiro
    • 雑誌名

      Proceedings of the Fifth Asian Association for Algorithms and Computation Annual Meeting (AAAC12)

      巻: なし ページ: 19-19

    • 査読あり
  • [雑誌論文] Distance-d Independent Set Problems2012

    • 著者名/発表者名
      Hiroshi Eto
    • 雑誌名

      Proceedings of the Fifth Asian Association for Algorithms and Computation Annual Meeting (AAAC12)

      巻: なし ページ: 20-20

    • 査読あり
  • [雑誌論文] Graph Orientations Optimizing the Number of Light or Heavy Vertices2012

    • 著者名/発表者名
      Yuichi Asahiro
    • 雑誌名

      Proceedings of the 2nd International Symposium on Combinatorial Optimization (ISCO 2012)

      巻: LNCS 7422 ページ: 161-168

    • 査読あり
  • [雑誌論文] Improved Inapproimability of Regular Induced Connected Subgraph Problems2012

    • 著者名/発表者名
      Yuichi Asahiro
    • 雑誌名

      Proceedings of the 15th Japan-Korea Joint Workshop on Algorithms and Computation (WAAC 2012)

      巻: なし ページ: 161-168

    • 査読あり
  • [雑誌論文] Distance-d Independent Set Problems for Bipartite and Chordal Graphs2012

    • 著者名/発表者名
      Hiroshi Eto
    • 雑誌名

      Proceedings of the 6th Annual International Conference on Combinatorial Optimization and Applications (COCOA 2012)

      巻: LNCS7402 ページ: 234-244

    • 査読あり
  • [学会発表] 弦グラフにおける最大正則誘導部分グラフ探索問題2013

    • 著者名/発表者名
      江藤 宏
    • 学会等名
      火の国情報シンポジウム2013
    • 発表場所
      熊本大学(熊本)
    • 年月日
      20130314-20130315
  • [学会発表] 弦グラフにおける直径限定部分グラフ最大化問題2013

    • 著者名/発表者名
      土井 悠也
    • 学会等名
      火の国情報シンポジウム2013
    • 発表場所
      熊本大学(熊本)
    • 年月日
      20130314-20130315
  • [学会発表] ターミナル数限定成分素シュタイナー木最大化問題の近似アルゴリズム2013

    • 著者名/発表者名
      星加 大樹
    • 学会等名
      火の国情報シンポジウム2013
    • 発表場所
      熊本大学(熊本)
    • 年月日
      20130314-20130315
  • [学会発表] ターミナル数を限定した成分素シュタイナー木最大化問題2012

    • 著者名/発表者名
      星加 大輝
    • 学会等名
      日本OR学会九州支部 第3回九州地区における若手OR研究交流会
    • 発表場所
      北九州市立大学(福岡)
    • 年月日
      20121027-20121028
  • [学会発表] 弦グラフ上での距離d独立頂点集合問題2012

    • 著者名/発表者名
      郭 豊瑞
    • 学会等名
      日本OR学会九州支部 第3回九州地区における若手OR研究交流会
    • 発表場所
      北九州市立大学(福岡)
    • 年月日
      20121027-20121028
  • [学会発表] 次数を限定した平面グラフにおける誘導部分グラフ探索問題2012

    • 著者名/発表者名
      江藤 宏
    • 学会等名
      日本OR学会九州支部 第3回九州地区における若手OR研究交流会
    • 発表場所
      北九州市立大学(福岡)
    • 年月日
      20121027-20121028
  • [学会発表] 次数を限定した誘導部分グラフ探索問題2012

    • 著者名/発表者名
      江藤 宏
    • 学会等名
      2012年夏のLAシンポジウム
    • 発表場所
      宮津市(京都)
    • 年月日
      20120717-20120719
  • [学会発表] 距離d独立頂点集合問題の計算複雑さ2012

    • 著者名/発表者名
      宮野 英次
    • 学会等名
      電子情報通信学会コンピュテーション研究会
    • 発表場所
      北海道大学(北海道)
    • 年月日
      20120621-20120621
  • [備考] 九州工業大学研究者情報

    • URL

      https://research02.jimu.kyutech.ac.jp/html/233_ja.html

  • [備考] 業績リスト

    • URL

      http://theory.ces.kyutech.ac.jp/~miyano/publication-j.html

  • [備考] 講演リスト

    • URL

      http://theory.ces.kyutech.ac.jp/~miyano/talk-j.html

URL: 

公開日: 2014-07-24  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi