ความน่าจะเป็นที่ฟังก์ชัน Boolean สุ่มมีกลุ่ม automorphism เล็กน้อยคืออะไร


9

กำหนดฟังก์ชั่นแบบบูลเรามีกลุ่ม automorphism\}fAut(f)={σSn x,f(σ(x))=f(x)}

มีขอบเขตที่รู้จักในหรือไม่ มีอะไรเป็นที่รู้จักกันในปริมาณของแบบฟอร์มสำหรับกลุ่มหรือไม่?Prf(Aut(f)1)Prf(GAut(f))G

คำตอบ:


4

ใช่. สำหรับคำถามแรกของคุณความน่าจะเป็นเป็นเลขทวีคูณแบบเร็วเป็นศูนย์ สามารถคำนวณได้ดังนี้ สำหรับการเปลี่ยนแปลงแต่ละครั้งเราสามารถจำกัดความน่าจะเป็นที่ , นั่นคือสำหรับทั้งหมด . พิจารณาวงโคจรของทำหน้าที่เกี่ยวกับ n เรามีคือออโตมอร์ฟิซึ่มของ iffเป็นค่าคงที่บน -orbits ถ้าไม่น่าสนใจมันมีอย่างน้อยหนึ่งวงโคจรบนที่ไม่ใช่ซิงเกิลดังนั้นอย่างน้อยก็บนวงโคจรที่ππAut(f)f(π(x))=f(x)x{0,1}nπ{0,1}nπffππ[n]{0,1}nนั่นไม่ใช่ซิงเกิล สมมติว่าวงโคจรนั้นมีองค์ประกอบอยู่ในนั้น น่าจะเป็นที่เป็นค่าคงที่ในวงโคจรที่เป็นจึงแม่นยำ(k-1)} สมมติว่าการกับมีจุดคงที่ ,รอบความยาว 2, ฯลฯ (โดยเฉพาะ ) แล้วจำนวนจุดของแก้ไขโดยเป็นอย่างแม่นยำC_i} ทุกจุดที่เหลืออยู่ของอยู่ในวงโคจรของขี้ปะติ๋ว\ความน่าจะเป็นที่kf2(k1)π[n]c1c2i=1nici=n{0,1}nπ2ici{0,1}nππAut(f)โปรดทราบว่าความเป็นไปได้ที่ดีที่สุดคือถ้าองค์ประกอบที่ไม่คงที่ของมาในวงโคจรขนาด 2 ดังนั้นเราจึงได้รับที่C_i} ขณะนี้เราต้องการที่ถูกผูกไว้ในที่ต่ำกว่าซึ่งหมายความว่าเราต้องการขอบเขตบนC_i ตั้งแต่ที่ใหญ่ที่สุดได้เมื่อและนั่นคือและดังนั้นและ{n-2}} ตอนนี้ใช้สหภาพที่ถูกผูกไว้:{0,1}nPr(πAut(f))(1/2)M/2M=2n2iciMiciπ1cic1=n2c2=1ci=n1M=2n2n1=2n1M2n1Pr(πAut(f))(1/2)2n2|Sn|=n!ดังนั้นซึ่งโดยทั่วไปแล้วเป็นค่อนข้างเร็วPr((πSn)[π1 and πAut(f)])n!22n22nlgn2n20n

สำหรับคุณสามารถใช้การให้เหตุผลที่คล้ายกัน แต่ความน่าจะเป็นจะเป็นศูนย์อย่างรวดเร็วเช่นกันGSn


ความน่าจะเป็นที่ f คงที่บนวงโคจรจะไม่เท่ากับ $ 2 ^ {- k} หรือไม่
ซามูเอลชเลซิงเจอร์

1
ขอบคุณสำหรับสิ่งนี้โดยวิธีการมันเตือนฉันมากมายของการพิสูจน์กราฟรุ่น
ซามูเอลชเลซิงเจอร์

1
โอ้ฉันเห็นว่าทำไมมันถึง2(k1)
ซามูเอลชเลซิงเจอร์

1
@SamuelSchlesinger: ใช่คล้ายกัน ฉันคิดว่ามันง่ายยิ่งขึ้นในกรณีนี้เพราะจำนวนของฟังก์ชั่นบูลเป็นสองครั้งที่ชี้แจงในขณะที่จำนวนของกราฟเป็นเพียงn} 2n2nlgn
Joshua Grochow
โดยการใช้ไซต์ของเรา หมายความว่าคุณได้อ่านและทำความเข้าใจนโยบายคุกกี้และนโยบายความเป็นส่วนตัวของเราแล้ว
Licensed under cc by-sa 3.0 with attribution required.