क्या एनपी में पोस्ट पत्राचार समस्या है?

12

मैंने अभी-अभी Sipser की पुस्तक परिचय के कुछ पन्नों को पोस्ट कॉरेस्पोंडेंस प्रॉब्लम के बारे में संगणना के सिद्धांत में पढ़ा, और मैं सोच रहा हूं कि PCP वास्तव में NP में है। प्रमाणकर्ता है: ढेर के एक इनपुट विन्यास के लिए श्रृंखलाबद्ध रूप में एक स्ट्रिंग और समवर्ती

(t_{1} / b_{1}, t_{2} / b_{2}, . . . t_{n} / b_{n})

$(t_1/b_1, t_2/b_2,...t_n/b_n)$

t_{1}, t_{2}, . . ., t_{n}

$t_1, t_2,...,t_n$

t

$t$

एक स्ट्रिंग

, फिर

और

तुलनाकरके देखें कि क्या दोनों समान हैं और फिर निष्कर्ष निकालते हैं कि इनपुट वास्तव में पीसीपी का समाधान है।

b_{1}, b_{2}, . . ., b_{n}

$b_1, b_2, ..., b_n$

b

$b$

t

$t$

b

$b$

— phhoang
स्रोत

2

a / इस समस्या का बंधा हुआ संस्करण / संस्करण NP पूर्ण है। देखें उदाहरण के लिए पीसीपी एनपी पूर्ण / सैद्धांतिक कंप्यूटर विज्ञान

— vzn

19

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

— युवल फिल्मस
स्रोत

11

आपके साक्षी समाधान के आकार में बहुपद है इनपुट के आकार में नहीं। आपके पास संभावित समाधानों की लंबाई को बांधने का कोई तरीका नहीं है। आपके प्रमाण से पता चलता है कि पीसीपी पुनरावर्ती है।

— PHS
स्रोत