Art
J-GLOBAL ID：200902000166812722   Reference number：93A0166143

New Characterizationof Computational Complexity Classes Using Interactive Proofs.

対話型証明による計算量クラスの新しい特徴づけについて PCP理論の紹介
Author (1)：
OTA KAZUO

About OTA KAZUO

(NTT 情報通信網研)

About NTT 情報通信網研


Material：
電子情報通信学会技術研究報告  (IEICE Technical Report (Institute of Electronics, Information and Communication Engineers))

About 電子情報通信学会技術研究報告


Volume： 92  Issue： 355(ISEC92 57-63)  Page： 59-66  Publication year： Dec. 07, 1992 
JST Material Number： S0532B  ISSN： 0913-5685  Document type： Proceedings
Article type： 原著論文  Country of issue： Japan (JPN)  Language： JAPANESE (JA)
Thesaurus term：
Thesaurus term/Semi thesaurus term
Keywords indexed to the article.
All keywords is available on JDreamIII(charged).
On J-GLOBAL, this item will be available after more than half a year after the record posted. In addtion, medical articles require to login to MyJ-GLOBAL.
NP complete problem

About NP complete problem

,...
Semi thesaurus term：
Thesaurus term/Semi thesaurus term
Keywords indexed to the article.
All keywords is available on JDreamIII(charged).
On J-GLOBAL, this item will be available after more than half a year after the record posted. In addtion, medical articles require to login to MyJ-GLOBAL.
computational complexity

About computational complexity


   To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=93A0166143&from=J-GLOBAL&jstjournalNo=S0532B") }}
JST classification (1)：
JST classification
Category name(code) classified by JST.
Theory of computation 
(JB02000A)

About Theory of computation

Terms in the title (5)：
Terms in the title
Keywords automatically extracted from the title.
対話型

About 対話型

, 
証明

About 証明

, 
計算量クラス

About 計算量クラス

, 
PCP

About PCP

, 
理論

About 理論


Return to Previous Page

TOP

BOTTOM