跳到主要内容
10.1145/3357713.3384255acm会议文章/章节视图摘要出版物页面斯托克会议记录会议集合
研究论文

快速采样和计数𝑘-局部引理体系中的SAT解

出版:2020年6月22日出版历史

摘要

我们给出了基于马尔可夫链的新算法来对满足的赋值进行抽样和近似计数k个-每个变量最多出现的统一CNF公式d日次。对于任何k个d日令人满意的kd(分子量)<n个 o个(1)k个≥20logk个+20日志d日+60,新的采样算法在接近线性时间内运行,计数算法在接近二次时间内运行。

我们的方法受到Moitra(JACM,2019)的启发,它在近似计数中显著地利用了Lovász局部引理。我们的主要技术贡献是使用局部引理绕过传统马尔可夫链方法中的连通障碍,这使得发展良好的MCMC方法适用于不连通状态空间,如SAT解。我们的方法的优点是避免枚举局部结构并获得固定的多项式运行时间,即使k个=ω(1)或d日=ω(1).

工具书类

  1. Ivona Bezáková、Andreas Galanis、Leslie Ann Goldberg、Heng Guo和DanielŠtefanković。2019.当强空间混合失败时,通过相关衰减进行近似。SIAM J.计算。48,2(2019),279-349。谷歌学者谷歌学者交叉引用交叉引用
  2. Ivona Bezáková、DanielŠtefanković、Vijay V Vazirani和Eric Vigoda。2008.加速永久性和组合计数问题的模拟退火。SIAM J.计算。37, 5 ( 2008 ), 1429-1454.谷歌学者谷歌学者数字图书馆数字图书馆
  3. Russ Bubley和Martin Dyer。1997.路径耦合:证明马尔可夫链中快速混合的技术。在FOCS中。223-231.谷歌学者谷歌学者
  4. 陈宗琛、安德烈亚斯·加拉尼斯、莱斯利·安·戈德堡、威尔·帕金斯、詹姆斯·斯图尔特和埃里克·维戈达。2019.基于马尔可夫链的低温快速算法。在《近似随机》(LIPIcs)第145卷中。达格斯图尔·莱布尼兹泽特鲁姆宫(Schloss Dagstuhl-LeibnizZentrum für Informatik),41:1-41:14。谷歌学者谷歌学者
  5. 马丁·戴尔(Martin E.Dyer)、阿兰·弗里兹(Alan M.Frieze)和拉维·坎南(Ravi Kannan)。1991年。用于近似凸体体积的随机多项式时间算法。J.ACM 38,1(1991),1-17。谷歌学者谷歌学者数字图书馆数字图书馆
  6. Charilaos Efthymiou、Thomas P.Hayes、Daniel Stefankovic、Eric Vigoda和Yitong Yin。2019.硬核模型树唯一性区域中MCMC和Loopy BP的收敛性。SIAM J.计算。48, 2 ( 2019 ), 581-643.谷歌学者谷歌学者交叉引用交叉引用
  7. 冯伟铭(Weiming Feng)、郭恒(Heng Guo)、尹一童(Yitong Yin)和张奇浩(Chihao Zhang)。2019.在局部引理机制中快速采样和计数k-SAT解决方案。CoRR abs/1911.01319(2019)。arXiv:1911.01319谷歌学者谷歌学者
  8. Alan M.Frieze和Michael Anastos。2017.用更少的颜色对简单超图进行随机着色。信息处理。莱特。126 ( 2017 ), 39-42.谷歌学者谷歌学者
  9. Heng Guo和Mark Jerrum。2018年。伊辛模型的随机集群动力学正在迅速混合。《应用概率年鉴》28,2(2018),1292-1313。谷歌学者谷歌学者交叉引用交叉引用
  10. Heng Guo、Mark Jerrum和Jingcheng Liu。2019.通过Lovász局部引理的均匀采样。J.ACM 66,3(2019),18:1-18:31。谷歌学者谷歌学者数字图书馆数字图书馆
  11. Heng Guo、Chao Liao、Pinyan Lu和Chihao Zhang。2019.计算局部引理体制中的超图着色。SIAM J.计算。48, 4 ( 2019 ), 1397-1424.谷歌学者谷歌学者交叉引用交叉引用
  12. Bernhard Haeupler和David G.Harris,2017年。通过见证DAG的Lovász局部引理的并行算法和浓度边界。在SODA中。暹罗,1170-1187年。谷歌学者谷歌学者
  13. Bernhard Haeupler、Barna Saha和Aravind Srinivasan。2011.Lovász局部引理的新构造方面。J.ACM 58,6(2011),28。谷歌学者谷歌学者数字图书馆数字图书馆
  14. Tyler Helmuth、Will Perkins和Guus Regts。2019.算法Pirogov-Sinai理论。在STOC中。ACM,1009-1020。谷歌学者谷歌学者
  15. 乔纳森·赫尔曼(Jonathan Hermon)、艾伦·斯利(Allan Sly)和张玉萌(Yumeng Zhang)。2019.超图独立集的快速混合。随机结构。算法54,4(2019),730-767。谷歌学者谷歌学者
  16. 马克·胡贝尔(Mark Huber)。2015.吉布斯分布归一化常数的近似算法。附录申请。普罗巴伯。25, 2 ( 2015 ), 974-985.谷歌学者谷歌学者
  17. 马修·詹森(Matthew Jenssen)、彼得·基瓦什(Peter Keevash)和威尔·帕金斯(Will Perkins)。2019.膨胀图上#BIShard问题的算法。在SODA中。暹罗,2235-2247。谷歌学者谷歌学者
  18. 马克·杰鲁姆和阿利斯泰尔·辛克莱。1993年。伊辛模型的多项式时间近似算法。SIAM J.计算。22, 5 ( 1993 ), 1087-1116.谷歌学者谷歌学者数字图书馆数字图书馆
  19. 马克·杰鲁姆(Mark Jerrum)、阿利斯泰尔·辛克莱(Alistair Sinclair)和埃里克·维戈达(Eric Vigoda)。2004.具有非负项的矩阵的永久性的多项式时间近似算法。《美国医学会期刊》51,4(2004),671-697。谷歌学者谷歌学者数字图书馆数字图书馆
  20. Mark R.Jerrum、Leslie G.Valiant和Vijay V.Vazirani。从均匀分布随机生成组合结构。理论。计算。科学。43 ( 1986 ), 169-188.谷歌学者谷歌学者
  21. 弗拉基米尔·科尔莫戈罗夫。2018年,吉布斯配分函数的快速近似算法。在COLT中。228-249.谷歌学者谷歌学者
  22. 大卫·A·莱文和尤瓦尔·佩雷斯。2017年。马尔可夫链和混合时间。美国数学学会。谷歌学者谷歌学者
  23. 安库尔·莫伊特拉。2019.近似计数、Lovász局部引理和图形模型中的推断。J.ACM 66,2(2019),10:1-10:25。谷歌学者谷歌学者数字图书馆数字图书馆
  24. 罗宾·莫瑟(Robin A Moser)和加博尔·塔尔多斯(Gábor Tardos)。2010.广义Lovász局部引理的构造性证明。J.ACM 57,2(2010),11。谷歌学者谷歌学者数字图书馆数字图书馆
  25. 丹尼尔·什·特凡科维奇、桑托什·万帕拉和埃里克·维戈达。2009年。自适应模拟退火:采样和计数之间近乎最佳的连接。J.ACM 56,3(2009),18。谷歌学者谷歌学者数字图书馆数字图书馆
  26. 罗伯特·斯文森和王建生。1987。蒙特卡罗模拟中的非通用临界动力学。物理。修订稿。58 ( 1987 ), 86-88. 第2版。谷歌学者谷歌学者
  27. Dror Weitz博士。2006.独立设置计数达到树阈值。在STOC中。美国医学会,140-149。谷歌学者谷歌学者
  28. 阿维·威格德森。2019年,《数学与计算:技术与科学革命的理论》。普林斯顿大学出版社。谷歌学者谷歌学者

索引术语

  1. 快速采样和计数𝑘-局部引理体系中的SAT解

    建议

    评论

    登录选项

    检查您是否可以通过登录凭据或您的机构访问本文。

    登录

    完全访问权限

    • 发布于

      封面图片ACM会议
      STOC 2020:第52届ACM SIGACT计算理论年会论文集
      2020年6月
      1429页
      国际标准图书编号:9781450369794
      内政部:10.1145/3357713

      版权所有©2020 ACM

      允许制作本作品的全部或部分数字或硬拷贝供个人或课堂使用,但不收取任何费用,前提是复制品的制作或分发不是为了盈利或商业利益,并且复制品在首页注明本通知和完整引文。必须尊重ACM以外的其他人对本作品组成部分的版权。允许用信用证进行摘要。要以其他方式复制或重新发布,在服务器上发布或重新发布到列表,需要事先获得特定许可和/或付费。从请求权限[电子邮件保护]

      出版商

      计算机协会

      美国纽约州纽约市

      出版历史

      • 出版:2020年6月22日

      权限

      请求有关此文章的权限。

      请求权限

      检查更新

      限定符

      • 研究论文

      接受率

      总体验收率1,469属于第4586页提交,32%

      即将召开的会议

      STOC’24
      第56届ACM计算理论年会(STOC 2024)
      2024年6月24日至28日
      温哥华,不列颠哥伦比亚省,加拿大

    PDF格式

    以PDF文件查看或下载。

    PDF格式

    电子阅读器

    使用eReader联机查看。

    电子阅读器