理论计算机科学

2022-07-02 退随机化, 消除中间测量和 quantum-proof extractor

2020-01-21 (强)指数时间假设非典型应用两则

2020-01-19 当对数空间复杂性遇上强联通图和行列式

2020-01-17 一份关于 MIP*=RE 的不太长的介绍

2019-11-19 量子交互式证明可以验证停机问题吗?

2019-04-02 量子优越性和浅层量子线路

2018-10-07 量子 PCP 猜想浅说 (四): 量子 PCP 定理及其他

2018-07-07 随机行走与 Cook-Levin 定理的“量子化”

2018-07-07 量子 PCP 猜想浅说 (三): Pauli 矩阵的线性检测

2018-06-27 量子 PCP 猜想浅说 (二): 量子纠缠的交互式证明验证