情報・システム-コンピュテーション(開催日:2024/03/14)

タイトル/著者/発表日/資料番号
成長するグラフ上のランダムウォークの再帰性のcouplingを用いた証明

熊本 舟馬(九大),  来嶋 秀治(滋賀大),  白井 朋之(九大),  

[発表日]2024-03-14
[資料番号]COMP2023-33
Time Analysis of Space Efficient Uniform Partitioning in Population Protocols

パスカル ザーナー(奈良先端大/RWTH Aachen),  江口 僚太(奈良先端大),  大下 福仁(福井工大),  井上 美智子(奈良先端大),  

[発表日]2024-03-14
[資料番号]COMP2023-34
[Invited Talk] Gap Amplification for Reconfiguration Problems

大坂 直人(サイバーエージェント),  

[発表日]2024-03-14
[資料番号]COMP2023-31
ましゅの定数時間検査

兜石 鼓太郎(電通大),  伊藤 大雄(電通大),  

[発表日]2024-03-14
[資料番号]COMP2023-30
たすくえあのNP完全性の証明について

福永 智渉(静岡県立大),  大久保 誠也(静岡県立大),  

[発表日]2024-03-14
[資料番号]COMP2023-29
漸化式による全域木多面体の体積の表現とその計算に関する考察

安藤 映(専修大),  

[発表日]2024-03-14
[資料番号]COMP2023-35
タイを含む無羨望マッチングの遷移

岩政 勇仁(京大),  川原 純(京大),  上田 結大(京大),  

[発表日]2024-03-14
[資料番号]COMP2023-32
ペンタヘックス・ヘプタモンドパズルの解の総数

白川 俊博(*),  

[発表日]2024-03-14
[資料番号]COMP2023-28