NC = P परिणाम?


35

कॉम्प्लेक्सिटी ज़ू, EXP पर प्रविष्टि में इंगित करता है कि यदि L = P तब PSPACE = EXP। चूँकि NPSPACE = सेविक द्वारा PSPACE , जहाँ तक मैं बता सकता हूँ अंतर्निहित गद्दी तर्क यह दर्शाने के लिए विस्तारित है कि हम यह भी जानते हैं कि रुज़ो के संसाधन-बाउंड अल्टरनेटिंग पदानुक्रम के माध्यम से L NL NC P।

(NL=P)(PSPACE=EXP).

यदि NC = P, तो क्या यह PSPACE = EXP का अनुसरण करता है?

रिचर्ड लिप्टन की भावना में प्रश्न की एक अलग व्याख्या: क्या यह अधिक संभावना है कि पी में कुछ समस्याओं को समानांतर नहीं किया जा सकता है, इससे अधिक किसी भी घातीय-समय की प्रक्रिया को बहुपद स्थान से अधिक की आवश्यकता नहीं है?

मैं नेकां = पी के अन्य "आश्चर्यजनक" परिणामों में भी दिलचस्पी लूंगा (बेहतर होने की संभावना नहीं)।

संपादित करें: रयान का जवाब एक और सवाल की ओर जाता है: सबसे कमजोर परिकल्पना क्या है जिसे PSPACE = EXP की गारंटी के लिए जाना जाता है?

  • डब्ल्यू। सैविच। नॉनडेर्मिनिस्टिक और नियतात्मक टेप जटिलताओं के बीच संबंध, जर्नल ऑफ कंप्यूटर एंड सिस्टम साइंसेज 4 (2): 177-192, 1970।
  • डब्लू एल रुज़ो। एकरूप सर्किट जटिलता पर, कंप्यूटर और सिस्टम साइंसेज 22 के जर्नल (3): 365-383, 1971।

संपादित करें (2014): पुराने चिड़ियाघर लिंक को अपडेट किया और अन्य सभी वर्गों के लिए लिंक जोड़े।


1
जैसा कि मुझे यकीन है कि मैं केवल यही नहीं जानता कि NC क्या है, यहां एक लिंक है: en.wikipedia.org/wiki/NC_%28complexity%29
एमिल

@Andras: एक अन्य परिणाम जो शायद आप पहले से ही पता है, लेकिन अभी तक का उल्लेख नहीं किया गया है, यह है कि उसके बाद , पदानुक्रम पतन के बाद से के तहत पूरा समस्या है एल -reductions। पीNCPL
जोशुआ ग्रोको

जवाबों:


28

हाँ। को O ( लॉग एन ) स्पेस और ( लॉग एन ) O ( 1 ) समय का उपयोग करने वाली ट्यूरिंग मशीनों द्वारा मान्यता प्राप्त भाषाओं के वर्ग के रूप में देखा जा सकता है । (यह पहली बार रज़ो द्वारा सिद्ध किया गया था।) पी वह वर्ग है जहाँ बारी-बारी से ट्यूरिंग मशीनें O ( लॉग एन ) स्पेस का उपयोग करती हैं, लेकिन n O ( 1 ) तक का समय ले सकती हैं । संक्षिप्तता के लिए आइए इन कक्षाओं को A T I S P [ ( log n) कहेंNCO(logn)(logn)O(1)PO(logn)nO(1) औरएस पी सी [ ( लॉग एन ) ] = पीATISP[(logn)O(1),logn]=NCASPACE[O(logn)]=P

मान लीजिए दोनों वर्ग समान हैं। की जगह के साथ 2 n ऊपर में (यानी, को लागू करने के मानक अनुवाद lemmas), एक प्राप्तn2n

TIME[2O(n)]=ASPACE[O(n)]=ATISP[nO(1),n]ATIME[nO(1)]=PSPACE

अगर तो एक्स पी = पी एस पी सी में अच्छी तरह से, के बाद से देखते हैं एक्स पी में -Complete भाषाओं टी मैं एम [ 2 हे ( एन ) ]TIME[2O(n)]PSPACEEXP=PSPACEEXPTIME[2O(n)]

संपादित करें: यद्यपि उपरोक्त उत्तर संभवतः अधिक शैक्षिक है, यहाँ एक सरल तर्क है: पहले से ही " पी पॉलीग्लोस स्पेस में निहित है" और मानक अनुवाद है। EXP=PSPACEPनोट " पॉलीग्लोन स्पेस में निहित है" एन सी = पी की तुलना में बहुत कमजोर परिकल्पना है ।PNC=P

अधिक विवरण: चूंकि सर्किट परिवारों में कुछ स्थिर के लिए गहराई ( लॉग एन ) सी है, ऐसे हर सर्किट परिवार का मूल्यांकन ( ( लॉग एन ) सी ) अंतरिक्ष में किया जा सकता है। इसलिए एन सी > 0 एस पी सी [ ( लॉग एन ) ] । तो P = N C का तात्पर्य P = c > 0 S हैNC(logn)cO((logn)c)NCc>0SPACE[(logn)c]P=NC । अनुवाद (जगह लागू करने n के साथ 2 n ) का मतलब टी मैं एम [ 2 हे ( एन ) ] पी एस पी सी । एक के अस्तित्वएक्स पी में -Complete भाषा टी मैं एम [ 2 हे ( एन ) ] तर्क खत्म।Pc>0SPACE[(logn)c]n2nटीमैंएम[2हे(n)]पीएसपीसीएक्सपीटीमैंएम[2हे(n)]

अपडेट: एंड्रियास 'अतिरिक्त प्रश्न को संबोधित करते हुए मेरा मानना है कि यह की तरह कुछ साबित करने के लिए संभव हो जाना चाहिए: iff सभी के लिए सी , में हर polynomially विरल भाषा एन हे ( लॉग n ) समय व्याख्या करने योग्य है बहुवचन स्थान। (बहुपद के रूप में विरल होने का मतलब है कि भाषा में सबसे अधिक p o l y ( n ) लंबाई n के तार हैं, सभी n के लिएएक्सपी=पीएसपीसीसीnहे(लॉगसीn)पीएलy(n)nn।) अगर सही है तो सबूत शायद Hartmanis, Immerman की तर्ज पर जाती थी, और Sewelson के सबूत है कि में हर polynomially विरल भाषा iff एन पी में निहित है पी । (ध्यान दें, एन हे ( लॉग n ) polylog अंतरिक्ष में समय अभी भी काफी मतलब है पी एस पी सी = एक्स पी ।)एन=एनपीपीnहे(लॉगसीn)पीएसपीसी=एक्सपी


1
अच्छे उत्तर के लिए धन्यवाद। डेक्सटर कोज़ेन की थ्योरी ऑफ़ कम्प्यूटेशन में रुज़ो की कक्षाओं के लिए 69 " जहां एफ सीमा स्थान, जी सीमा समय, और एच सीमा विकल्प के लिए एक अच्छा" वर्दी "अंकन है । फिर एनसी = एस टी ( लॉग एन , * , ( लॉग इन करें n ) हे ( 1 ) ) , जबकि पी = एस टी (एसटी(,जी,)जीएनसी=एसटी(लॉगn,*,(लॉगn)हे(1)) जो वास्तव में निर्माण पर प्रकाश डाला गया। पी=एसटी(लॉगn,*,*)
आंद्र सलाम

1
ध्यान दें कि मैं ऊपर में कह रहा हूं । हालाँकि मुझे लगता है कि ये वही हैं। एक मशीन जो बहुपद समय और O ( लॉग एन ) स्थान लेती है लेकिन केवल ( लॉग एन ) O ( 1 ) विकल्प को एक अन्य वैकल्पिक मशीन में बदल दिया जा सकता है जो केवल ( लॉग एन ) O ( 1 ) लेता है।एनसी=एसटी(लॉगn,(लॉगn)हे(1),*)हे(लॉगn)(लॉगn)हे(1) समय औरO(लॉगएन)स्थान। (दूसरी दिशा स्पष्ट है।) यह विचार अधिक विकल्पों को सम्मिलित करना है ताकि प्रत्येक बहुपद समय अस्तित्व का चरण और सार्वभौमिक चरण केवल(लॉगएन ) ( 1 ) समय और(लॉगएन)अंतरिक्षमें चलने के लिए "स्पेड अप" हो।, सैविच की प्रमेय की तर्ज पर। (लॉगn)हे(1)हे(लॉगn)(लॉगn)हे(1)हे(लॉगn)
रयान विलियम्स

6
हमें जो कुछ आवश्यक है वह एक प्रकार की चिकनाई स्क्रिप्ट है जो स्वचालित रूप से चिड़ियाघर में प्रवेश के लिए "\ NP" जैसी किसी चीज़ को जोड़ता है।
सुरेश वेंकट

12

(मैंने रयान के उत्तर को देखा है, लेकिन मैं सिर्फ एक और परिप्रेक्ष्य प्रदान करना चाहता था, जो एक टिप्पणी में फिट होने के लिए बहुत लंबा था।)

में सबूत, सभी कि आप एल के बारे में पता करने की जरूरत, अनौपचारिक रूप से, यह है कि जब एक घातीय से उड़ा दिया, एल PSPACE हो जाता है। एक ही सबूत एनएल के लिए के माध्यम से चला जाता है, क्योंकि एनएल एक घातीय द्वारा उड़ा भी PSPACE बन जाता है। एल=पीपीएसपीसी=एक्सपी

इसी तरह, जब NC एक घातीय द्वारा उड़ा दिया जाता है, तो आपको PSPACE मिलता है। मुझे सर्किट के संदर्भ में यह देखना अच्छा लगता है: NC बहुपद के आकार के साथ बहुपद आकार के सर्किट का वर्ग है। जब उड़ा दिया जाता है, तो यह बहुपद गहराई के साथ घातीय आकार के सर्किट बन जाते हैं। एक दिखा सकता है कि यह बिल्कुल PSPACE है, एक बार उपयुक्त एकरूपता की शर्तें जोड़ दी गई हैं। मुझे लगता है कि यदि NC को L- एकरूपता के साथ परिभाषित किया गया है, तो यह PSPACE-एकरूपता प्राप्त करेगा।

प्रमाण आसान होना चाहिए। एक दिशा में, TQBF की तरह एक PSPACE- पूरी समस्या ले लो और घातीय आकार के AND और द्वार का उपयोग कर मात्रात्मक व्यक्त करें। दूसरी दिशा में, बहुपद गहराई सर्किट को पुनरावर्ती रूप से ट्रेस करने का प्रयास करें। स्टैक का आकार बहुपद होगा, इसलिए इसे PSPACE में किया जा सकता है।

अंत में, मैं इस तर्क के साथ आया था जब मैंने सवाल देखा था (और रयान के जवाब को पढ़ने से पहले), इसलिए कीड़े हो सकते हैं। कृपया उन्हें इंगित करें।


1
एक सुधार: नेकां में बहुपद आकार और बहुभुज गहराई के सर्किट होते हैं, लेकिन यह अनुवाद के बाद भी केवल बहुपद गहराई है।
रयान विलियम्स

@Ryan: आप सही कह रहे हैं। मैं ठीक कर दूँगा।
रॉबिन कोठारी

1

यहां टाइम-स्पेस बाउंडेड ऑल्टरनेटिंग ट्यूरिंग मशीन के दृष्टिकोण से थोड़ा और विस्तार है।

मान लीजिए कि पी=एनसी

चूंकि , हमें P = A T I S P ( ( लॉग ) ( n ) ) O ( 1 ) मिलता है। , O ( लॉग ( n ) ) ) एनसी=टीमैंएसपी((लॉग(n))हे(1),हे(लॉग(n)))

पी=टीमैंएसपी((लॉग(n))हे(1),हे(लॉग(n)))

अब, रैखिक समय सार्वभौमिक अनुकार समस्या जहां हमें एक ट्यूरिंग मशीन M पर एन्कोडिंग और लंबाई n का एक इनपुट स्ट्रिंग x दिया जाता है और हम यह जानना चाहते हैं कि क्या M अधिकांश n चरणों में x स्वीकार करता है ।एलमैंnयूएमएक्सnएमएक्सn

हम जानते हैं कि । इसलिए, वहां मौजूद एक निरंतर (पर्याप्त रूप से बड़े) ऐसा है कि ( * )एलमैंnयूपीसी

(*)एलमैंnयूटीमैंएसपी(लॉगसी(n),सीलॉग(n))

एक पैडिंग तर्क के परिणामस्वरूप (एक छोटी सी टिप्पणी देखें), हमारे पास

(1)डीटीमैंएम(n)टीमैंएसपी(लॉगसी(n),सीलॉग(n))

पैडिंग तर्क का विस्तार, हमें मिलता है ( )

(2)डीटीमैंएम(nकश्मीर)टीमैंएसपी(कश्मीरसीलॉगसी(n),कश्मीरसीलॉग(n))
(3)डीटीमैंएम(2nकश्मीर)टीमैंएसपी(कश्मीरसीnकश्मीरसी,कश्मीरसीnकश्मीर)

इसके अलावा, वैकल्पिक समय-स्थान बाध्य ट्यूरिंग मशीनों के अनुकरण के बारे में ज्ञात परिणाम हैं। विशेष रूप से, हम जानते हैं कि

टीमैंएसपी(लॉगसी(n),सीलॉग(n))डीएसपीसी(हे(लॉगसी+1(n)))

इसलिए, हम (अनिवार्य) सभी प्राकृतिक संख्या के लिए निम्नलिखित है :कश्मीर

( 3 * )

(2*)डीटीमैंएम(nकश्मीर)डीएसपीसी(कश्मीरसी+1लॉगसी+1(n))
(3*)डीटीमैंएम(2nकश्मीर)डीएसपीसी(nकश्मीर(सी+1))

से , हम मिलेगा कि एक्स पी = पी एस पी सी (3*)एक्सपी=पीएसपीसी

==================== विचार के बाद ====================

यह ध्यान रखना महत्वपूर्ण है कि तात्पर्य A T I S P ( ( लॉग ( n ) ) O ( 1 ) , O ( लॉग ( n ) ) ) = A T I S P ( लॉग c ( n ) , O है ) ( लॉग ( एन ) ) ) कुछ निरंतर के लिए पी=एनसी

टीमैंएसपी((लॉग(n))हे(1),हे(लॉग(n)))=टीमैंएसपी(लॉगसी(n),हे(लॉग(n)))
सी

किसी भी टिप्पणी या सुधार का स्वागत किया जाता है। :)


1
एनसीकश्मीरपीएसपीसीकश्मीरएनसी2पीएसपीसीएनसीपीएसपीसी

1
एनसीपीएसपीसीपी-यूnमैंआरमीटरएनसी1=पीएसपीसी

1
एनसी=टीमैंएसपी((लॉग(n))हे(1),हे(लॉग(n)))

1
@ टर्बो अनुवर्ती के लिए धन्यवाद !! मैं वास्तव में लगता है कि आप से पेज 370 के तल पर परिभाषा पढ़ना चाहिए: sciencedirect.com/science/article/pii/0022000081900386
माइकल Wehar

1
एनसीपीएनसी
हमारी साइट का प्रयोग करके, आप स्वीकार करते हैं कि आपने हमारी Cookie Policy और निजता नीति को पढ़ और समझा लिया है।
Licensed under cc by-sa 3.0 with attribution required.