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
An upper bound for the double domination number of maximal outerplanar graphs
○Toru Araki（Gunma Univ）
pp. 5 - 12
COMP2025-23
［招待講演］Existence of Fair and Efficient Allocation of Indivisible Chores
○Ryoga Mahara（The University of Tokyo）
p. 13
COMP2025-24
特定範囲の経路長を達成する経路集合の生成
○武藤 慧・天野雄樹・今井桂子（中大）
pp. 14 - 21
COMP2025-25
頂点重み付きグラフ上のモバイルロボット群の集合問題と情報交換
○池田亮介・山内由紀子（九大）
pp. 22 - 29
COMP2025-26
大域的な合意があるモバイルロボット群のためのハードワイヤードパターン形成アルゴリズム
○小嶋優太・山内由紀子（九大）
pp. 30 - 37
COMP2025-27
初代星のカービィのNP完全性
○玉山琉弥・山上智幸（福井大）
pp. 38 - 44
注： 本技術報告は査読を経ていない技術報告であり，推敲を加えられていずれかの場に発表されることがあります．