वास्तव में केवल एक "फ्लैगशिप" गैर-रिलेटिविंग तकनीक है: अर्थात्, अंकगणित (IP = PSPACE, MIP = NEXP, PP⊄SIZE (n k ), MA EXP ⊄ / Poly, और कई अन्य परिणामों के प्रमाण में प्रयुक्त तकनीक ) )।
हालांकि, यह प्रमाण कि सभी एनपी भाषाओं में कम्प्यूटेशनल शून्य-ज्ञान प्रमाण हैं (एक तरफा कार्यों का अस्तित्व है), गोदरिक, मिकलि और विगडरसन के कारण, एक अलग गैर-रिलेटिविंग तकनीक (अर्थात्, 3-रंग की समस्या के समरूपता) का उपयोग किया गया था। )।
अरोरा, इम्पेग्लियाज़ो और वज़िरानी ने तर्क दिया कि मूल कुक-लेविन थियोरम (और साथ ही पीसीपी प्रमेय) के प्रमाण में इस्तेमाल की जाने वाली एनपी-पूर्ण समस्याओं की संपत्ति को भी "गैर-सापेक्षताकारी तकनीक" के रूप में गिना जाना चाहिए। हालांकि लांस फ़ोर्टवॉर्न ने एक पेपर लिखा है जिसमें इसके विपरीत तर्क दिया गया है)। चिपके हुए बिंदु यह है कि क्या यह "स्थानीय रूप से जांचने योग्य समस्याओं" की जटिलता वर्ग से संबंधित है।
1970 के समय के परिणामों जैसे कि TIME (n) (NTIME (n) के परिणाम में उपयोग किए गए कंकड़ तर्कों को गैर-सापेक्ष तकनीक के एक अन्य उदाहरण के रूप में आगे रखा गया है।
अधिक के लिए, आप विगार्डसन और विशेष रूप से संदर्भों के साथ मेरे बीजगणित पत्र की जांच कर सकते हैं । हमारे पास मौजूदा गैर-रिलेटिविंग तकनीकों के लिए बहुत अधिक कैटलॉग था ताकि यह पता लगाया जा सके कि वे कौन से थे और बीजगणित बाधा द्वारा शामिल नहीं थे।
परिशिष्ट: मुझे बस एहसास हुआ कि मैं माप-आधारित क्वांटम कंप्यूटिंग (MBQC) का उल्लेख करना भूल गया , जिसका उपयोग हाल ही में ब्रॉडबेंट, फिट्ज़िमन्स और काशीफी द्वारा क्वांटम जटिलता सिद्धांत (जैसे QMIP = MIP *, और BQP = MIP) प्राप्त करने के लिए किया गया था। उलझा हुआ बीक्यूपी प्रूफर्स और बीपीपी वेरिफायर के साथ) जो सबसे अधिक संभावना है कि वे सापेक्षता में विफल हो जाते हैं।