情報・システム-コンピュテーション(開催日:2016/06/24)

タイトル/著者/発表日/資料番号
Ls in LとSphinxes in Sphinxに対する敷き詰め方の数の下界の改善

兼本 樹(神戸大),  斎藤 寿樹(神戸大),  

[発表日]2016-06-24
[資料番号]COMP2016-9
多項式時間数え上げ階層の緩減算的還元のもとでの完全性について

松原 俊一(青学大),  

[発表日]2016-06-24
[資料番号]COMP2016-7
ゼロサプレス型二分決定グラフによる文字グラフの列挙

川原 純(奈良先端大),  斎藤 寿樹(神戸大),  吉仲 亮(東北大),  

[発表日]2016-06-24
[資料番号]COMP2016-8
3SATの一アルゴリズム

月本 洋(東京電機大),  

[発表日]2016-06-25
[資料番号]COMP2016-10
イジング計算機に向けたグラフ埋め込みアルゴリズム

奥山 拓哉(日立),  吉村 地尋(日立),  林 真人(日立),  田中 咲(日立),  山岡 雅直(日立),  

[発表日]2016-06-25
[資料番号]COMP2016-11
Computational Complexity of Sequential Token Swapping Problem

山中 克久(岩手大),  エリック ドメイン(MIT),  堀山 貴史(埼玉大),  河村 彰星(東大),  中野 眞一(群馬大),  岡本 吉央(電通大),  斎藤 寿樹(神戸大),  鈴木 顕(東北大),  上原 隆平(北陸先端大),  宇野 毅明(NII),  

[発表日]2016-06-25
[資料番号]COMP2016-13
点容量型多品種フロー問題に対する双対降下アルゴリズムとその応用

平井 広志(東大),  

[発表日]2016-06-25
[資料番号]COMP2016-12