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

計算困難な問題への混成アプローチ:近似、並列化、randomization

研究課題

研究課題/領域番号 12780241
研究種目

奨励研究(A)

配分区分補助金
研究分野 計算機科学
研究機関東京電機大学

研究代表者

陳 致中  東京電機大学, 理工学部, 助教授 (00242933)

研究期間 (年度) 2000 – 2001
研究課題ステータス 完了 (2001年度)
配分額 *注記
1,200千円 (直接経費: 1,200千円)
2001年度: 600千円 (直接経費: 600千円)
2000年度: 600千円 (直接経費: 600千円)
キーワードApproximation Algorithms / Computational Biology / Graph Algorithms / Map Graphs / Planar Graphs / Parallel Algorithms / トポロジカル推論 / 最大マッチング問題 / 最大点独立集合問題 / グラフの連結度問題 / ランダムビット節約 / 並列近似アルゴリズム / 確率的並列近似アルゴリズム / 近似アルゴリズム
研究概要

まず、計算的分子生物学における基本的な問題の一つである入れ子構造の弧付き最長共通部分列問題について研究した。この問題は1999年、米国のVictoria大学のEvans博士がtRNAと蛋白質の二次構造解明の研究で定式化された。Evans博士がこの問題のNP-困難性を推測したが、未解決のままにした。そのNP-困難性は本研究で初めて証明された。また、この問題の実用性のため、本研究でこの問題を解くための近似アルゴリズムを二つ設計した。特に、その近似アルゴリズムの一つは入力の系列が「k-diagonal」という良く知られている性質を満たす場合、最適解にほしい分だけ近い近似解を見つけることができる(すなわち、多項式時間近似スキームである)。この近似アルゴリズムを効率よく並列化することもできる。
次に、頂点が生物の種類に対応し、辺が生物間の近縁関係に対応するグラフが与えられたとき、生物の系統史(phylogeny)を再構築する問題について研究した。この問題も計算的生物学における基本的な問題の一つである。本研究で、各種類の生物が定数個の新しい種類の生物しか生まない場合、この問題を解く線形時間のアルゴリズムが存在することを示した。また、実験で得られる生物間の近縁関係にエラーが出やすいことから、エラーを考慮したときの生物系統史の再構築問題についても研究した。この問題がNP困難であることを示した。この問題に対する近似アルゴリズムの開発はこれからの課題である。

報告書

(2件)
  • 2001 実績報告書
  • 2000 実績報告書
  • 研究成果

    (13件)

すべて その他

すべて 文献書誌 (13件)

  • [文献書誌] Zhi-Zhong Chen, et al.: "Approximation Algorithms for NMR Spectral Peak Assignment"Theoretical Computer Science. (受理済).

    • 関連する報告書
      2001 実績報告書
  • [文献書誌] Zhi-Zhong Chen, S.Zhang: "Tight Upper Bound on the Number of Edges in a Bipartite K_<3.3>-free or K_5-free graph with an application"Information Processing Letters. (受理済).

    • 関連する報告書
      2001 実績報告書
  • [文献書誌] Zhi-Zhong Chen, et al.: "Map Graphs"Journal of the ACM. (受理済).

    • 関連する報告書
      2001 実績報告書
  • [文献書誌] Zhi-Zhong Chen, et al.: "Finding Double Euler Trails of Planar Graphs in Linear Time"SIAM Journal on Computing. (受理済).

    • 関連する報告書
      2001 実績報告書
  • [文献書誌] G.-H.Lin, Zhi-Zhong Chen, et al.: "The Longest Common Subsequence Problem for Sequences with Nested Arc Annotation"Journal of Computer and System Sciences. (受理済).

    • 関連する報告書
      2001 実績報告書
  • [文献書誌] Zhi-Zhong Chen: "Approximating Unweighted Connectivity Proldems in Parallel"Information and Computation. 171. 125-136 (2001)

    • 関連する報告書
      2001 実績報告書
  • [文献書誌] Zhi-Zhong Chen: "Approximation Algorithms for Independent Sets in Map Graphs"Journal of Algorithms. 41. 20-40 (2001)

    • 関連する報告書
      2001 実績報告書
  • [文献書誌] Zhi-Zhong Chen: "Approximating Unweighted Connectivity Problems in Parallel"Information and Computation. (to appear).

    • 関連する報告書
      2000 実績報告書
  • [文献書誌] R.Uehara and Zhi-Zhong Chen: "Parallel Approximation Algorithms for Maximum Weighted Matching in General Graphs"Information Processing Letters. 76. 13-17 (2000)

    • 関連する報告書
      2000 実績報告書
  • [文献書誌] Zhi-Zhong Chen and M.-Y.Kao: "Reducing Randomness via Irrational Numbers"SIAM Journal on Computing. 29・4. 1247-1256 (2000)

    • 関連する報告書
      2000 実績報告書
  • [文献書誌] Zhi-Zhong Chen: "Approximation Algorithms for Independent Sets in Map Graphs"Lecture Notes in Computer Science. 1858. 105-114 (2000)

    • 関連する報告書
      2000 実績報告書
  • [文献書誌] Zhi-Zhong Chen and X.He: "Hierarchical Topological Inference on Plamr Disc Maps"Lecture Notes in Computer Science. 1858. 115-125 (2000)

    • 関連する報告書
      2000 実績報告書
  • [文献書誌] R.Uehara and Zhi-Zhong Chen: "Parallel Approximation Algorithms for Maximun Weighted Matching in General Graphs"Lecture Notes in Computer Science. 1872. 84-98 (2000)

    • 関連する報告書
      2000 実績報告書

URL: 

公開日: 2000-04-01   更新日: 2016-04-21  

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

Powered by NII kakenhi