คำถามติดแท็ก black-box

2
ปัญหาการนับโดยประมาณที่จับ BQP
ในรุ่นกล่องดำปัญหาในการพิจารณาผลลัพธ์ของเครื่อง BPPบนอินพุตเป็นปัญหาการนับโดยประมาณของการพิจารณาพร้อมข้อผิดพลาดเพิ่มเติม 1/3 (พูด)x E r M ( x , r )M( x , r )M(x,r)M(x,r)xxxERM( x , r )ErM(x,r)E_r M(x,r) มีปัญหาที่คล้ายกันสำหรับ BQP หรือไม่? ความคิดเห็นนี้โดย Ken Reganแนะนำปัญหาดังกล่าว คุณสามารถลดคำถาม BPP จะใกล้เคียงกับฟังก์ชั่น #P เดียว แต่มี BQP สิ่งที่คุณจะได้รับคือความแตกต่างของทั้งสองฟังก์ชั่น #P ที่เรียกพวกเขาและGการประมาณค่าและแยกกันไม่ช่วยคุณประมาณค่าเมื่อใกล้ศูนย์!g f g f - g f - gฉffก.ggฉffก.ggฉ- กรัมf−gf - gฉ- กรัมf−gf - …

2
การประมาณค่าเฉลี่ยในเวลาพหุนาม
ปล่อยf:{0,1}n→(2−n,1]f:{0,1}n→(2−n,1]f \colon \lbrace 0,1 \rbrace ^ n \to (2^{-n},1]เป็นฟังก์ชันเราต้องการประมาณค่าเฉลี่ยของนั่นคือ:(x)fffE[f(n)]=2−n∑x∈{0,1}nf(x)E[f(n)]=2−n∑x∈{0,1}nf(x)\mathbb{E}[f(n)]=2^{-n}\sum_{x\in \lbrace 0,1 \rbrace ^ n}f(x) NOTE: In the OP, the range of f was [0,1]. I changed this a bit for technical reasons. (This should simplify the problem; if not, forget it!) ให้เป็นอัลกอริทึมการประมาณ (แบบสุ่ม) สมมติว่ามีการเข้าถึงกล่องดำที่จะฉเราหมายถึงนี้โดยฉEEEEEEfffEfEfE^f มีสองเงื่อนไขคือ 1) เวลาทำงานของเครื่องมือประมาณการ:มีพหุนามเดียวp(⋅)p(⋅)p(\cdot)เช่นนั้นสำหรับทุกnnnและfทั้งหมดfffเวลาทำงานของEf(1n)Ef(1n)E^f(1^n)ถูก จำกัด โดยp(n)E[f(n)]p(n)E[f(n)]\frac{p(n)}{\mathbb{E}[f(n)]}(n)]} 2) …

3
การทดสอบอสังหาริมทรัพย์ในการวัดอื่น ๆ ?
มีวรรณกรรมจำนวนมากเกี่ยวกับ "การทดสอบคุณสมบัติ" - ปัญหาในการทำแบบสอบถามกล่องดำจำนวนเล็กน้อยไปยังฟังก์ชันเพื่อแยกความแตกต่างระหว่างสองกรณี:ฉ: { 0 , 1 }n→ Rf:{0,1}n→Rf\colon\{0,1\}^n \to R เป็นสมาชิกของคลาสบางฟังก์ชัน CฉffคC\mathcal{C} คือ ε -far จากฟังก์ชั่นในทุกระดับCฉffεε\varepsilonคC\mathcal{C} ช่วงของฟังก์ชันบางครั้งเป็นบูลีน: R = { 0 , 1 }แต่ไม่เสมอไปRRRR = { 0 , 1 }R={0,1}R = \{0,1\} นี่ -far จะถูกนำทั่วไประยะ Hamming เฉลี่ย: ส่วนของจุดของFที่จะต้องมีการเปลี่ยนแปลงเพื่อไปยังสถานที่ฉระดับC นี่คือการวัดตามธรรมชาติถ้าfมีช่วงบูลีน แต่ดูเป็นธรรมชาติน้อยกว่าถ้าช่วงนั้นบอกว่ามีคุณค่าจริงεε\varepsilonฉfffffCC\mathcal{C}fff คำถามของฉัน: มีวรรณกรรมการทดสอบคุณสมบัติที่ทดสอบความใกล้ชิดกับคลาสบางส่วนเกี่ยวกับตัวชี้วัดอื่น ๆ หรือไม่?CC\mathcal{C}

1
Oracle Construction for Algorithm ของโกรเวอร์
ในการคำนวณควอนตัมและข้อมูลควอนตัมของไมค์และไอค์อัลกอริทึมของโกรเวอร์มีการอธิบายอย่างละเอียด อย่างไรก็ตามในหนังสือและในคำอธิบายทั้งหมดที่ฉันพบออนไลน์สำหรับอัลกอริทึมของ Grover ดูเหมือนจะไม่มีการเอ่ยถึงวิธีการสร้าง Oracle ของ Grover เว้นแต่ว่าเรารู้อยู่แล้วว่าเรากำลังค้นหาเอาชนะจุดประสงค์ของ ขั้นตอนวิธี โดยเฉพาะคำถามของฉันคือ: ให้ f (x) เช่นนั้นสำหรับบางค่า x, f (x) = 1 แต่สำหรับคนอื่น ๆ ทั้งหมด f (x) = 0 เราจะสร้าง oracle ได้อย่างไรจาก สถานะเริ่มต้นโดยพลการของเรา | x> | y> ถึง | x> | y + f (x)>? รายละเอียดที่ชัดเจนที่สุดเท่าที่จะเป็นไปได้ (อาจเป็นตัวอย่าง?) จะได้รับการชื่นชมอย่างมาก หากการก่อสร้างใด ๆ สำหรับฟังก์ชั่นใด ๆ เป็นไปได้ด้วย …

2
Simulator ที่หลบหนีของ Zero-Knowledge Protocol ในโมเดล Oracle แบบสุ่ม
ในกระดาษเรื่อง "On Deniability ในสตริงอ้างอิงทั่วไปและโมเดล Oracle แบบสุ่ม" Rafael Pass เขียน: เราทราบว่าเมื่อการพิสูจน์ความปลอดภัยตามนิยามศูนย์ความรู้มาตรฐานในรุ่น RO [Random Oracle] ตัวจำลองมีข้อดีสองประการเหนือตัวจำลองแบบธรรมดาคือ เครื่องจำลองสามารถดูได้ว่าฝ่ายใดสอบถามค่าพยากรณ์ใน เครื่องมือจำลองสามารถตอบแบบสอบถามเหล่านี้ในแบบที่มันเลือกตราบเท่าที่คำตอบ "ดู" ตกลง เทคนิคแรกคือความสามารถในการ "ติดตาม" การสืบค้น RO เป็นเรื่องธรรมดามากในเอกสารทั้งหมดที่อ้างถึงแนวคิดของศูนย์ความรู้ในแบบจำลอง RO ตอนนี้ให้พิจารณานิยามของzero-knowledge -black-box ( PPTหมายถึงความน่าจะเป็น, เครื่องทัวริงพหุนาม - เวลา ): a PPT simulator S , เช่นนั้น ∀ (อาจจะโกง) PPT verifier V ∗ , ∀อินพุตทั่วไป x ∈ L , …
โดยการใช้ไซต์ของเรา หมายความว่าคุณได้อ่านและทำความเข้าใจนโยบายคุกกี้และนโยบายความเป็นส่วนตัวของเราแล้ว
Licensed under cc by-sa 3.0 with attribution required.