机构名称：
¥ 2.0
状态崩溃在观察状态时。模拟超过数十个量子位是昂贵或不可能的。在物理量子计算机上运行程序的成本很高；如果我们运行不正确的程序会变得更糟。因此，重要的是在静态上确保正确性。
量子Hoare类型理论
主要关键词
相关文件推荐
