IEICE Technical Report

Online edition: ISSN 2432-6380

Theoretical Foundations of Computing

Workshop Date : 2021-08-25 / Issue Date : 2021-08-18

COMP2021-9
Lower Bounds for Induced Cycle Detection in Distributed Computing
Francois Le Gall, Masayuki Miyamoto (Nagoya Univ.)
pp. 1 - 8

COMP2021-10
[Invited Talk] Transportation Problem on a Graph Allowing Sending and Bringing-back
Tetsuo Asano (Kanazawa Univ.)
p. 9

COMP2021-11
Rational sumcheck protocols for classically delegating quantum computing to a quantum server
Yuki Takeuchi (NTT), Tomoyuki Morimae (Kyoto Univ.), Seiichiro Tani (NTT)
pp. 10 - 13

COMP2021-12
Proving A Theorem of two-player TANHINMIN via Coq Proof Assistant
Katsuki Ohto (無所属)
pp. 14 - 18

Note: Each article is a technical report without peer review, and its polished version will be published elsewhere.

The Institute of Electronics, Information and Communication Engineers (IEICE), Japan