{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,3,2]，“日期时间”：“2024-03-02T12:20:53Z”，“时间戳”：1709382053840}，“参考计数”：33，“出版商”：“计算机协会（ACM）”，“问题”：“6”，“资助者”：[{“DOI”：“10.13039\/501100012166”，“名称”：“国家中国重点研发计划”，“doi-asserted-by”：“crossref”，“adward”：[“2018YFB1003202”]}，{“doi”：“10.13039\/501100001809”，“name”：“NSFC”，“doi-asserted-by”：”crossrev“，”adward“：[“61902241”]}，{”name“：”European Research Council“，”award“：[”947778“]}]，”content-domain“：{”domain“”：[”dl.acm.org“]，”crossmark-restriction“：true}，“short-container-title”：[“J.acm”]，“published-print”：{“date-parts”：[[2021,12,31]]}，“摘要”：“\我们给出了一种基于马尔可夫链的新算法来对满足的赋值进行抽样和近似计数k<\/jats:italic>\n-每个变量最多出现的统一CNF公式\nd次。对于任何\nk<\/jats:italic>\n和\nd<\/jats:italic>\n令人满意\nkd<\/jats:italic>\no（1）<\/jats:sup>\n和\nk<\/jats:italic>\n \u2265 20日志\nk<\/jats:italic>\n+20 log\nd<\/jats:italic>\n+60，新的采样算法运行在接近线性时间的地方，计数算法运行在近似二次时间的地方。\n<\/jats:p>\n\n我们的方法受到Moitra（JACM，2019）的启发，它在近似计算中显著地利用了Lov\u00e1sz局部引理。我们的主要技术贡献是使用局部引理绕过传统马尔可夫链方法中的连接障碍，这使得成熟的MCMC方法适用于不连通状态空间，例如SAT解。我们的方法的优点是避免枚举局部结构并获得固定的多项式运行时间，即使\nk<\/jats:italic>\n=\u03c9（1）或d=\u03c（1）。\n<\/jats:p>“，”DOI“：”10.1145\/3469832“，”type“：”journal-article“，”created“：{”date-parts“：[2021,10,5]]，”date-time“：”2021-10-05T20:01:15Z“，”timestamp“：1633464075000}，”page“：“1-42”，”update-policy“：“：5，”title“：[”快速采样和计数\nk<\/i>\n-局部引理体制下的SAT解决方案“]，”前缀“：”10.1145“，”卷“：”68“，”作者“：[{”给定“：”未明“，”家族“：”冯“，“序列”：“第一”，“隶属关系”：[{“名称”：“中国南京大学”}]}，{”给出“：”恒“，”家人“：”郭“，‘序列’：”附加“，”隶属关系“：[}”名称“：”英国爱丁堡大学“}]}，{“ORCID”：“http://\/ORCID.org\/0000-0001-9204-7794”，“authenticated-ORCID”：false，“给定”：“伊通”，“家族”：“阴”，“序列”：“附加”，“从属”：[{“名称”：“中国南京大学”}]}.，{”给定“：“赤浩”，“家庭”：“张”，“顺序”：“额外”，“附属”：[}“名称“：”中国上海交通大学“}]}]，“成员”：“320”，“在线发布”：{“日期-部件”：[[2021,10,5]]}，“参考”：[{“密钥”：“e_1_2_1_1_1”，“doi-asserted-by”：“publisher”，“doi”：“10.1137\/16M1083906”}，{“key”：“e_1_2_1_1_1”，”doi-assert-by“出版商”，“doi”：”10.1137\/050644033“}，“：”e_1_2_1_3_1“，”doi-asserted-by“：”publisher“，“doi”：“10.5555\/2414676.2414682“}，{“key”：“e_1_2_1_4_1”，“doi-asserted-by”：“publisher”，”doi“：”10.1109\/SFCS.1997.646111“}”，{”key“：”e_1_i_1_5_1“，”first page“：“1”，”article-title“：”通过马尔可夫链在低温下的快速算法。In Proceedings of APPROX-RANDOM（LIPIcs，Vol.145）“，”volume:“41”，“author”：“Chen Zongchen”，“year”：“2019”，“非结构化“：”陈宗琛、安德烈亚斯·加拉尼斯、莱斯利·安·戈德堡、威尔·帕金斯、詹姆斯·斯图尔特和埃里克·维戈达。2019 . 基于马尔可夫链的低温快速算法。《近似随机会议录》（LIPIcs，第145卷）。达格斯图尔·莱布尼兹·泽特鲁姆宫（Schloss Dagstuhl-Leibniz-Zentrum f \u00fcr Informatik），41:1\u2013 41:14。陈宗晨、安德烈亚斯·加拉尼斯、莱斯利·安·戈德伯格、威尔·珀金斯、詹姆斯·斯图尔特和埃里克·维戈达。2019.通过马尔可夫链实现低温下的快速算法。《近似随机会议录》（LIPIcs，第145卷）。Schloss Dagstuhl-Leibniz-Zentrum f\u00fcr Informatik，41:1\u201341:14.“，“journal-title”：“Schloss Dgstuhl/Leibniz Zentrun f\u200fcr Informationk”}，{“key”：“e_1_1_6_1”，“doi-asserted-by”：“publisher”，”doi“：“10.1145\/102782.102783”}、{“key”：144“}，{”键“：”e_1_1_8_1“，”doi-asserted-by“：”crossref”，“非结构化”：“魏明丰坤和伊通音。2020。局部引理体制中的抽样约束满足解。检索自https:\/\/arXiv:2011.03915。魏明丰坤和伊通音。2020。局部引理体制中的抽样约束满足解。检索自https:\/\/arXiv:2011.03915.“，”DOI“：”10.1145\/3406325.3451101“}，”key“：”e_1_1_9_1“，”DOI-asserted-by“：”publisher“，“DOI”：“10.1016\/j.ipl.2017.06.005”}，“key”：“e_1_i_1_10_1”，“首页”：“1”，“article-title”：“计算随机CNF公式的解。In Proceedings of ICALP（LIPIcs，Vol.168）”，“volume”：“53”，“作者”：“加拉尼斯·安德烈亚斯”，“年”：“2020年”，“非结构化”：“安德烈亚斯·加拉尼斯、莱斯利·安·戈德伯格、恒国和匡扬。2020 . 计算随机CNF公式的解。ICALP会议录（LIPIcs，第168卷）。达格斯图尔·莱布尼兹·泽特鲁姆宫（Schloss Dagstuhl-Leibniz-Zentrum f \u00fcr Informatik），53:1\u2013 53:14。Andreas Galanis、Leslie Ann Goldberg、Heng Guo和Kuan Yang。2020年。计算随机CNF公式的解。ICALP会议录（LIPIcs，第168卷）。Schloss Dagstuhl-Leibniz Zentrum f\u00fcr Informatik，53:1\u201353:14.”，“期刊标题”：“Schloss Dagstuhl-Leibniz Zentrum f\u00fcr Informatik”}，｛“密钥”：“e_1_2_1_11_1”，“doi断言者”：“出版商”，“doi”：“10.1214\/17-AAAP1335”｝，｛“密钥”：“e_1_2_1_12_1”，“doi断言者”：“出版商”，“doi”：“10.1145\/33130131”｝，｛“密钥”：“e_ 1_2_1_13_1“，”doi断言为“：”publisher“，”DOI“：”10.1137\/18M1202955“}，{“key”：“e_1_1_14_1”，“volume-title”：“Harris”，”author“：”Haeupler-Bernhard“，”year“：”2017“，”unstructured“：”Bernhard Haeupler和David G.Harris.2017.通过witness-DAGs实现Lov\u00e1sz局部引理的并行算法和浓度边界。《SODA学报》，SIAM，1170\u20131187。Bernhard Haeupler和David G.Harris，2017年。Lov\u00e1sz局部引理的并行算法和集中界。SODA会议记录。SIAM，1170\u20131187.“}，{”key“：”e_1_1_15_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1145\/2049697.2049702”}，“key”：“e_1_i_16_1”，“doi-assert-by”：“publisher”，”doi“：”10.1145\/331276.3316305“}”，{30“}，{”键“：”e_1_2_1_18_1“，”doi-asserted-by“：”出版商“，”doi“：”10.1214\/14-AAP1015“}，{“key”：“e_1_2_1_19_1”，“volume-title”：“Huy Tuan Pham和Thuy Duong Voung”，“author”：“Jain Vishesh”，“year”：“2020”，“unstructured”：“Vishesh Jain，Huy Tuan-Pam，and Thuy Doong Vuong.2020。朝向采样Lov\u00e1sz本地引理。检索自https:\/\/arXiv:2011.12196。Vishesh Jain、Huy Tuan Pham和Thuy Duong Voung。2020。朝向采样Lov\u00e1sz局部引理。检索自https:\/\/arXiv:201.12196。“}，{“key”：“e_1_2_1_20_1”，“volume-title”：“Huy Tuan Pham，and Thuy-Duong Voung”，“author”：“Jain Vishesh”，“year”：“2021”，“unstructured”：“Vishesh Jain、Huy Tuan Pham和Thuy-Duong Voung。2021 . 原子约束满足问题的抽样lov\u00e1sz局部引理。检索自https:\/\/arXiv:2102.08342。Vishesh Jain、Huy Tuan Pham和Thuy-Duong Voung。原子约束满足问题的抽样lov\u00e1sz局部引理。检索自https:\/\/arXiv:2102.08342。“}，{“key”：“e_1_2_1_21_1”，“volume-title”：“#BIS-hard problems on expander graphs的算法”，“author”：“Jenssen Matthew”，“unstructured”：“马修·詹森、彼得·基瓦什和威尔·珀金斯。2019。扩展器图上#BIS难题的算法。SODA会议记录。SIAM，2235\u20132247。马修·詹森（Matthew Jenssen）、彼得·基瓦什（Peter Keevash）和威尔·帕金斯（Will Perkins）。2019.膨胀图上#BIS-hard问题的算法。在SODA会议记录中。SIAM，2235\u20132247.“}，{”key“：”e_1_2_1_22_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1137\/0222066”}，}“key”：“e_1_i_1_23_1”，“doi-assert-by”：“publisher”，”doi“：”10.1145\/1008731.1008738“}”，{“key”：“e_1_2_1_24_1”、“doi-aserted-by:”publisher.“，”doi:“10.1016\/0304-3975（86）90174-X“}，{“键”：“e_1_2_1_25_1”，“卷时间”：“COLT会议记录。PMLR，228\u2013249“，“作者”：“科尔莫戈罗夫·弗拉基米尔”，“年份”：“2018年”，“非结构化”：“弗拉基米尔·科尔莫戈洛夫”。2018 . 吉布斯配分函数的一种快速近似算法。COLT会议记录。PMLR，228\u2013249。弗拉基米尔·科尔莫戈罗夫。2018年。吉布斯配分函数的更快近似算法。COLT会议记录。PMLR，228\u2013249.“}，{”key“：”e_1_2_1_26_1“，”volume-title“：”Levin和Yuval Peres“，”author“：”David“，“year”：“2017”，“unstructured”：“David A.Levin和Youval Peres.2017.Markov Chains and Mixing Times.美国数学学会。David A.Levin和Yu瓦尔Peres.2017。马尔可夫链和混合时间。美国数学学会。}，{“key”：“e_1_2_1_27_1”，“volume-title”：“概率与计算：算法与数据分析中的随机化与概率技术”，“author”：“Mitzenmacher Michael”，《unstructured》：“Michael Mitzedmacher and Eli Upfal.2017。概率与计算：算法与数据分析中的随机化与概率技术。剑桥大学出版社。迈克尔·米赞马赫（Michael Mitzenmacher）和埃利·厄普法尔（Eli Upfal）。2017.概率与计算：算法和数据分析中的随机化和概率技术。剑桥大学出版社。“}，{”key“：”e_1_1_28_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1145\/3268930”}，“key”：“e_1_i_1_29_1”，“doi-assert-by”：“publisher”，”doi“：”10.1145\/1667053.1667060“}”，{“key“:”e_2_1_30_1“1_2_1_31_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1103\/PhysRevLett.58.86”}，{“key”：“e_1_2_1_32_1“，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/1132516.1132538”}，{“key”：“e_1_i_1_33_1”，《volume-title》：“数学与计算：技术与科学的理论革命”，“author”：“Wigderson Avi”，“unstructured”：“Avi Wigderson.2019”。数学与计算：一种革新技术与科学的理论。普林斯顿大学出版社。阿维·威格德森。2019年，《数学与计算：技术与科学革命的理论》。普林斯顿大学出版社。“}]，”container-title“：[”Journal of the ACM“]，”original-title”：[]，”language“：”en“，”link“：[{”URL“：”https:\/\/dl.ACM.org\/doi\/pdf\/10.1145\/3469832“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}”，”deposed“：{”date-parts“：[2023,1]]，”date-time“：“202”3-01-01T20:38:08Z“，”时间戳“：1672605488000}，”score“：1，”resource“：{“primary”：{”URL“：”https:\/\/dl.acm.org\/doi\/10.1145\/3469832“}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{date-parts”：[[2021,10,5]]}，“references-count”：33，“journal-issue”：{issue“6”，“published-print”：{date-parts“：[2021,12,31]]}}”，“alternative-id”：[“10.1145\/3469832”]，“URL”：“http://\/dx.doi.org\/10.1145\/3468832”，“关系“：{}，”ISSN“：[”0004-5411“，”1557-735X“]，”ISSN-type“：[{”value“：”0004-5511“，“type”：“print”}，{”value“：”1557-775X“，”type“:”electronic“}]，“subject”：[]，“published”：{“date-parts”：[2021,10,5]}，“assertion”：[{“value”：”2020-08-01“，“order”：0，“name”：“received”，“label”：“received”，“group”：{“name”：“publication_history”，“label”：“publication history”}}，{“value“：”2021-06-01“，”order“：1，”name“：”accepted“，“label”：“accepted”，“group”：{“name”：“publication_history”，“lable”：“publication history”}}，{“value”：“2021-10-05”，“order”：2，“name”（名称）：“published”（已发布），“labele”（标签）：“published”