问题描述
我想澄清一些关于SCIP如何处理SAT实例的relpscost分支的疑问。我已经阅读了Achterberg博士学位论文第五章中的所有分支规则。
- SCIP如何为SAT实例执行relpscost分支？
在阿克特伯格（Achterberg）的博士学位论文中，任一方向的伪成本都是通过（目标值的变化）/ |天花板（x_j）或地板（x_j）-x_j |计算的。
根据我的理解，对于cnf文件格式的SAT问题，目标函数为min 0，因此上述伪成本描述的分子为0，这导致上下分支中的伪成本均为0。 / p>
在源代码relpscost.c中，大约在第1120行左右调用SCIPgetvarPseudocostscore。但是，当我尝试在第1120行附近打印候选者的伪成本分数时，我得到的各种值都不为零。
- 因此，我也想问一下这些非零分数是如何产生的。
我在SCIPvarGetPseudocost查看了SCIP的源代码，无法得出任何结论。是否有功能或为这种情况分配值？还是SCIP仅将其用于SAT的目标函数？
在此先感谢您提供的帮助。
解决方法
暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！
如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。
小编邮箱:dio#foxmail.com (将#修改为@）