10月16日(火) 午前 10:40 - 16:40 |
(1) |
10:40-11:15 |
3人部屋安定ルームメイト問題のNP完全性 |
岡本和也・○宮崎修一・岩間一雄(京大) |
(2) |
11:15-11:50 |
Complexity of Finding Most Likely Solutions |
○Osamu Watanabe(Tokyo Inst. of Tech.) |
|
11:50-13:30 |
昼食 ( 100分 ) |
(3) |
13:30-14:05 |
パス幅を用いた #2SAT の厳密アルゴリズム |
○元木光雄(北陸先端大) |
(4) |
14:05-14:40 |
Connectedness of domino tilings with impurities |
○Hirotaka Ono(Kyushu Univ.)・Taizo Sadahiro(Pref. Univ. of Kumamoto) |
(5) |
14:40-15:15 |
スネーキーの置き石一つの必勝法 |
○伊藤大雄・宮川博光(京大) |
|
15:15-15:30 |
休憩 ( 15分 ) |
(6) |
15:30-16:05 |
最大クリークを抽出する時間計算量O(2^0.24945n)の多項式領域アルゴリズム |
○中西裕陽・富田悦次(電通大) |
(7) |
16:05-16:40 |
実時間空スタック受理式決定性限定ワンカウンター変換器の多項式時間等価性判定アルゴリズム |
○清野和司(電通大/東芝ソリューション)・富田悦次・若月光夫(電通大) |