Lance Fortnow 询问 Claude：新证明中关键变量复杂度为 Promise-BQP 完全

Lance Fortnow 就新 Aronson-Ambainis 证明中“寻找有影响力的变量”的复杂度询问 Claude，结论是给定量子电路时该问题为 Promise-BQP 完全。若允许对多项式进行 O(log n log log n) 次查询，则可以求解。