|
|||||
|
|
| CNF—SAT问题的常微分方程解法 | |
| 引用本文： | 黄文奇.CNF—SAT问题的常微分方程解法[J].华中理工大学学报,1995,23(3):1-3. |
| 作者姓名： | 黄文奇 |
| 摘 要： | 为ＣＮＦ－ＳＡＴ问题的求解提出了常微分方程方法，在Ｃ猜想的假设下证明了此方法为高效率的概率算法，在Ｓｕｎ Ｓｐａｒｃ ２ Ｗｏｒｋｓｔａｔｉｏｎ上的计算实验说明，当变元个数增大时本算法比经典离散型的Ｄａｖｉｓ－Ｐｕｔｎａｍ算法要快多个数量级。 |
| 关 键 词： | 常微分方程 吸引区 概率算法 CNF－SAT问题 |
| 本文献已被 维普 等数据库收录！ | |