量子公式大小的准二次下界
An Almost-Quadratic Lower Bound for Quantum Formula Size
摘要：
我们表明，Nechiporuk的方法证明下界的布尔公式可以扩展到量子的情况下。这导致了计算显式函数的量子公式的n^2 / log^2 n下界。之前唯一已知的量子公式的显式下界（由姚明提出）指出，多数函数没有线性尺寸的量子公式。
英文摘要：
We show that Nechiporuk's method for proving lower bound for Boolean formulas can be extended to the quantum case. This leads to an n^2 / log^2 n lower bound for quantum formulas computing an explicit function. The only known previous explicit lower bound for quantum formulas (by Yao) states that the majority function does not have a linear-size quantum formula.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
