理学 计算复杂性 释 interactive proof 交互式证明 交互式证明（Interactive Proof）是包含了非确定性（nondeterminism）、随机性（randomness）、交互性（interaction）的一种计算模型。一个交互式证明系统由证明器（Prover）和验证器（Verifier）组成。证明器的计算能力无限（非确定性），验证器的计算能力有限但可以利用随机数（随机性），证明器和验证器之间交替地发送消息（交互性）。
理论计算机科学 可计算性与计算复杂性 释文 interactive proofs 交互式证明
- National Center for Chronic and Non-communicable Disease Control and Prevention, Chinese Center for Disease Control and Prevention，NCNCD
- National Center for Educational Technology
- National Center for Foreign Animal Diseases（Canada）
- National Center for Geographic Information and Analysis
- National Center for Nanoscience and Technology，Chinese Academy of Sciences
- National Center for Scientific Research in France
- National Center for Traditional Arts, Yilan County
- National Center for University Works
- National Center of Educational Development Research
- National Center of Geriatrics and Gerontology
- National Center of ITS Engineering & Technology
- National Centers for Environmental Prediction（US）
- National Central Library
- National Central Mmuseum of Mass Education
- National Central Museum, Nanking
- National Central University
- National Centre for Radio Astrophysics of India
- National Centre for Vocational Education Research
- national certified reference material
- national character
- national characters encoding
- national characters font
- national characters information processing
- national characters input method
- national characters subset of unicode