研究課題
若手研究(B)
実用的な最適化問題の多くは,NP困難と呼ばれる計算困難なクラスに属している. 本研究では, これらの計算困難問題に対する高速な厳密アルゴリズムの設計とその計算量の解析を行った. 結果として, 論理回路の充足可能性問題, 和積形論理式の最大充足可能性問題に対する高速なアルゴリズムを得ることができた. また, 最小直線配置問題に対する劣指数時間アルゴリズム, 制約充足可能性問題に対する頑健なアルゴリズムも与えた.
すべて 2014 2013 2012 2011 その他
すべて 雑誌論文 (7件) (うち査読あり 7件) 学会発表 (19件) (うち招待講演 2件) 備考 (4件)
Random Structures & Algorithms
巻: 未定
120005676683
Algorithmica
巻: 67(2) ページ: 112-124
Computational Complexity
巻: 22(2) ページ: 245-274
120005474485
巻: 未定 号: 2 ページ: 112-124
10.1007/s00453-012-9741-4
Theor. Comput. Sci
巻: 412(35) ページ: 4613-4618
120003338848
Theor.Comput.Sci.
巻: 412(35) 号: 35 ページ: 4613-4618
10.1016/j.tcs.2011.04.041
巻: (to appear)
http://www.lab2.kuis.kyoto-u.ac.jp/~tamak/index-j.html
http://www.lab2.kuis.kyoto-u.ac.jp/~tamak/