您当前的位置: > 详细浏览

基于树宽的警示传播算法收敛性分析

请选择邀稿期刊:
摘要: 警示传播算法作为一种基本的信息传播算法,其收敛时求解可满足性问题十分有效,但因子图结构较为复杂时,算法往往不收敛导致求解失败。为了对这种现象给予理论解释,同时对警示传播算法收敛性进行有效分析,利用树分解方法构造了命题公式对应因子图的树宽度量模型,计算可满足随机实例的树宽。建立树宽与警示传播算法收敛性之间的关系,给出了基于树宽的警示传播算法收敛性判定条件。通过实验分析,结果表明该方法有效,对于分析其他信息传播算法收敛性分析研究具有十分重要的意义。

版本历史

[V1] 2022-05-18 16:08:25 ChinaXiv:202205.00133V1 下载全文
点击下载全文
预览
许可声明
metrics指标
  •  点击量395
  •  下载量197
评论
分享