क्या PSPACE- पूर्णता सन्निकटन कठोरता का अर्थ है?

Question

यह एक और cstheorySE पोस्ट में एक टिप्पणी में उल्लेख किया गया है कि PSPACE- पूर्णता APX- कठोरता का अर्थ है। किसी को भी इसके लिए एक संदर्भ समझा / साझा कर सकते हैं?

क्या यह "तंग" है? (यानी, क्या PSPACE- पूर्ण समस्याएं हैं जिनकी अनुकूलन समस्या पॉली टाइम में निरंतर कारक सन्निकटन को स्वीकार करती है?)

पीएच के कुछ स्तर के लिए पूर्णता के बारे में क्या? यह किसी भी अनुमान कठोरता का मतलब है?

Comments

देखें arxiv.org/pdf/math/9409225.pdf

— सईद

: इस पत्र PSPACE: पूर्ण समस्याओं के लिए पीटीए परिणाम देने के लिए लगता है cs.albany.edu/~madhav/pubs.d/stoc94.ps

— Sasho निकोलोव

उह, यह एक बुरी टिप्पणी थी। विचार एक अनुमानवादी अनुमान लगाने के लिए था, इसलिए यदि यह तथ्य के एक बयान के रूप में सामने आया तो क्षमा करें! एक निर्णय समस्याओं की एक श्रेणी है और एक फ़ंक्शन समस्याओं का एक वर्ग है, इसलिए कथन भी अच्छी तरह से परिभाषित नहीं है। मुझे लगता है कि तर्क सिर्फ इतना था कि आप एपीएनएक्स में एक समस्या का उत्तर दे सकते हैं बिल्कुल बहुपद स्थान का उपयोग करके। लेकिन यह कनेक्शन को औपचारिक बनाने के लिए कुछ काम करेगा और मैं किसी भी औपचारिक परिणामों का उल्लेख नहीं कर रहा था जो मुझे पता था।

— usul

$f(x)$$\hat{f}(x) = f(x) + nk$$k$$f$$\hat{f}$$f$$(1-\epsilon)$$(1-1/n)$) एक संभावित समाधान होने पर सन्निकटन एल्गोरिथ्म। यह तर्क PSPACE-complete की तुलना में "कठिन" कक्षाओं के लिए भी होना चाहिए।

— योनातन एन

$\subseteq$

Answer 1

जैसा कि अभी तक कोई जवाब नहीं है, मैं अपनी टिप्पणी का जवाब देने के लिए मुड़ता हूं, मराठे एट अल। अपने ICALP93 पेपर में , कुछ समस्याओं को परिभाषित किया जो कि PSPACE पूर्ण हैं लेकिन वे निरंतर कारक सन्निकटन स्वीकार करते हैं, वे कुछ अनुचित परिणाम भी प्रदान करते हैं। इस विशेष प्रश्न के लिए, MAX3SAT पर विचार करें, संबंधित निर्णय समस्या PSPACE- पूर्ण है भले ही संबंधित SAT ग्राफ़ में पदानुक्रमित संरचना हो, जैसा कि उन्होंने अपने पेपर में परिभाषित किया है, लेकिन इस समस्या में पदानुक्रमित संरचना में 2-सन्निकटन गारंटी एल्गोरिथम है।