यहां तक कि अगर यह एक महत्वपूर्ण बिंदु नहीं है, तो मैं इस प्रश्न के आसपास कोई साहित्य नहीं देखता हूं। क्या सापेक्षता परिणाम हैं?
क्या एनपी मशीन के सभी संभावित रास्तों की खोज करके गैर-नियतात्मक समय पदानुक्रम प्रमेय को अपनाने से सख्त समावेश को साबित करना काफी सरल नहीं होगा?
2
एनपी और EXP के बीच एक ओरेकल जुदाई साबित करना आसान है। एक गैर-नियतात्मक समय पदानुक्रम प्रमेय है जो हमें बताता है कि एनपीई एनईएक्सपी में कड़ाई से निहित है। मैं यह नहीं देख सकता कि इसे एनपी बनाम EXP के लिए कैसे अनुकूलित किया जा सकता है।
—
रॉबिन कोठारी
@ रॉबिन हाँ, निश्चित रूप से, एक प्रकार का वृक्ष है कि इसका आशय है । लेकिन जैसा कि मुझे ओरेकल ऐसा नहीं मिलता है, तो अगर वहाँ का एक सबूत नहीं है रिलेटिव हो सकता है।
—
लुडोविक पाटी
कॉम्प्लेक्सिटी ज़ू ( qwiki.stanford.edu/index.php/Complexity_Zoo ) का कहना है: ... वहाँ मौजूद है जो सापेक्ष[Hel84a], [Hel84b], [Kur85], [Hel86], .... उदाहरण के लिए देखें दो oracles जो एक बड़े क्रंच को बल देते हैं ( People.cs.uchicago.edu/~fortnow/papers/neppp.ps )
—
Marzio दे बीसी
@Vor, @ रॉबिन, मुझे लगता है कि ये उत्तर होने चाहिए
—
सुरेश वेंकट