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


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μยังไม่มีข้อความM∈Z2μ(2η)!O(พี(η,μ))

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

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

คำตอบ:


13

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

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

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


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

3

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

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

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

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