情報・システム-コンピュテーション(開催日:2022/10/26)

タイトル/著者/発表日/資料番号
A Moderately Exponential Time Satisfiability Algorithm for Linear-Sized Deterministic Width-2 Branching Programs

牧田 十夢(成蹊大),  長尾 篤樹(お茶の水女子大),  岡田 樹(成蹊大),  脊戸 和寿(北大),  照山 順一(兵庫県立大),  

[発表日]2022-10-26
[資料番号]COMP2022-14
Enumeration of Transversal Edge-Partitions

信樂 昂輝(岩手大),  カク アシュウ(岩手大),  山中 克久(岩手大),  平山 貴司(岩手大),  

[発表日]2022-10-26
[資料番号]COMP2022-16
移動時間と容量が一定である辺を持つ双方向グリッドネットワークにおける最速避難問題

戸國 友貴(兵庫県立大),  加藤 直樹(兵庫県立大),  照山 順一(兵庫県立大),  東川 雄哉(兵庫県立大),  

[発表日]2022-10-26
[資料番号]COMP2022-15
平面グラフ中の辺連結度制約付き全域部分グラフの効率良い列挙

小林 靖明(北大),  栗田 和宏(名大),  和佐 州洋(法政大),  

[発表日]2022-10-26
[資料番号]COMP2022-17
初等的に和近似不可能だが追跡可能な無理数

廣島 佳汰(京大),  河村 彰星(京大),  

[発表日]2022-10-26
[資料番号]COMP2022-19
リスト構築問題の計算困難性

原田 崇司(高知工科大),  渕野 敬(神奈川大),  田中 賢(神奈川大),  三河 賢治(前橋工科大),  

[発表日]2022-10-26
[資料番号]COMP2022-20
[Invited Talk] Hedonic Games and Treewidth Revisited

Tesshu Hanaka(九大),  Michael Lampis(LAMSADE),  

[発表日]2022-10-26
[資料番号]COMP2022-18
[招待講演]グラフ探索の並列化と応用

美添 一樹(九大),  

[発表日]2022-10-26
[資料番号]COMP2022-13