为了探讨WP(警示传播)算法的收敛性,给出了WP算法收敛的后门集。通过对此后门集中的变元赋值,可将布尔公式简化成其因子图为树型结构的子公式,WP算法在子公式上收敛。最后,设计了一个求解该后门集的随机算法,并分析了该算法的可行性。结果表明,所提出的求解该后门集的随机算法是有效的。
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~