宮本昌幸 (Masayuki MIYAMOTO) - マイポータル

基本情報

Distributed Complexity of $P_k$-freeness: Decision and Certification

Masayuki, Miyamoto

Proceedings of the 36th International Symposium on Algorithms and Computation (ISAAC 2025) 51:1-51:21 2025年12月査読有り
Quantum Merlin-Arthur proof systems for synthesizing quantum states

Hugo, Delavenne, Francois, Le Gall, Yupan, Liu, Masayuki, Miyamoto

Quantum 2025年2月査読有り
Distributed Merlin-Arthur Synthesis of Quantum States and Its Applications

Francois, Le Gall, Masayuki, Miyamoto, Harumichi, Nishimura

Proceedings of the 48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023) 2023年8月査読有り
Distributed Quantum Interactive Proofs

Francois, Le Gall, Masayuki, Miyamoto, Harumichi, Nishimura

Proceedings of the 40th International Symposium on Theoretical Aspects of Computer Science (STACS 2023) 48:1-48:3 2023年3月査読有り
Lower bounds for induced cycle detection in distributed computing

Francois, Le Gall, Masayuki, Miyamoto

Proceedings of the 32nd International Symposium on Algorithms and Computation (ISAAC 2021) 2021年12月査読有り
Quantum speedup for the minimum steiner tree problem

Masayuki, Miyamoto, Masakazu, Iwamura, Koichi, Kise, Francois, Le G.

International Computing and Combinatorics Conference 234-245 2020年8月査読有り

Distributed Complexity of $P_k$-freeness: Decision and Certification

MIYAMOTO, Masayuki

The 36th International Symposium on Algorithms and Computation