bn:00840624n
Noun Concept
Categories: 数学に関する記事, 計算複雑性理論
JA
対話型証明系
JA
対話型証明系(たいわがたしょうめいけい、英: Interactive proof system)は、2者間のメッセージ交換によって計算をモデル化した計算模型であり、計算複雑性理論で使われる。 Wikipedia
Definitions
Relations
Sources
JA
対話型証明系(たいわがたしょうめいけい、英: Interactive proof system)は、2者間のメッセージ交換によって計算をモデル化した計算模型であり、計算複雑性理論で使われる。 Wikipedia
Wikipedia
Wikidata