本发明公开了一种SAT问题计算外包中的CNF公式数据保护方法,实施步骤如下:生成Husk公式S 法律状态 法律状态公告日 法律状态信息 法律状态 权利要求说明书 1.一种SAT问题计算外包中的CNF公式数据保护方法,其特征在于实施步骤如下: 1)生成Husk公式S 2 ,所述Husk公式S 2 为仅有一个可满足解的CNF公式,且所述Husk公...
- 10 年他试图把 CNF-SAT 写成一个关于多变量多项式的问题, 然后想用诸如 FFT 之类的代数算法更快的求解. 然而对于一般情况这个算法要比已知的最优算法糟糕得多; 可幸运的是, 几个月后他意识到关于 ACC0 的 SAT instances 能用这个想法得到 O(2^n/n^{log n}) 时间的算法, 这后来引出了他最著名的 ci...