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

摘要

在满足问题或任何决策或可简化为满足问题的其它问题内，本发明追踪蕴涵沿着其传播的路径，并且识别条件矛盾，并且随后将所述矛盾沿着所述蕴涵路径朝向假设或其它无前提断言移回，以排除所述矛盾。所述动作在比由现有方法引发的时间短的时间内完成，并且因此提供对解决这些问题的装置、软件或过程的性能改进。这些问题由涉及许多技术领域的装置、软件和过程解决，包括：矿石精炼；管道布线；纱线制造；面料切割；锯木；机械部件设计；数据处理系统的结构设计；电路或半导体掩模的设计和分析；集装箱、管道和画廊的检查和保护；传感器阵列操作；轨道卫星操作；数据压缩；化学分析；蛋白质的设计和分析。

主权项

一种由至少一个计算机处理器执行的用于求解NP问题的方法，所述方法包括：响应于反断言值谓词，将矛盾移动穿过由蕴涵的普遍路径所组成的根茎网络界定的邻近空间，反断言是否定其它断言的值谓词的断言，其导致被否定的断言的所述普遍路径从剩余断言的所述普遍路径被移除，所述剩余断言包括所述反断言，由此产生不在保留在所述反断言的所述普遍路径中的任何约束中创建矛盾的经反断言的值谓词；收集表示蕴涵的所述普遍路径和矛盾运动的所述普遍路径的第一数据；使用所述第一数据来通知方向选择，使得矛盾朝向所述邻近空间中的位置移动，其中所述邻近空间中未记录前提有效的不一致；和以排除抖动的方式选择矛盾进行解决以及选择项进行反断言。