รับจำนวนบิตอย่างมีประสิทธิภาพ! ?


11

รับและเป็นไปได้ที่จะได้บิต (หรือหลักฐานเล็ก ๆ ) ของในเวลา / พื้นที่ของโดยที่เป็นฟังก์ชันพหุนามในและ ?M M N ! O ( p ( l n ( N ) , l n ( M ) ) ) p ( x , y ) x yยังไม่มีข้อความMMยังไม่มีข้อความ!O(พี(ล.n(ยังไม่มีข้อความ),ล.n(M)))พี(x,Y)xY

เช่นได้รับ , (กับ , ), หา bitของในMU)) M = 2 μ N M Z 2 μ ( 2 η ) ! O ( p ( η , μ ) )ยังไม่มีข้อความ=2ηM=2μยังไม่มีข้อความMZ2μ(2η)!O(พี(η,μ))

หมายเหตุ: ฉันได้ถามคำถามนี้ใน mathoverflow.net ที่นี่และยังไม่ได้รับคำตอบดังนั้นฉันจึงโพสต์ข้าม

จากความคิดเห็นในเว็บไซต์อื่น Gene Kopp ชี้ให้เห็นว่าใครสามารถคำนวณบิตลำดับล่างได้อย่างมีประสิทธิภาพโดยการคำนวณเลขคณิตแบบแยกส่วนและบิตคำสั่งซื้อที่สูงขึ้นโดยใช้การประมาณของ Stirling ดังนั้นคำถามนี้จริงๆแล้ว .

คำตอบ:


13

Dick Lipton มีตำแหน่งที่สวยงามตั้งแต่ปี 2009เกี่ยวกับความสัมพันธ์ระหว่างฟังก์ชันแฟกทอเรียลกับแฟคตอริ่ง มีหลายสิ่งที่ไม่เกี่ยวข้องกับคำถามนี้ แต่ประเด็นสำคัญประการหนึ่งคือทฤษฎีบทนี้:

ถ้าสามารถคำนวณได้โดยการคำนวณทางคณิตศาสตร์แบบเส้นตรงในขั้นตอนจากนั้นแฟคตอริ่งจะมีวงจรขนาดพหุนามO ( บันทึกc n )n!O(logcn)

ฉันสงสัยว่านี่เป็นหลักฐานว่าคำถามของคุณโดยเฉพาะภายในเวลาที่คุณเอ่ยถึงเป็นเรื่องยากที่จะตอบ


1
ขอบคุณนี่เป็นคำตอบที่ฉันต้องการ นี่ไม่ได้ตอบคำถามของฉันโดยตรงและฉันไม่เห็นว่าจะเชื่อมต่อทั้งสองอย่างไร แต่ก็ใกล้พอที่จะทำให้ฉันพักได้
user834

3

คำตอบของ Suresh อาจตอบคำถามสำหรับคุณ แต่ฉันคิดว่าฉันจะชี้ให้เห็นกรณีพิเศษ คุณสามารถดูผลของตัวเลขที่สำคัญน้อยกว่าสำหรับฐานใด ๆ ใช้เป็นฐานของเราพี

เห็นได้ชัดว่าทุกหน้าTHระยะในปัจจัยที่มีหลายหน้าทุก ๆ ระยะ thเป็นจำนวนมากของเป็นต้นดังนั้นพลังสูงสุดของที่เป็นปัจจัยของเป็น\ ง่ายต่อการประมาณโดยสเตอร์ลิงประมาณ:N นอกจากนี้ดังนั้นผลรวมสามารถคำนวณได้อย่างมีประสิทธิภาพโดยการรวมแทน (ตั้งแต่( p 2 ) p 2 p N ! X p = log p ( N ! ) i = 1Nพี(พี2)พี2พียังไม่มีข้อความ!Xพี=Σผม=1เข้าสู่ระบบพี(ยังไม่มีข้อความ!)ยังไม่มีข้อความพีผมเข้าสู่ระบบพี(ยังไม่มีข้อความ!)LNยังไม่มีข้อความ!ยังไม่มีข้อความLNยังไม่มีข้อความ-ยังไม่มีข้อความพียังไม่มีข้อความเข้าสู่ระบบพี(ยังไม่มีข้อความ)>ยังไม่มีข้อความ!1ผมยังไม่มีข้อความเข้าสู่ระบบพี(ยังไม่มีข้อความ)ยังไม่มีข้อความพีผม=0สำหรับ )ผม>เข้าสู่ระบบพี(ยังไม่มีข้อความ!)

ดังนั้นตัวเลขสุดท้ายของเป็นศูนย์ในฐานPXพียังไม่มีข้อความ!พี

โดยการใช้ไซต์ของเรา หมายความว่าคุณได้อ่านและทำความเข้าใจนโยบายคุกกี้และนโยบายความเป็นส่วนตัวของเราแล้ว
Licensed under cc by-sa 3.0 with attribution required.