ซึ่งผมไม่แน่ใจว่ารุ่น Black Box ห้าม"
สิ่งที่โมเดลกล่องดำห้ามคือการดำเนินการใดๆ กับองค์ประกอบกลุ่มนอกเหนือจากชุดการดำเนินการเฉพาะ ในกรณีของคุณ การดำเนินการที่อนุญาตจะเป็น:
การดำเนินงานกลุ่ม (อพ $A$ และ $B$, กลับ $A \คูณ B$)
การดำเนินการผกผันกลุ่ม
การเปรียบเทียบองค์ประกอบสองกลุ่มเพื่อความเท่าเทียมกัน
msbit oracle ของคุณ (เนื่องจากคุณกำลังขยายโมเดลกล่องดำเพื่อให้มีการดำเนินการนี้)
การดำเนินการอื่นใดกับองค์ประกอบของกลุ่มเป็นสิ่งต้องห้าม
ในทางกลับกัน การดำเนินการใด ๆ ที่ไม่ใช่องค์ประกอบของกลุ่มถือเป็นเกมที่ยุติธรรม ตัวอย่างเช่น msbit oracle ของคุณคืนค่าบิต บิตนี้ไม่ใช่องค์ประกอบกลุ่ม และทำสิ่งต่างๆ เช่น:
ถ้า (oracle_returned_a_one) {
ทำเช่นนี้();
} อื่น {
ทำอย่างนั้น();
}
กำลังเล่นได้อย่างสมบูรณ์แบบ
ดังนั้น เว้นแต่ว่าจำนวนเฉพาะจะอยู่เหนือกำลัง 2 เพียงเล็กน้อย นั่นคือ $p = 2^k + \ell$ สำหรับ $2^k / \text{polylog}(p) < \ell < 2^k$ควรชัดเจนว่าคุณสามารถคำนวณบันทึกแบบไม่ต่อเนื่องด้วยจำนวนการสืบค้นแบบพหุนาม (โดยเฉพาะ $k + \text{polylog}(p)$ สอบถาม)