[发明专利]在无超高多项式成本的情况下求解NP完全问题

权利要求书

1.一种由至少一个计算机处理器执行的用于求解NP问题的方法，所述方法包括：

响应于反断言值谓词，将矛盾移动穿过由蕴涵的普遍路径所组成的根茎网络界定的邻近空间，反断言是否定其它断言的值谓词的断言，其导致被否定的断言的所述普遍路径从剩余断言的所述普遍路径被移除，所述剩余断言包括所述反断言，由此产生不在保留在所述反断言的所述普遍路径中的任何约束中创建矛盾的经反断言的值谓词；

收集表示蕴涵的所述普遍路径和矛盾运动的所述普遍路径的第一数据；

使用所述第一数据来通知方向选择，使得矛盾朝向所述邻近空间中的位置移动，其中所述邻近空间中未记录前提有效的不一致；和

以排除抖动的方式选择矛盾进行解决以及选择项进行反断言。

2.根据权利要求1所述的方法，其中选择包括以排除每个假设超过问题表示中的约束的一个遍历的抖动的方式进行选择。

3.根据权利要求1所述的方法，其中将所述矛盾移动穿过所述邻近空间包括将所述矛盾移动穿过所述邻近空间中的连续位置。

4.根据权利要求1所述的方法，

其中所述第一数据包括遥远度计数和接近度计数中的至少一个，以及所述普遍路径中的目的地列表；和

其中选择所述项来反断言包括根据最近目的地法选择项来反断言。

5.根据权利要求1所述的方法，

其中第一数据包括所述普遍路径中的目的地列表、所述普遍路径中的条件普遍断言的列表和遥远度计数；和

其中选择所述项进行反断言包括根据最远反转法选择项进行反断言。

6.根据权利要求1或权利要求3所述的方法，

其中选择所述矛盾进行解决包括选择占据提供普遍断言的约束的矛盾，所述普遍断言限制最新解决的所述矛盾的所述约束中的项。

7.一种计算装置，其包括：

非暂时性存储器；和

处理器；

其中所述非暂时性存储器包括表示多个计算机可读指令的信号；和

其中所述处理器适于执行所述多个计算机可读指令来执行用于解决NP问题的方法，所述方法包括：

响应于反断言的值谓词，将矛盾移动穿过由蕴涵的普遍路径所组成的根茎网络界定的邻近空间，反断言是否定其它断言的值谓词的断言，其导致被否定断言的所述普遍路径从剩余断言的所述普遍路径被移除，所述剩余断言包括所述反断言，由此产生不在保留在所述反断言的所述普遍路径中的任何约束中创建矛盾的经反断言的值谓词；

收集表示蕴涵的所述普遍路径和矛盾运动的所述普遍路径的第一数据；

使用所述第一数据来通知方向选择，使得矛盾朝向所述邻近空间中的位置移动，其中所述邻近空间中未记录前提有效的不一致；和

以排除抖动的方式选择矛盾进行解决以及选择项进行反断言。

8.根据权利要求7所述的计算装置，其中选择包括以排除每个假设超过问题表示中的约束的一个遍历的抖动的方式进行选择。

9.根据权利要求7所述的计算装置，其中将所述矛盾移动穿过所述邻近空间包括将所述矛盾移动穿过所述邻近空间中的连续位置。

10.根据权利要求7所述的计算装置，

其中所述第一数据包括遥远度计数和接近度计数中的至少一个，以及所述普遍路径中的目的地列表；和

其中选择所述项进行反断言包括根据最近目的地法选择项进行反断言。

11.根据权利要求7所述的计算装置，

其中所述第一数据包括所述普遍路径中的目的地列表、所述普遍路径中的条件普遍断言的列表和遥远度计数；和

其中选择所述进行反断言包括根据最远反转法选择项进行反断言。

12.根据权利要求7或权利要求10所述的计算装置，

其中选择所述矛盾进行解决包括选择占据提供普遍断言的约束的矛盾，所述普遍断言限制最新解决的所述矛盾的所述约束中的项。