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

2012 年度 実績報告書

省メモリ計算モデル上でのアルゴリズム設計技法の開発

研究課題

研究課題/領域番号 23300001
研究機関北陸先端科学技術大学院大学

研究代表者

浅野 哲夫  北陸先端科学技術大学院大学, 情報科学研究科, 教授 (90113133)

研究期間 (年度) 2011-04-01 – 2015-03-31
キーワードアルゴリズム / 省メモリ / 計算幾何学 / 作業領域 / 計算複雑度
研究概要

アルゴリズムの研究分野では,従来から作業領域のサイズと計算時間の関係について様々な角度から研究が行われてきた.ディスクに代表される外部記憶装置とのデータ転送回数に注目したアルゴリズム設計法や,キャッシュのサイズを知らなくてもキャッシュを効果的に利用できるアルゴリズム(Cache Oblivious Algorithm)などが研究されてきた.また,ネットワーク時代のオンラインデータ処理を対象としたストリーム・アルゴリズムの研究も盛んに行われている. このように,メモリと計算時間の関係は常にアルゴリズム研究における中心的な関心事であった.本研究では,現在の計算環境を反映した新たな省メモリ計算モデル上で,効率のよいアルゴリズムを開発するための一般的なアルゴリズム設計技法の開発を行った.
昨年度までは定数作業領域のアルゴリズム開発に力を注いだが,実用的な見地からは制約が強すぎるということで,もう少し多くのメモリを使用するアルゴリズムの開発に研究の対象を移行した.具体的な課題としては,多角形内での最短経路問題がある.n頂点の単純な多角形が与えられたとき,これに前処理を施してO(s)のサイズのデータ構造を構成しておくことにより,最短経路の計算をO(s)倍だけ高速化できることを示した.この結果は国際会議に発表済である.また,画像処理に関する問題については,画素数の平方根程度のメモリを使うだけで,重要ないくつかの問題が効率よく解けることを示した.中でも連結成分ごとに異なる整数ラベルをつける問題についてはO(n log n)時間のアルゴリズム設計に成功した.国際会議で発表したところ,高い評価を受け,特集号への招待を受けた.

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

1: 当初の計画以上に進展している

理由

研究を開始した段階においては省メモリアルゴリズムの大半が定数作業領域のものであり,制約が厳しすぎるという問題があった.昨年度は,一般にO(s)の作業領域を用いた場合に,O(1)の作業領域を用いた場合の計算量をO(s)倍改善できるかに焦点を当てて研究を行った.その結果,平面上における線分交差判定,交差線分列挙問題に対して効率の良いアルゴリズムを開発することに成功した.また,単純な多角形に対して前処理を行うことによりO(s)の重要な情報を獲得しておくと,2点間の最短経路問題がO(s)倍高速に解けることも示した.データ構造とは入力データを検索に都合が良いように加工するというのが従来の考え方であったが,重要な情報を少しだけ取り出しておいて,その分高速化を図るという考え方は斬新である.その意味で,計算幾何学に関連する部分については当初の計画よりも大きく前進している.
本研究では,計算幾何学への応用だけでなく,基本的な画像処理問題への応用についても対象としている.昨年度はディジタル幾何学において最も重要な問題とされる連結成分ラベリング問題に取り組み,画素数の平方根程度,すなわち画像の数行分のメモリだけを用いるだけでO(n log n)時間の高速アルゴリズムを設計することができた.この成果は国際会議でも高く評価され,この点でも当初の研究計画を超える成果を得ている.

今後の研究の推進方策

ここまで順調に研究は進んでいる.今年度は特に課題のテーマで国際ワークショップも計画しており,ますます多くの研究者が省メモリアルゴリズムに関する研究に取り組んでくれることを期待している.具体的な研究課題としては,作業領域のサイズと計算時間の関係について更に深く考察することである.大きな作業領域を使えば高速化できると思われるが,実際にはこの素朴な期待は実現困難であることが多い.というよりも,この素朴な期待が成り立つ計算問題があまり見つかっていないという現実がある.そこで,今後は作業領域と計算時間の間のトレードオフの問題に研究の重点を移し,この枠組みに入る計算問題のクラスを特徴づけることと,このクラスの多くの問題に適用可能な一般的なアルゴリズム技法とデータ構造を開発することを研究目的としたい.

  • 研究成果

    (7件)

すべて 2012

すべて 雑誌論文 (5件) (うち査読あり 5件) 学会発表 (2件)

  • [雑誌論文] Algorithm for Reporting All Segment Intersections Using Work Space of Arbitrary Size2012

    • 著者名/発表者名
      Matsuo Konagaya
    • 雑誌名

      IEICE Trans. EA

      巻: 1 ページ: 1-1

    • DOI

      10.1587/transfun.E0.A.1

    • 査読あり
  • [雑誌論文] A Small-Space Algorithm for Removing Small Connected Components from a Binary Image2012

    • 著者名/発表者名
      Tetsuo Asano
    • 雑誌名

      IEICE Trans. EA

      巻: 1 ページ: 1-1

    • DOI

      10.1587/transinf.E0.D.1

    • 査読あり
  • [雑誌論文] NP-completeness of Generalized Kaboozle2012

    • 著者名/発表者名
      Tetsuo Asano
    • 雑誌名

      Journal of Information Processing

      巻: 20(3) ページ: 713-718

    • DOI

      10.2197/ipsjjip.20.713

    • 査読あり
  • [雑誌論文] Faster Computation of the Robinson-Foulds Distance between Phylogenetic Networks2012

    • 著者名/発表者名
      Tetsuo Asano
    • 雑誌名

      Information Sciences

      巻: 197 ページ: 77-90

    • DOI

      10.1016/j.ins.2012.01.038

    • 査読あり
  • [雑誌論文] In-place Algorithm for Erasing a Connected Component in a Binary Image2012

    • 著者名/発表者名
      Tetsuo Asano
    • 雑誌名

      Theory of Computing Systems

      巻: 50, 1 ページ: 111-123

    • DOI

      10.1007/s00224-011-9335-6

    • 査読あり
  • [学会発表] A New Framework for Connected Components Labeling of Binary Images2012

    • 著者名/発表者名
      Tetsuo Asano
    • 学会等名
      15th International Workshop on Combinatorial Image Analysis
    • 発表場所
      Austin, USA
    • 年月日
      20121128-20121130
  • [学会発表] Small Work Space Algorithms for Some Basic Problems on Binary Images2012

    • 著者名/発表者名
      Tetsuo Asano
    • 学会等名
      15th International Workshop on Combinatorial Image Analysis
    • 発表場所
      Austin, USA
    • 年月日
      20121128-20121130

URL: 

公開日: 2014-07-24  

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

Powered by NII kakenhi