您好,欢迎光临本网站![请登录][注册会员]  

搜索资源列表

  1. 超过两种颜色的约束满足问题的PPSZ算法

  2. PPSZ算法(Paturi等人,FOCS 1998)是已知的k-SAT最快的算法。 我们展示了如何将算法及其分析扩展到(d,k)-克劳斯满意度问题,其中每个变量的范围都超过d个不同值。 给定具有唯一令人满意的分配的输入实例,除(d,k)为(3,2)或(4,2)时,所得算法是(d,k)-CSP最快的已知算法。 对于多个令人满意的分配的一般情况,对于所有k≥4,我们的算法是最快的。
  3. 所属分类:其它

    • 发布日期:2021-03-26
    • 文件大小:851968
    • 提供者:weixin_38588394