बूलियन जटिलता के लिए सह-वैज्ञानिक दृष्टिकोण


33

कुछ साल पहले, जोएल फ्रीडमैन द्वारा लोथ सर्किट गोष्ठी से संबंधित कुछ काम ग्रोथेंडिक कोहोमोलॉजी द्वारा किए गए थे (देखें कागजात: http://arxiv.org/abs/cs/0512008 , http://arxiv.org/abs/cs/60402424 )। क्या विचार की यह रेखा बूलियन जटिलता में कोई नई अंतर्दृष्टि लाती है, या क्या यह एक गणितीय जिज्ञासा है?


4
इसका उत्तर देखने के लिए मैं बहुत उत्सुक हूं। बेशक, सबसे आसान जोएल फ्राइडमैन को ईमेल करना होगा :)
सुरेश वेंकट

जवाबों:


28

मैंने इस विषय पर लगभग 3 साल पहले जोएल फ्रीडमैन के साथ पत्राचार किया था। उस समय उन्होंने कहा कि उनके दृष्टिकोण ने जटिलता सिद्धांत में कोई महत्वपूर्ण नई अंतर्दृष्टि पैदा नहीं की है, हालांकि उन्होंने अभी भी सोचा कि यह एक आशाजनक सौदा था।

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

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


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

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

वास्तव में। यह एसटीओसी 2011 के पेपर को देखने के लिए दिलचस्प है जो मैट्रिक्स गुणन सीमा के लिए जीसीटी का उपयोग करता है (और केतन ने एफओसीएस में अपने ट्यूटोरियल में इस परिणाम का उल्लेख किया था)
सुरेश वेंकट

1
@ सुरेश: अगर आप बुर्जिस्सेर / इकेनमेयर पेपर के बारे में बात कर रहे हैं, तो मुझे लगता है कि यह जीसीटी दृष्टिकोण की सीमाओं के बारे में बहुत कुछ बताता है कि कैसे कम सीमा को साबित किया जाए।
5501

1
@ नील, मेरे पास कोई जवाब नहीं है, लेकिन मुझे आश्चर्य है कि क्या यह अपने आप में एक सवाल का गुण हो सकता है।
सुरेश वेंकट

16

मुझे लगता है कि टिमोथी चाउ के पास यह बिल्कुल सही है। मेरे पास "चिकनी" किस्मों से संबंधित विचारों की अपनी व्यक्तिगत कपड़े धोने की सूची है, या जुड़े घटकों या मोनोमियल की गणना करने वाली अवधारणाएं हैं जो "कॉहोमोलॉजी सीढ़ी" के कुछ निचले पायदानों के साथ जाती हैं --- इन सभी में कठोरता की भविष्यवाणी नहीं की गई है ( विविधताओं) मेयर-मेयेर निर्माण विभिन्न GCT से संबंधित समस्याओं की पूर्णता दिखा रहा है। उनके अंतिम पैराग्राफ पर मेरी एक राय यह है कि मुझे लगता है कि किसी प्रकार की उच्च शक्ति वाली मशीनरी की जरूरत है ...!

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