本文为 CNF-SAT 问题的求解提出了常微分方 程方法 ,证 明了此方法为高效的概率算法. 1.1 舍取范式 设 P ,P ,⋯, 代表 句各 自独立无关的话——命题.它们各 自为真或为假. ( 1, 2,⋯, )代表 的否定命题 ,称作 A的非.若 A为真则 伪假,若 A为假则 ,为真.P Vpz代 表 句子“pt或 ”...
本发明公开了一种SAT问题计算外包中的CNF公式数据保护方法,实施步骤如下:生成Husk公式S2和Husk解Hr;将原始CNF公式S1,S2两者以保持解空间不变为前提混合生成新CNF公式S以及变量映射表M;将待求解数据使用新CNF公式S转换为CNF公式数据并外包到远端服务器,利用远端服务器对收到的CNF公式数据求解得到混淆解Or;基于变量映射...
提出拟物拟人方法.论述了如何按此种方法为NP难问题设计出高效实用的快速求解算法.作为例证,所得出的关于CNF-SAT问题及packing问题的算法,其先进性在国际竞赛及工业生产中得到了显示. 著录项 来源 《华中科技大学学报:自然科学版》 |1998年第9期|5-7|共4页 作者 黄文奇; 许如初; 陈卫东; ...