IP (2pfa) और AM (2pfa) क्रमशः निजी और सार्वजनिक सिक्का संस्करणों द्वारा बंधी हुई त्रुटियों से पहचानी जाने वाली भाषाओं के वर्ग हैं, जो सत्यापनकर्ताओं के साथ संवादात्मक प्रूफ सिस्टमों के साथ हैं जो दो-तरफ़ा इनपुट हेड के साथ संभाव्य परिमित ऑटोमेटा हैं।
क्या इन वर्गों के किसी करीबी गुण को जाना जाता है?
जवाबों:
आप निम्नलिखित कागज पर एक नज़र डाल सकते हैं:
Dwork, C. और Stockmeyer, L. 1992। परिमित राज्य सत्यापनकर्ता I: बातचीत की शक्ति। जे। एसीएम 39, 4 (अक्टूबर 1992), 800-828। DOI = http://doi.acm.org/10.1145/146585.146599
या संबंधित कागज:
Dwork, C. और Stockmeyer, L. 1992. परिमित राज्य सत्यापनकर्ता II: शून्य ज्ञान। जे। एसीएम 39, 4 (अक्टूबर 1992), 829-858। DOI = http://doi.acm.org/10.1145/146585.146601