研究課題
基盤研究(C)
DNA計算は、ワトソンクリックの相補性を利用して、意図的に微細構造を形成することにより計算を行う新しい計算パラダイムである。本研究では、意図した通りに構造形成をする配列を設計するための効率の良い解析アルゴリズムの開発と、配列設計を行うためのシステム開発を行った。大きく3つの成果からなる。第一の成果は、試験管内における配列濃度を考慮しないという単純化されたモデル下での、配列集合の評価アルゴリズムの開発である。有限集合に配列集合を限定することにより、0(n^5)の効率の良いアルゴリズムを開発した。ここで、nは配列を定義するオートマトンの状態数である。第二の成果は、配列の濃度を考慮したより厳密なモデルでの、配列集合評価アルゴリズムの理論の提案である。ここで対象とする問題は、物理学的に述べると、反応系の平衡状態を計算する問題である。反応系で生成される複合体の数が入力配列のサイズに関して指数関数的に増大するので、その解析は計算量的に困難である。本研究では、組み合わせ爆発の問題を解決して、効率的に平衡状態を計算するための画期的な理論を提案した。そこでは、最適化理論とグラフ理論を融合することにより、生成される複合体の組み合わせ爆発の問題を解決している。第三の成果は、第一の成果とこれまで研究代表者が提案してきたテンプレート法という配列設計手法を統合して、ハイブリッド型の配列設計システムを構築したことである。これにより、さまざまな設計制約を満たす配列集合を効率よく設計することが可能となった。
すべて 2008 2007 2006
すべて 雑誌論文 (8件) (うち査読あり 2件) 学会発表 (5件)
Technical Report of Dept. of Computer Science, Univ. of Electro Communications CS08-01
ページ: 29
Proc. of Workshop on Computing and Communications from Biological Systems: Theory and Applications CD-ROM
ページ: 論文番号2376
Proc. of Workshop on Computing and Communications from Biological Systems : Theory and Applications, paper 2376
Proceedings of 11th International Meeting on DNA Computing LNCS 3892
ページ: 171-180
Technical Report of Dept. of Computer Science, Univ. of Electro Communications CS06-01
ページ: 30
Proceedings of 11th International Meeting on DNA Computing, LNCS 3892
