Online edition: ISSN 2432-6380
[TOP] | [2020] | [2021] | [2022] | [2023] | [2024] | [2025] | [2026] | [Japanese] / [English]
COMP2025-21
On the Complexity of Transformation from Tractable Boolean Formulas to Binary Decision Diagrams
Giovanni Buzzega（PU）・○Kazuhiro Kurita（OU）・Kazuhisa Seto（HU）
pp. 1 - 4
COMP2025-22
極大外平面グラフの二重支配数の上界
○荒木 徹（群馬大）
pp. 5 - 12
COMP2025-23
［招待講演］Existence of Fair and Efficient Allocation of Indivisible Chores
○馬原凌河（東大）
p. 13
COMP2025-24
特定範囲の経路長を達成する多様な経路集合の生成手法の提案
○武藤 慧・天野雄樹・今井桂子（中大）
pp. 14 - 21
COMP2025-25
頂点重み付きグラフ上のモバイルロボット群の集合問題と情報交換
○池田亮介・山内由紀子（九大）
pp. 22 - 29
COMP2025-26
大域的な合意があるモバイルロボット群のためのハードワイヤードパターン形成アルゴリズム
○小嶋優太・山内由紀子（九大）
pp. 30 - 37
COMP2025-27
初代星のカービィのNP完全性
○玉山琉弥・山上智幸（福井大）
pp. 38 - 44
注： 本技術報告は査読を経ていない技術報告であり，推敲を加えられていずれかの場に発表されることがあります．