कावे के सुझाव के बाद, मैं अपनी टिप्पणी एक (विस्तारित) उत्तर के रूप में दे रहा हूं।
बारे मेंQ1 , सावधानी का एक शब्द क्रम में है: यहां तक कि लघुगणक गहराई यदि समझा जा रहा है, तो पॉली-लॉगरिदमिक के बारे में नहीं बोलना। तो, गैर-मोनोटोन दुनिया में, वास्तविक समस्या बहुत कम महत्वाकांक्षी है:
बीट लॉग-डेप्थ प्रॉब्लम: -सीरिकट के लिए एक सुपर-लीनियर (!) लोअर बाउंड करें ।
NC1
रैखिक circuits के लिए समस्या अभी भी (30 से अधिक वर्षों के लिए) खुली हुई है । ये fanin- हैं 2 आधार से अधिक सर्किट { ⊕ , 1 } , और वे गणना रैखिक परिवर्तनों च ( एक्स ) = एक एक्स से अधिक जी एफ ( 2 ) । आसान गिनती शो है कि लगभग सभी मैट्रिक्स एक की आवश्यकता होती है
Ω ( एन 2 / लॉग इन करें n ) द्वार, किसी भी गहराई में।
NC12{⊕,1}f(x)=AxGF(2)AΩ(n2/logn)
बारे मेंQ2 : हां, हमारे पास
कुछ बीजीय / दहनशील उपाय हैं, कम सीमाएं, जिस पर लॉग-डेप सर्किट को हराया जाएगा। दुर्भाग्य से, अब तक, हम इन उपायों पर पर्याप्त पर्याप्त सीमा साबित नहीं कर सकते हैं। कहो, के लिए रेखीय -circuits, इस तरह के एक उपाय है कठोरता आर ए ( आर ) मैट्रिक्स के एक । इस की प्रविष्टियों की सबसे छोटी संख्या है एक है कि एक की जरूरत है क्रम में रैंक कम करने के लिए बदलने के लिए आर । यह करने के लिए आसान है दिखाने कि आर ए ( आर ) ≤ ( n -NC1 RA(r)AAr प्रत्येक बूलियन n × n मैट्रिक्स A के लिए है , और Valiant (1977) ने दिखाया है कि यह बाउंड लगभग सभी मैट्रिसेस के लिए तंग है। लॉग-डेप्थ सर्किट को हराने के लिए, बूलियन n × n मैट्रिसेस ए के अनुक्रम को प्रदर्शित करने के लिए पर्याप्तहैRA(r)≤(n−r)2n×nAn×nA
स्थिरांक के लिए ε , δ > 0 ।
RA(ϵn)≥n1+δϵ,δ>0
सबसे अच्छा है कि हम अब तक पता मैट्रिक्स हैं साथ आर ए ( आर ) ≥ ( n 2 / आर ) लॉग ( एन / आर ) । सिलवेस्टर मैट्रिक्स (यानी आंतरिक उत्पाद मैट्रिक्स) के लिए, के लिए बाध्य निचले Ω ( एन 2 / आर ) है को दिखाने के लिए आसान ।
ARA(r)≥(n2/r)log(n/r)Ω(n2/r)
हमारे पास सामान्य (नॉन-लीनियर) -सीरिकट्स के लिए दहनशील उपाय हैं , साथ ही एक द्विदलीय एन × एन
ग्राफ जी के लिए , चलो टी ( जी ) सबसे छोटी संख्या टी हो जैसे कि जी को टी द्विपदी के एक चौराहे के रूप में लिखा जा सकता है। रेखांकन, प्रत्येक अधिक से अधिक का एक संघ जा रहा है टी पूरा द्विपक्षीय ग्राफ। सामान्य लॉग-डेप्थ सर्किट को हरा देने के लिए, ग्राफ़ के अनुक्रम को ढूंढना पर्याप्त होगाNC1n×nGt(G)tGtt
एक निरंतर के लिए ε > 0t(Gn)≥nϵϵ>0
(देखें, उदाहरण के लिए यहां पर यह कैसे होता है)। फिर से, लगभग सभी रेखांकन
। हालांकि, सबसे अच्छा रहता है एक लोअर बाउंड टी ( जी ) ≥ लॉग ऑन 3 एन सिलवेस्टर मैट्रिक्स के लिए, की वजह से Lokam ।
t(G)≥n1/2t(G)≥log3n
अंत में, मैं उल्लेख करता हूं कि हमारे पास "सरल" कंबाइनटेरियल माप (मात्रा) एक कमजोर (रैखिक) निचली सीमा है, जिस पर गैर-मोनोटोन सर्किट के लिए घातीय (!) कम सीमा भी होगी। एक द्विपक्षीय लिए ग्राफ जी , चलो ग ( जी ) fanin- की सबसे छोटी संख्या हो 2 संघ ( ∪ ) और चौराहे ( ∩ ) के संचालन का उत्पादन करने के लिए आवश्यक जी जब सितारों से शुरू; एक तारा किनारों का एक समूह होता है, जो एक ओर से दूसरे सिरे पर एक कोने से जुड़ता है। लगभग सभी ग्राफ़ में c ( G ) = graph ( n 2) हैn×nGc(G)2∪∩G । दूसरी ओर, एक कम बाउंडc(G)=Ω(n2/logn)
एक निरंतर के लिए ε > 0c(Gn)≥(4+ϵ)nϵ>0
एक स्पष्ट बूलियन फ़ंक्शन f G के N वैरिएबल के गैर-मोनोटोन सर्किट जटिलता पर एक कम बाध्य । तो जी है n × मीटर के साथ ग्राफ मीटर = ओ ( n ) , फिर भी एक लोअर बाउंड ग ( जी एन ) ≥ ( 2 + ε ) n पर्याप्त है (फिर से,, देख जैसे यहाँ यह कैसे होता है पर)। निचली सीमा सी ( जी)Ω(2N/2)fGNGn×mm=o(n)c(Gn)≥(2+ϵ)n अपेक्षाकृत सरल रेखांकन के लिए दिखाया जा सकता है। "समस्या यह है, तथापि, के साथ ऐसा करना है - ε " "द्वारा प्रतिस्थापित + ε "। कम्बाइंडोरियल उपाय कम-बाउंडिंग सर्किट जटिलता ( ए सी सी -सर्किट) सहितपुस्तकमें पाए जा सकते हैं
।
c(G)≥(2−ϵ)n−ϵ+ϵACC
पुनश्च तो, हम की एक निरंतर पहलू से कर रहे हैं प्रदर्शित होने से पी ≠ एन पी ? बिलकूल नही। मैंने इस बाद के उपाय c ( G ) का उल्लेख केवल यह दिखाने के लिए किया कि किसी को संशयवाद के एक स्वस्थ हिस्से के साथ निचली सीमा के "प्रवर्धन" (या "आवर्धन") का इलाज करना चाहिए: भले ही हम जिस सीमा को "सहज" दिखते हैं, वह बहुत छोटी है रेखीय) लगभग सभी रेखांकन (द्विघात) की आवश्यकता होती है, एक (कमजोर) निचली सीमा को साबित करने की अंतर्निहित कठिनाई और भी बड़ी हो सकती है। बेशक, एक जुझारू उपाय खोजने के बाद, हम कुछ कह सकते हैं कि कार्यों के गुण उन्हें कम्प्यूटेशनल रूप से कठिन बनाते हैं। यह अप्रत्यक्ष साबित करने के लिए उपयोगी हो सकता है2+ϵP≠NPc(G)निचला बाउंड: कुछ जटिलता वर्ग में बड़े सर्किट या फ़ार्मुलों की आवश्यकता वाले फ़ंक्शन होते हैं। लेकिन अंतिम लक्ष्य एक स्पष्ट कठिन कार्य के साथ आना है , जिसकी परिभाषा में "एल्गोरिथम गंध" नहीं है, जिसमें कोई छिपी हुई जटिलता नहीं है।