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