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