摘要。虽然量子计算机有望显著提高计算速度,但早期量子机的有限尺寸推动了空间有界量子计算的研究。我们将计算具有单侧误差的函数 푓 的量子空间复杂度与其跨度程序大小对实数的对数联系起来,这是一个经典量,在证明公式大小下界的尝试中得到了充分研究。在更自然的有界误差模型中,我们表明,单一量子算法(即直到最后一步才进行测量的算法)计算具有有界(双侧)误差的 푓 所需的空间量至少是其近似跨度程序大小的对数。近似跨度程序已被引入量子算法领域,但尚未进行经典研究。但是,函数的近似跨度程序大小是其跨度程序大小的自然概括。