Art

J-GLOBAL ID：201302243470705854   Reference number：13A1223016

Stronger Methods of Making Quantum Interactive Proofs Perfectly Complete

量子対話証明を完全に完全性のあるものにするより強力な手法

Author (3)： KOBAYASHI Hirotada (National Inst. of Informatics) ,  LE GALL Francois (Univ. Tokyo) ,  NISHIMURA Harumichi (Nagoya Univ.)
Material： 電子情報通信学会技術研究報告  (IEICE Technical Report (Institute of Electronics, Information and Communication Engineers))
Volume： 113  Issue： 108(COMP2013 19-24)  Page： 31-38  Publication year： Jun. 17, 2013 
JST Material Number： S0532B  ISSN： 0913-5685  Document type： Proceedings
Article type： 短報  Country of issue： Japan (JPN)  Language： ENGLISH (EN)

Thesaurus term： *quantum computation ,  *computational complexity theory ,  classification ,  *proof (evidence) ,  completeness ,  soundness ,  *message switching ,  *computer ,  *quantum computer
Semi thesaurus term： complexity class ,  *対話証明 ,  *quantum computer

JST classification (2)： Theory of computation  (JB02000A) ,  Other computers  (JC06020B)

Terms in the title (5)： 量子 ,  対話 ,  証明 ,  完全性 ,  手法