Online edition: ISSN 2432-6380
[TOP] | [2016] | [2017] | [2018] | [2019] | [2020] | [2021] | [2022] | [Japanese] / [English]
COMP2019-1
内外相似パズルにおける困難性と効率的なアルゴリズム
○樋本 喬・上原隆平（北陸先端大）
pp. 9 - 13
COMP2019-2
格子パズルの困難性
小林靖明・末續鴻輝・立木秀樹（京大）・○上原隆平（北陸先端大）
pp. 15 - 22
COMP2019-3
ZDDを用いたグラフ細分構造の列挙索引化
○中畑 裕・川原 純（京大）・堀山貴史（埼玉大）・湊 真一（京大）
pp. 51 - 58
COMP2019-4
Improved Quantum Multicollision-Finding Algorithm
Akinori Hosoyamada・Yu Sasaki・○Seiichiro Tani・Keita Xagawa（NTT）
pp. 59 - 65
COMP2019-5
Rational proofs for quantum computing
Tomoyuki Morimae（Kyoto Univ.）・○Harumichi Nishimura（Nagoya Univ.）
pp. 67 - 74
COMP2019-6
［招待講演］Plane Formation by Synchronous Mobile Robots in the Three-Dimensional Euclidean Space
○Yukiko Yamauchi・Taichi Uehara・Shuji Kijima・Masafumi Yamashita（Kyushu Univ.）
p. 75
COMP2019-7
視界に制限のあるライト付きモバイルロボットによるリング探索
○長濵将太・大下福仁・井上美智子（奈良先端大）
pp. 83 - 90
COMP2019-8
半順序集合の次元を求める固定パラメータアルゴリズム
○小林靖明（京大）
pp. 91 - 95
COMP2019-9
Subgraph Isomorphism on Graph Classes that Exclude a Substructure
Hans L. Bodlaender（Utrecht Univ.）・Tesshu Hanaka（Chuo Univ.）・Yasuaki Kobayashi・Yusuke Kobayashi（Kyoto Univ.）・Yoshio Okamoto（UEC）・○Yota Otachi（Kumamoto Univ.）・Tom C. van der Zanden（Utrecht Univ.）
pp. 103 - 104
注： 本技術報告は査読を経ていない技術報告であり，推敲を加えられていずれかの場に発表されることがあります．