กำหนดฟังก์ชั่นแบบบูลเรามีกลุ่ม automorphism\}
มีขอบเขตที่รู้จักในหรือไม่ มีอะไรเป็นที่รู้จักกันในปริมาณของแบบฟอร์มสำหรับกลุ่มหรือไม่?
กำหนดฟังก์ชั่นแบบบูลเรามีกลุ่ม automorphism\}
มีขอบเขตที่รู้จักในหรือไม่ มีอะไรเป็นที่รู้จักกันในปริมาณของแบบฟอร์มสำหรับกลุ่มหรือไม่?
คำตอบ:
ใช่. สำหรับคำถามแรกของคุณความน่าจะเป็นเป็นเลขทวีคูณแบบเร็วเป็นศูนย์ สามารถคำนวณได้ดังนี้ สำหรับการเปลี่ยนแปลงแต่ละครั้งเราสามารถจำกัดความน่าจะเป็นที่ , นั่นคือสำหรับทั้งหมด . พิจารณาวงโคจรของทำหน้าที่เกี่ยวกับ n เรามีคือออโตมอร์ฟิซึ่มของ iffเป็นค่าคงที่บน -orbits ถ้าไม่น่าสนใจมันมีอย่างน้อยหนึ่งวงโคจรบนที่ไม่ใช่ซิงเกิลดังนั้นอย่างน้อยก็บนวงโคจรที่นั่นไม่ใช่ซิงเกิล สมมติว่าวงโคจรนั้นมีองค์ประกอบอยู่ในนั้น น่าจะเป็นที่เป็นค่าคงที่ในวงโคจรที่เป็นจึงแม่นยำ(k-1)} สมมติว่าการกับมีจุดคงที่ ,รอบความยาว 2, ฯลฯ (โดยเฉพาะ ) แล้วจำนวนจุดของแก้ไขโดยเป็นอย่างแม่นยำC_i} ทุกจุดที่เหลืออยู่ของอยู่ในวงโคจรของขี้ปะติ๋ว\ความน่าจะเป็นที่โปรดทราบว่าความเป็นไปได้ที่ดีที่สุดคือถ้าองค์ประกอบที่ไม่คงที่ของมาในวงโคจรขนาด 2 ดังนั้นเราจึงได้รับที่C_i} ขณะนี้เราต้องการที่ถูกผูกไว้ในที่ต่ำกว่าซึ่งหมายความว่าเราต้องการขอบเขตบนC_i ตั้งแต่ที่ใหญ่ที่สุดได้เมื่อและนั่นคือและดังนั้นและ{n-2}} ตอนนี้ใช้สหภาพที่ถูกผูกไว้:ดังนั้นซึ่งโดยทั่วไปแล้วเป็นค่อนข้างเร็ว
สำหรับคุณสามารถใช้การให้เหตุผลที่คล้ายกัน แต่ความน่าจะเป็นจะเป็นศูนย์อย่างรวดเร็วเช่นกัน