[发明专利]用于使用量子计算机求解3SAT的系统和方法

权利要求书

1.一种用于在不可逆量子计算机上执行不可逆量子计算的计算机实施的方法，所述不可逆量子计算机包括具有临时抓取比特的门，所述抓取比特被初始化为真并且如果逻辑表达式评估为真，则所述抓取比特在真值轴上具有正投影，而如果所述逻辑表达式评估为假，则所述抓取比特在所述真值轴上具有负投影，所述方法包括：

将所述抓取比特的状态用作新的门的输入，或者控制其他变量的旋转；

当不再需要信息时，通过与所述真值轴正交的测量破坏被包含在所述抓取比特中的所述信息；

执行从包括幺正运算、插入运算和删除运算的组中所选的一个或更多个运算；

将能够表示为逻辑运算的输出的性质或可表示为逻辑运算的其他性质编码在第一比特的状态中；

存储、删除或修改所述第一比特的状态；并且

改变量子系统中的状态的概率分布的方法，其将概率集中在满足逻辑公式的状态或一组状态中，并且其中，从包括抽取门的标识、与特定抽取门相对应的抽取角度、不同的门的施加顺序或者特定抽取门所施加的次数的组中所选择的参数是在重复之间变化。

2.一种不可逆量子计算机，其包括：

具有临时抓取比特的门，所述临时抓取比特被初始化为真，并且如果逻辑表达式评估为真，则所述临时抓取比特在真值轴上具有正投影，而如果所述逻辑表达式评估为假，则所述临时抓取比特在所述真值轴上具有负投影；

算法，其被安装在所述不可逆量子计算机上，所述算法被配置用于使概率集中在求解状态中，并且改变量子系统中的状态的概率分布的方法，其将概率集中在满足逻辑公式的状态或一组状态中，并且其中，从包括抽取门的标识、与特定抽取门相对应的抽取角度、不同的门的施加顺序或者特定抽取门所施加的次数的组中所选择的参数是在重复之间变化；

不可逆量子计算机函数，其将第一密度矩阵映射到第二密度矩阵；

映射函数不具有明确定义的逆；

所述第二密度矩阵描述仅通过使用以下算法来追踪所有的环境自由度来从一起描述系统和环境的所述第一密度矩阵获得的所述系统：

其中下标“e”表示所述环境的状态，下标“s”表示所述系统的状态并且下标“se”表示耦合到所述环境的所述系统的状态。

3.一种计算机可读介质，存储有计算机程序，所述计算机程序用于当所述计算机程序在不可逆量子计算机上被执行时执行权利要求1中的所有步骤。