क्या संभावना है कि एक यादृच्छिक बूलियन फ़ंक्शन में एक तुच्छ स्वप्रवर्तनवाद समूह है?


9

एक बूलियन फ़ंक्शन को देखते हुए f, हमारे पास ऑटोमोर्फिज्म समूह है Aut(f)={σSn x,f(σ(x))=f(x)}

क्या कोई ज्ञात सीमाएं हैं Prf(Aut(f)1)? क्या फॉर्म की मात्राओं के लिए कुछ जाना जाता हैPrf(GAut(f)) कुछ समूह के लिए G?

जवाबों:


4

हाँ। आपके पहले प्रश्न के लिए, संभावना शून्य डबल-घातीय तेजी से जाती है। इसकी गणना निम्न प्रकार से की जा सकती है। प्रत्येक क्रमपरिवर्तन के लिएπ, हम संभावना है कि बाध्य कर सकते हैं πAut(f), यानी कि f(π(x))=f(x) सबके लिए x{0,1}n। की कक्षाओं पर विचार करेंπ अभिनय कर रहे {0,1}n। हमारे पास वह हैπ का आटोमोटिव है f iff f पर स्थिर है π-orbits। अगरπ nontrivial है, इसकी कम से कम एक कक्षा है [n] यह एक सिंगलटन नहीं है, और इसलिए कम से कम ऑर्बिट पर {0,1}nयह एक सिंगलटन नहीं है। मान लीजिए कि कक्षा हैkइसमें तत्व। संभावना है किf इस प्रकार उस परिक्रमा निरंतर होती है 2(k1)। मान लो किπ अभिनय कर रहे [n] है c1 निश्चित बिंदु, c2 लंबाई 2, आदि के चक्र (विशेष रूप से) i=1nici=n)। फिर अंकों की संख्या{0,1}n द्वारा तय किया गया π ठीक है 2ici। के सभी शेष अंक{0,1}n nontrivial कक्षाओं में हैं π। ऊपरी संभावना है कि बाध्य करने के लिएπAut(f), ध्यान दें कि सबसे अच्छी संभावना है अगर सभी गैर-निश्चित तत्व हैं {0,1}n आकार की कक्षाओं में आते हैं 2. तो हमें वह मिलता है Pr(πAut(f))(1/2)M/2 कहाँ पे M=2n2ici। अब, हम निम्न सीमा चाहते हैंM, जिसका मतलब है कि हम एक ऊपरी बाध्य चाहते हैं ici। जबसेπ1, सबसे बड़ा ci जब हो सकता है c1=n2 तथा c2=1, अर्थात ci=n1 तथा M=2n2n1=2n1, इसलिए M2n1 तथा Pr(πAut(f))(1/2)2n2। अब संघ बाध्य करें:|Sn|=n!, इसलिए Pr((πSn)[π1 and πAut(f)])n!22n2, जो मूल रूप से है 2nlgn2n20 जैसा n, काफी जल्दी।

किसी दिए गए के लिए GSn आप इसी तरह के तर्क का उपयोग कर सकते हैं, लेकिन संभावना भी बहुत जल्दी शून्य हो जाएगी।


क्या कक्षा पर स्थिर होने की संभावना $ 2 ^ {- k} नहीं होगी?
शमूएल श्लेसिंगर

1
वैसे इसके लिए धन्यवाद, यह मुझे ग्राफ़ संस्करण के प्रमाण की बहुत याद दिलाता है।
शमूएल श्लेसिंगर

1
ओह, मैं देख रहा हूं कि यह क्यों है 2(k1)
शमूएल श्लेसिंगर

1
@SamuelSchlesinger: हाँ, समान। मुझे लगता है कि इस मामले में यह और भी आसान है क्योंकि बूलियन फंक्शंस की संख्या डबल-एक्सपोनेंशियल है जबकि ग्राफ्स की संख्या केवल2n2nlgn
जोशुआ ग्रोचो
हमारी साइट का प्रयोग करके, आप स्वीकार करते हैं कि आपने हमारी Cookie Policy और निजता नीति को पढ़ और समझा लिया है।
Licensed under cc by-sa 3.0 with attribution required.