नकारात्मक विरोधी विधि ( ) एक एसडीपी कि क्वांटम क्वेरी जटिलता की विशेषता है। यह व्यापक रूप से उपयोग की जाने वाली प्रतिकूल विधि ( A D V ) का सामान्यीकरण है , और दो बाधाओं को पार करता है जो प्रतिकूल विधि में बाधा डालती हैं:
संपत्ति परीक्षण बाधा: यदि सब 0-उदाहरण हैं सभी 1-उदाहरणों से -far तो विरोधी विधि साबित नहीं कर सकते एक कम की तुलना में बेहतर बाध्य Ω ( 1 / ε ) ।
प्रमाण पत्र जटिलता बाधा: यदि का प्रमाण पत्र जटिलता है ख -instances तो विरोधी विधि एक कम बाध्य की तुलना में बेहतर साबित नहीं कर सकते √ जहां
मूल में कागज लेखकों एक उदाहरण समारोह जिसके लिए उनकी विधि दोनों बाधाओं पर काबू पा निर्माण। हालाँकि, मैंने किसी भी प्राकृतिक समस्या के उदाहरण नहीं देखे हैं जहाँ इसने नई निचली सीमाएँ प्राप्त की हैं।
क्या आप कोई भी संदर्भ प्रदान कर सकते हैं जहां नकारात्मक प्रतिसाद विधि का उपयोग निम्न सीमा को प्राप्त करने के लिए किया गया था जो मूल विधि प्राप्त नहीं कर सकती थी?
मेरे लिए सबसे बड़ी रुचि, संपत्ति परीक्षण में है। वर्तमान में संपत्ति परीक्षण पर बहुत कम सीमाएं हैं, वास्तव में मैं केवल दो ( CFMdW2010 , ACL2011 ) को जानता हूं , कि दोनों बहुपद विधि का उपयोग करते हैं (टकराव की समस्या से पहली बार जो मूल रूप से बहुपद विधि से कम होती है)। हम जानते हैं कि वहाँ गुण है कि आवश्यकता है कि की जाँच करने के क्वांटम प्रश्नों किसी भी गणनीय के लिए, च ( एन ) ∈ हे ( एन ) (में परिणाम के संयोजन के द्वारा BNFR2002 और GKNR2009)। क्यों साबित करने के लिए नकारात्मक विरोधी विधि का उपयोग करने इतनी मेहनत है उन पर कम सीमा?