ค้นหาพหุนามในการค้นหาสองหรือสามครั้ง


17

กล่องดำของf(x)หมายความว่าฉันสามารถประเมินพหุนามได้ทุกจุดf(x)

  • การป้อนข้อมูล : กล่องสีดำของ monic พหุนามปริญญาdf(x)Z+[x]d

  • เอาท์พุท:ค่าสัมประสิทธิ์ของพหุนาม(x)f ( x )df(x)

อัลกอริทึมของฉัน:อนุญาต

f(x)=xd+ad1xd1++a1x+a0

ประเมินค่าพหุนามที่dหลาย ๆ จุดโดยใช้กล่องดำและรับระบบสมการเชิงเส้น ตอนนี้ฉันสามารถแก้ระบบสมการเชิงเส้นเพื่อให้ได้ค่าสัมประสิทธิ์ที่ต้องการf(x)d

อย่างไรก็ตามในกรณีนี้ฉันต้องการแบบสอบถามจำนวนมากไปยังกล่องดำ ฉันต้องการที่จะลดจำนวนแบบสอบถาม มีวิธีใดที่จะลดจำนวนข้อความค้นหาให้เหลือเพียงสองหรือสามข้อO(d)


2
คุณเปลี่ยนคำถามต่อไป บางทีคุณควรตัดสินใจคำถามก่อนแล้วจึงถาม ไม่เช่นนั้นอาจเป็นเรื่องที่น่าหงุดหงิดสำหรับผู้ตอบคำถาม
Yuval Filmus

2
อะไรหมายถึง? Z+
md5

1
ชุดจำนวนเต็มบวก
Complexity

1
BTW สำหรับอัลกอริทึมของคุณสามารถคำนวณค่าสัมประสิทธิ์ในแทนO ( n 3 )ด้วยสูตรปิดของ Lagrange O(n2)O(n3)
md5

2
แน่นอนคำถามเดียวกันคำพูดที่แตกต่างกัน: math.stackexchange.com/questions/446130/...
Nayuki

คำตอบ:


29

คุณสามารถกำหนดพหุนามโดยใช้สองแบบสอบถาม อันดับแรกสอบถามพหุนามที่เพื่อให้ได้Mขอบเขตบนบนค่าของสัมประสิทธิ์ ตอนนี้สอบถามพหุนามที่x > M ที่คุณเลือกและอ่านค่าสัมประสิทธิ์จากการขยายฐานxx=1Mx>Mx

อยากรู้อยากเห็นถ้าคุณอนุญาตให้สัมประสิทธิ์เป็นลบคุณไม่สามารถทำได้ดีกว่าการสืบค้นที่จริงฉันสามารถตอบd - 1เคียวรีx 1 , , x d - 1ด้วยศูนย์ของคุณเสมอและนี่ไม่ได้แก้ไขค่าของพหุนามตั้งแต่พหุนามทั้งหมดของแบบฟอร์ม( x - x 1 ) ( x - x d - 1 ) ( x - x d )สอดคล้องกับคำตอบของฉันdd1x1,,xd1(xx1)(xxd1)(xxd)


สำหรับเชิงลบฉันคิดว่าเคล็ดลับที่สมบูรณ์ของ 2 อาจทำงานได้
ความซับซ้อน

4
ไม่ได้โดยไม่มีขอบเขตบนกับขนาดของสัมประสิทธิ์ นี่คือสิ่งที่หลักฐานของฉันแสดงให้เห็น
Yuval Filmus

ขออภัยฉันไม่ได้รับส่วนนี้ "ฉันสามารถตอบคำถามของคุณแบบสอบถามx 1 , , x d - 1โดยศูนย์"d1x1,,xd1
ความซับซ้อน

6
นี่คือการโต้เถียง อัลกอริทึมของคุณถามกล่องดำเพื่อหาค่าที่d - 1แห่งและมันจะตอบศูนย์เสมอ ผมแสดงให้เห็นว่านี้ไม่เพียงพอสำหรับคุณที่จะอนุมานค่าของฉ fd1f
Yuval Filmus
โดยการใช้ไซต์ของเรา หมายความว่าคุณได้อ่านและทำความเข้าใจนโยบายคุกกี้และนโยบายความเป็นส่วนตัวของเราแล้ว
Licensed under cc by-sa 3.0 with attribution required.