为什么在DPLL算法中首先执行单元传播？
为什么在DPLL算法中首先执行单元传播？
提问于 2022-04-17 19:12:34
为什么纯文字规则是在单元传播之后而不是在之前执行的？
回答 1
Stack Overflow用户
回答已采纳
发布于 2022-04-17 21:43:56
单元传播是首先进行的，因为它可能产生纯文字。然后，DPLL可能会恢复与这些文字相关的变量，从而浪费潜在的指数型时间，在未来对它们进行毫无意义的回溯。通过在单位传播后消除纯文字，函数可以确保对一个变量进行递归，该变量的值可能是正确的，也可能是假的。纯文字总是可以立即设置为TRUE。
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/71904741
复制相关文章
相似问题
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号