34、量子计算在逻辑表达式可满足性检查中的应用

量子计算在逻辑表达式可满足性检查中的应用

1. 量子门与逻辑运算符

量子计算中，一些重要的量子门在构建逻辑表达式方面起着关键作用。
-CX 门：CX 门操作的结果量子态如表 1 所示，当第一个量子比特为 |1⟩ 时，第二个量子比特会翻转。在量子计算里，量子比特字符串通常从右向左枚举，所以这里的“第一个量子比特”是最右边的那个。
| 输入 | 结果 |
| ---- | ---- |
| |00⟩ | |00⟩ |
| |01⟩ | |11⟩ |
| |10⟩ | |10⟩ |
| |11⟩ | |01⟩ |

• Toffoli 门：这是 X 门的多控制形式，也称为 CCX 或 CCNOT 门。以 3 - 量子比特 Toffoli 门为例，只有当 q0 和 q1 都为 |1⟩ 时，q2 才会翻转，其结果量子态如表 2 所示。
  | 输入 | 结果 |
  | ---- | ---- |
  | |000⟩ | |000⟩ |
  | |001⟩ | |001⟩ |
  | |010⟩ | |010⟩ |
  | |011⟩ | |111⟩ |
  | |100⟩ | |100⟩ |
  | |101⟩ | |101⟩ |
  | |110⟩ | |110⟩ |
  | |111⟩ | |011⟩ |

• 量子逻辑运算符：在数字逻辑中，仅用一个基本的与非（NAND）运算符就能构建任何逻辑运算符和整个