Information and Systems-Image Engineering(Date:2021/08/25)

Presentation
Lower Bounds for Induced Cycle Detection in Distributed Computing

Francois Le Gall(Nagoya Univ.),  Masayuki Miyamoto(Nagoya Univ.),  

[Date]2021-08-25
[Paper #]COMP2021-9
Rational sumcheck protocols for classically delegating quantum computing to a quantum server

Yuki Takeuchi(NTT),  Tomoyuki Morimae(Kyoto Univ.),  Seiichiro Tani(NTT),  

[Date]2021-08-25
[Paper #]COMP2021-11
Proving A Theorem of two-player TANHINMIN via Coq Proof Assistant

Katsuki Ohto(無所属),  

[Date]2021-08-25
[Paper #]COMP2021-12
[Invited Talk] Transportation Problem on a Graph Allowing Sending and Bringing-back

Tetsuo Asano(Kanazawa Univ.),  

[Date]2021-08-25
[Paper #]COMP2021-10