यादृच्छिक मोनोटोन फ़ंक्शन


15

रज़बोरोव-रूडीच के प्राकृतिक सबूत के पेपर, पृष्ठ 6 में, भाग में वे चर्चा करते हैं कि " मोनोटोन सर्किट मॉडल के खिलाफ मजबूत लोअरबाउंड सबूत हैं" और वे चित्र में कैसे फिट होते हैं, निम्नलिखित वाक्य हैं:

यहाँ यह मुद्दा रचनात्मक नहीं है - इन साक्ष्यों में प्रयुक्त गुण सभी संभव हैं - लेकिन यह प्रतीत होता है कि लारेंजेस स्थिति का कोई अच्छा औपचारिक एनालॉग नहीं है। विशेष रूप से, किसी ने "यादृच्छिक मोनोटोन फ़ंक्शन" की व्यावहारिक परिभाषा तैयार नहीं की है।

क्या एक यादृच्छिक स्ट्रिंग से एक मोनोटोन फ़ंक्शन के आउटपुट को अलग करना आसान नहीं है? क्या मजबूत लोअरबाउंड का अस्तित्व हमें यह नहीं बता रहा है कि ऐसी चीजें नहीं हैं?

मेरा सवाल यह है कि:

"यादृच्छिक मोनोटोन फ़ंक्शन" की एक कार्यशील परिभाषा से उनका क्या मतलब है ?


2
एक संबंधित प्रश्न: cstheory.stackexchange.com/questions/1484/…
गिल कलई

निश्चित रूप से निश्चित नहीं कि उनके मन में क्या था। यादृच्छिक मोनोटोन स्लाइस फ़ंक्शंस को परिभाषित करने के लिए वास्तव में एक बहुत ही स्वाभाविक तरीका है। यादृच्छिक ग्राफ पर के-क्लिक के मोनोटोन जटिलता पर रौसमैन का पेपर भी एरडोस- रेनी ग्राफ़ का उपयोग करता है जो वास्तव में काफी स्वाभाविक भी हैं। ध्यान रखें कि प्राकृतिक प्रमाण पत्र 1.5decade से अधिक पुराना है।
vzn

जवाबों:


12

मुझे यकीन नहीं है, लेकिन मुझे लगता है कि यहाँ समस्या यह है कि हमारे पास छद्म आयामी मोनोटोन फ़ंक्शन जनरेटर के बारे में कोई मजबूत धारणा नहीं है (कम से कम कोई भी जिसे मैं जानता हूं)। रज़बोरोव-रूडीच पेपर में प्रमाण का विचार इस प्रकार है:

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

अगर हम मोनोटोन फ़ंक्शंस और मोनोटोन सर्किट के संदर्भ में प्रमेय को बहाल करना चाहते थे, तो हम यह कहना चाहेंगे

यदि मोनोटोन फ़ंक्शंस की एक प्राकृतिक संपत्ति है (यानी एक कुशलतापूर्वक पर्णपाती संपत्ति, जो मोनोटोन कार्यों के पर्याप्त बड़े उपसमुच्चय के लिए है और इसका मतलब है कि फ़ंक्शन को बड़े मोनोटोन सर्किट की आवश्यकता है ), तो इसका उपयोग छद्म-आयामी फ़ंक्शन जनरेटर को तोड़ने के लिए किया जा सकता है। जनरेटर और एक तरह से कार्य),

लेकिन अब कागज से सबूत काम करना बंद कर देता है, क्योंकि हमारे छद्म आयामी जनरेटर सामान्य कार्यों को आउटपुट करते हैं, जरूरी नहीं कि मोनोटोन वाले हों, और हम इसे तोड़ने के लिए अपनी प्राकृतिक संपत्ति का उपयोग नहीं कर सकते, क्योंकि मोनोटोन कार्यों के अपेक्षाकृत बड़े उपसमुच्चय बड़े रिश्तेदार नहीं होंगे सामान्य कार्य, मोनोटोन फ़ंक्शंस के सेट के लिए स्वयं सभी फ़ंक्शंस ( http://en.wikipedia.org/wiki/Dedekind_number ) के सेट के सापेक्ष बड़ा नहीं है । हम कुछ छद्म आयामी मोनोटोन फ़ंक्शन जनरेटर को परिभाषित कर सकते हैं और इसे तोड़ने के लिए प्राकृतिक संपत्ति का उपयोग कर सकते हैं, लेकिन हमारे पास शायद इस जनरेटर और एक तरफ़ा कार्यों के बीच समानता नहीं होगी, इसलिए प्रमेय इतना दिलचस्प नहीं होगा।

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

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