9 量子交互式证明(QIP)、半正定程序和乘法权重 91 9.1 乘法权重算法 . . . . . . . . . . . . . . . . . . . . . . 91 9.2 QIP 和半正定程序 . . . . . . . . . . . . . . . . . . . . . 93 9.2.1 量子交互式证明 . . . . . . . . . . . . . . . . . . . . 94 9.2.2 半正定规划 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ....................................................................................................................................101 9.3.2 正确性. ....................................................................................................................................................................103