研究課題
AND/OR BNに対する周期が２の定常状態を求める問題に対する厳密アルゴリズムを開発した。このアルゴリズムでは、与えられたBNの各ノードを時刻tとt+1における値を表現する２つのノードに分解し、結果的にノード数2nの二部BNの周期が１の定常状態を求める問題に変換を行う。その後、まだ0/1が未割当の３つ以上のノードに隣接するノードから優先的に0/1を割り当て、最終的に二部グラフの片側に対する全探索かSAT(充足可能性問題)を解くことにより、本質的に速いアルゴリズムを実現した。さらに周期１のBNの定常状態を求める問題、BNを目的状態へと導く問題、定常状態を制御する問題に対する整数計画法に基づく手法を開発した。また確率BNを制御するための整数計画法と動的計画法に基づく手法を開発した。また当初の研究計画とは少し異なるが、ブーリアンモデルでないネットワークを動的計画法と最小二乗法に基づいて補完する手法を開発した。さらにネットワークの類似性判定に関する研究として、無順序木の編集距離をクリーク問題に帰着して動的計画法で解く手法や、次数に制限のある外平面グラフの最大共通部分グラフを見つける多項式時間アルゴリズムを開発した。また同様の問題が次数に制限のある部分k-木に対してはNP困難になることも証明した。
2: おおむね順調に進展している
当初の研究計画とは異なる内容も含むが、平成２４年度には査読付きジャーナル論文を６件、国際会議４件の発表ができたので、おおむね順調に進展していると言える。
平成２４年度までに、研究計画のほぼすべてを終えており、平成２５年度は研究発表を１件行うのみの予定である。
当初、平成２４年度内に行う予定だった研究会発表を１件、平成２５年度に行う。研究費もそれに関連する目的で支出する予定である。
すべて 2013 2012 その他
すべて 雑誌論文 (6件) (うち査読あり 3件) 学会発表 (4件) 備考 (1件)
International Journal of Data Mining and Bioinformatics
巻: 7(3) ページ: 321-343
10.1504/IJDMB.2013.053306
Algorithms
巻: 6 ページ: 119-135
10.3390/a6010119
The Scientific World Journal
巻: Volume 2012, Article ID 957620 ページ: 8
10.1100/2012/957620
Journal of Computational Biology
巻: 19(10) ページ: 1089-1104
10.1089/cmb.2012.0133
IEEE/ACM Transactions on Computational Biology and Bioinformatics
巻: Vol.9 ページ: 1410-1421
10.1109/TCBB.2012.87
IEICE Transactions on Information and Systems
巻: E95-D2 ページ: 2960-2970
10.1587/transinf.E95.D.2960
http://sunflower.kuicr.kyoto-u.ac.jp/~tamura/paper-list.html
