Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380
[TOP] | [2010] | [2011] | [2012] | [2013] | [2014] | [2015] | [2016] | [Japanese] / [English]
COMP2013-32
巨大で疎な組合せ集合を表現するための三分索引化ZDD
○青木洋士（北大）・戸田貴久（JST）・湊 真一（北大）
pp. 1 - 8
COMP2013-33
距離遺伝グラフにおけるハミルトン閉路問題
○神保孝則・平田富夫（名大）
pp. 9 - 12
COMP2013-34
高階圧縮の高速化と効率の良い符号化
○矢口和也（東北大）・小林直樹（東大）・篠原 歩（東北大）
pp. 13 - 20
COMP2013-35
［チュートリアル講演］計算複雑さへの招待（4）：計算限界証明における障壁
○玉置 卓（京大）
p. 21
COMP2013-36
Constant-Space Zero-Knowledge Proofs Systems with One-Way Quantum Verifiers
-- Preliminary Report --
○Marcos Villagra・Tomoyuki Yamakami（Univ. of Fukui）
pp. 23 - 24
COMP2013-37
フロベニウスの硬貨交換問題に対する構文解析表を用いたアルゴリズム
○松原俊一（青学大）
pp. 25 - 28
注： 本技術報告は査読を経ていない技術報告であり，推敲を加えられていずれかの場に発表されることがあります．