研究了可用于求解约束满足问题的最大受限路径相容算法(max RPC).max RPC算法执行过程中有大量无效的寻找路径相容证明(PC-witness)的操作,有效地识别和避免这些无效的寻找PC-witness的操作,可以提高max RPC算法的求解效率.首先,提出了在一条约束上任意两个相容的值在任意路径上存在PC-witness的概率;然后,基于这一概率提出了 ...
/dl/206396.html
标签:
概率
受限
路径
相容
算法问题
局部相容
最大受限路径相容
概率最大受限路径相容
上传时间:
2021-06-18
上传用户:123456qwe