{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,12]]，“日期时间”：“2024-01-12T23:04:07Z”，“时间戳”：1705100647544}，“参考计数”：55，“出版商”：“计算机械协会（ACM）”，“问题”：“4”，“许可证”：[{“开始”：“日期部分“：[2023,2,11]]，“时间”：“2023-02-11T00:00:00Z”，“timestamp”：167607360000}，“content-version”：“vor”，“delay-in-days”：124，“URL”：“http://www.acm.org\/publications\/policys\/corpyright_policy#Background”}]，“出资人”：[{“name”：“NSERC Discovery”，“award”：[“RGPIN-2016-06333”]}，{“name”：“NWO VICI”，“adward”：[”639.023.812“]}CCF-BSF:AF1717947和CCF-1740425“]}]，”内容域“：{“domain”：[“dl.acm.org”]，“crossmark-restriction”：true}，“short-container-title”：[”acm Trans.Algorithms“]，“published-print”：{”date-parts“：[2022,10,31]]}，”abstract“：”\n半定规划是设计和分析组合优化问题近似算法的有力工具。特别是Goemans和Williamson的随机超平面舍入方法[\n31<\/jats:xref>\n]已经被广泛研究了二十多年，对原始技术进行了各种扩展，并为广泛的应用提供了漂亮的算法。尽管这种方法对一些问题产生了严格的近似保证，例如Max-Cut<\/jats:sc>\n，适用于其他许多情况，例如，\nMax-SAT<\/jats:sc>\n和\nMax-DiCut<\/jats:sc>\n，紧近似比率仍然未知。其中一个主要原因是，目前已知的舍入半定松弛的技术很少。\n<\/jats:p>\n\在这项工作中，我们提出了一种基于布朗运动的半定规划修约的新的通用而简单的方法。我们的方法受到了算法差异理论中最新结果的启发。我们利用布朗运动理论、复分析和偏微分方程中的数学机制，开发并提供了分析新舍入算法的工具。针对约束满足问题，我们将我们的方法应用于几个经典问题，包括最大切割<\/jats:sc>\n，\nMax-2SAT<\/jats:sc>\n，和Max-DiCut<\/jats:sc>\n，并推导出与最佳已知结果相竞争的新算法。为了说明我们的方法的通用性和普遍适用性，我们为边约束的Max-Cut<\/jats:sc>\n问题，该边约束主要利用粘性布朗运动的测量集中结果，超平面舍入及其推广中缺少该特征。\n<\/jats:p>“，”DOI“：”10.1145\/3459096“，”type“：”期刊文章“，”created“：｛”日期部分“：[[2022,11]]，”日期时间“：”2022-02-11T17:55:44Z“，”时间戳“：1644602144000｝，”page“：”1-50“，”update policy“：”http:\/\/dx.DOI.org/10.1145\/crosmark policy“，”source“：”Crossref“，”由count引用“：3，”title“：[”粘性布朗舍入及其在约束满足问题中的应用“]，”前缀“：”10.1145“，”卷“：”18“，”作者“：[{”给定“：”Sepehr“，”家族“：”Abbasi-Zadeh“，”sequence“：”first“，”affiliation“：[}”name“：”University of Toronto，ON，Canada“}]}，{”given“：”Nikhil“，”family“：”Bansal“，“sequence”：“additional”，“affiliation:”[{“name”：“”TU Eindhoven，and Centrum Wiskunde&Informatica，Amsterdam，Netherlands“}]}，{“ORCID”：“http://\/ORCID.org\/0000-0003-0963-3843”，“authenticated-ORCID”：false，“给定”：“Guru”，“family”：“古鲁甘斯”，“sequence”：“additional”，“affiliation”：[{“name”：“Google Research，CA，USA”}]}，{”给定“：“Aleksandar”，“家族”：“Nikolov”，“序列”：“附加”，“affiliation“：[{“name”：“加拿大安大略省多伦多市多伦多大学”}]}，{“given”：“Roy”，“family”：“Schwartz”，“sequence”：“additional”，“affiliation:[{”name“：“Technion，Israel”}]{，“ORCID”：”http://ORCID.org\/00000-0002-0827-233X“，”authenticated-ORCID“：false，”given“：”Mohit“，”family“：”Singh“，”sequence“：”additional“，”affiliance“：[}”“：”佐治亚理工学院，美国佐治亚州亚特兰大“}]}”，“成员”：“320”，“在线发布”：{“日期部分”：[2022,10,10]]}，“参考”：[{“密钥”：“e_1_3_4_2_2”，“非结构化”：“Sepehr Abbasi-Zadeh Nikhil Bansal Guruganesh Aleksandar Nikolov Roy Schwartz和Mohit Singh.2018。PDE可解性和平方证明之和代码。检索自https:\/\/github.com//sabasizadeh\/brownian-rounging。}，{“key”：“e_1_3_4_3_2”，“volume-title”：“复分析：一个复变量解析函数理论导论（第二版）”，“author”：“Ahlfors-Lars V.”，“year”：“1966”，“unstructured”：“Lars V.Ahlfors.1966”。复分析：一个复变量的分析函数理论导论（第二版）。麦格劳-希尔图书公司。“｝，｛”key“：”e_1_3_4_2“，”doi由“：”publisher“断言，”doi“：”10.1137\/S09753974441629“｝，｛”key“：”e_1_3_4_5_2“，”doi由“：”publisher“断言，”doi“：”10.1017\/CBO9781107325937“｝，｛”key“：”e_1_3_4_6_2“，”doi由“：”publisher“断言，”doi“：”10.1145\/11352516.1132548“｝，｛”key“：”e_1_3_4_7_2“，“doi由”断言：“publisher”，“doi”：“10.1145\/15207931.1502794”}，｛”key“：”e_1_3_4_8_2“，”doi-asserted-by“：”publisher“，”doi“：”10.1016\/j.tcs.2005.11.030“}，{“key”：“e_1_s4_9_2”，“doi-assert-by”：“publisher”，“doi”：“10.1006\/jagm.20011.202”}，}“keys”：“e_13_4_10_2”，”doi asserted-by“：“publister”，“doi”：”10.1145\/120790.1250818“}”，{“key”：“e_1_3_4_11_2”，“doi-asserted-by”：“publisher”，“doi”：“10.5555\/1958033.1958048”}，{“key“：”e_1_3_4_12_2“，”doi-asserted-by“：”publisher“，”doi“：”10.1145\/2907052“}，{”key“：”e_1_ 3_4_ 13_2“，”first page“：“24:1\u201324:17”，”volume-title“：”Proceedings of the APPROX-RANDOM（LIPIcs）“，”author“：”Austin Per“，“year”：“2019”，”unstructured“：”Per Austin and Aleksa Stankovic.2019。全局基数约束使得逼近某些Max-2-CSP变得更加困难。在《近似随机程序》（LIPIcs）中。24:1\u201324:17.“}，{”key“：”e_1_3_4_14_2“，”首页“：”27“，”volume-title“：”近似与在线算法研讨会论文集“，”author“：”Avidor Adi“，”year“：”2005“，”unstructured“：”Adi Avidor，Ido Berkovitch，and Uri Zwick。2005。Max NAE-SAT和Max SAT的改进近似算法。近似和在线算法研讨会论文集。27\u201340.“}，{”key“：”e_1_3_4_15_2“，”doi-asserted-by“：”publisher“，”doi“：”10.1109\/FOCS.2010.7“}、{”密钥“：”e_1_3_4_16_2“，“首页”：”788“，”volume-title“：”计算机科学基础FOCS“，”author“：”Bansal Nikhil“，”year“：”2016“，”unstructured“：”Nikhil Bansal，Daniel Dadush，and Shashwat Garg.2016。Koml\u00f3s猜想匹配Banaszczyk\u2019s界的算法。计算机科学基础FOCS。788\u2013799.“}，{”key“：”e_1_3_4_17_2“，”doi-asserted-by“：”publisher“，”doi“：”10.1145\/3188745.3188850“}、{”密钥“：”e_1_3_4_18_2“，“doi-assert-by”：“publisher”，“doi”：“10.1109\/FOCS.2011.95”}，“key”：“e_1_ 4_19_2/CBO9780511762543“}，{”key“：”e_1_3_4_20_2“，”doi-asserted-by“：”publisher“，”doi“：”10.1007 \/s00039-012-0161-z“}，{“key”：“e_1_3_4_21_2”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/S0020-0190（96）00190-1”}，}“密钥”：“e_1_3_4_22_2”、“doi-aserted-by:”publisher“，”doi“：”10.1016\/j.jcss.2004.10.012“}”，{“publisher”，“doi”：“10.1137\/1.9781611973082.124”}，{“key”：“e_1_3_4_24_2”，“doi-asserted-by”：“publisher”，“DOI”：“10.1109\/FOCS.2004.39”}，{“key”：“e_1_3_4_25_2”，“unstructured”：“Ronen Eldan and Assaf Naor.2019。克里文扩散达到了Goemans-Williamson近似比。阿西夫：1906.10615。检索自http:\/\/arxiv.org/abs\/1906.10615.“}，{“key”：“e_1_3_4_26_2”，“unstructured”：“Uriel Feige and Michel Goemans.1995。近似两个防功率系统的值，并应用于Max 2-SAT和Max DiCut。第三届以色列计算机与系统理论研讨会论文集。IEEE 0182.“}，{”key“：”e_1_3_4_27_2“，”doi-asserted-by“：”publisher“，”doi“：”10.1007\/3-540-48224-5_18“}”，{“key”：“e_1_ 4_28_2”，“doi-assert-by”：“publisher”，“doi”：“10.1007\/BF02523688”}，”{“密钥”：“e_1_3_4_29_2”，”volume-title“：”二阶椭圆偏微分方程“，”author“：”Gilbarg David”，“年份”：“2015年”，“非结构化”：“David Gilbarg和Neil S.Trudinger。2015.二阶椭圆偏微分方程。斯普林格。“}，{”key“：”e_1_3_4_30_2“，”doi-asserted-by“：”publisher“，”doi“：”10.1016\/S0304-4149（99）00109-X“}”，{“key”：“e_1_ 4_31_2”，“doi-assert-by”：“publisher”，“doi”：“10.5555\/3029311 84“}，{”key“：”e_1_3_4_33_2“，”doi-asserted-by“：”publisher“，”doi“：”10.1109\/FOCS.2011.36“}”，{“key”：“e_1_3_4_34_2“，”doi-asserted-by“：”publisher“，”doi“：”10.1007\/3-540-48777-8_16“}，{“key”：“e_1_s4_35_2”，“doi-assert-by”：“publisher”，“doi”：“10.1002\/rsa.10035”}，}“key”：“e_1_3_4_36_2”，”doi-asserted-by“：“publizer”，”doi:“10.1145\/502090900.502098”}、{“key”：”e_1_ 3_4_37_2“，”doi-asserted-by“：”publisher“，”doi“：”10.1145\/274787.274791“}，{“key”：“e_1_3_4~38_2”，“doi断言者：“publisher”，“doi”：“10.1109\/SFCS.1997.646129”}，{“key”：“e_1_3_4_39_2”，“首页”：“767”，“卷标题”：“计算理论研讨会论文集”，“作者”：“Khot Subhash”，“年份”：“2002”，“非结构化”：“Subhash Khot.2002。关于独特的2谚语1轮游戏的力量。计算理论研讨会论文集。767\u2013775.“}，{”key“：”e_1_3_4_40_2“，”doi-asserted-by“：”publisher“，”doi“：”10.1137\/S0097539705447372“}“，{“key”：”e_e_1_3_4_41_2“，“doi-assert-by”：“publisher”，“doi”：“10.1007\/3-540-47867-1_6”}，”key：“e_1\/42_42_2”，“doi-asserted-by”：“10.1137\/130929400”}，{“密钥”：“e_1_3_4_43_2”，“文章标题”：“最大2-SAT的0.935近似随机化算法及其去域化”，“作者”：“松井裕美”，“年份”：“2001年”，“非结构化”：“松井裕美和松田喜郎。Max2-SAT的0.935近似随机化算法及其去噪。东京大学数学工程和信息物理系（METR 2001-03技术报告）（2001年）。“，”journal-title“：“东京大学数学工程和信息物理系（技术报告METR 2001-03）”}，{“key”：“e_1_3_4_44_2”，“volume-title”：“Brownian Motion”，“author”：“M\u00f6rters Peter”，“year”：“2010”，“unstructured”：“Peter M\u00 f6rtersandYuval Peres.2010。布朗运动。剑桥统计与概率数学系列。“}，{”key“：”e_1_3_4_45_2“，”首页“：”21“，”volume-title“：”计算机科学基础论文集“，”author“：”Mossel Elchanan“，”year“：”2005“，”unstructured“：”Elchanan Mossel，Ryan O\u2019Donnell，and Krzysztof Oleszkiewicz.2005。低影响函数的噪声稳定性：不变性和最优性。《计算机科学基础学报》。21\u201330.“}，{”key“：”e_1_3_4_46_2“，”doi-asserted-by“：”publisher“，”doi“：”10.1080\/10556789808805690“}”，{“key”：”e\u1_3_4_47_2“，“doi-assert-by”：“publisher”，“doi”：“10.1145\/1374376.1374425”}，“key“:”e_2_4_48_2“，978-3-662-03185-8“}，{”key“：”e_1_3_4_49_2“，”doi-asserted-by“：”publisher“，”doi“：”10.1145\/1374376.1374414“}，{“key”：“e_1_3_4_50_2”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/FOCS.2009.74”}，}“keys”：“e_1_3_4_51_2”，”doi-assert-by“：”publisher“，”doi“：”10.1137\/1.9781611973099.33“}离散算法研讨会”，“作者”：“Swamy Chaitanya”，“年份”：“2004年”，“非结构化”：“Chaitanya Swamy。2004年，相关性聚类：通过半定规划最大限度地达成协议。《离散算法研讨会论文集》。526\u2013527.“}，{”key“：”e_1_3_4_53_2“，”doi-asserted-by“：”publisher“，”doi“：”10.1002\/sapm192321131“}”，{“key”：“e_1_ 4_54_2”，“doi-assert-by”：“publisher”，“doi”：“10.1007\/PL00011415”}，”{“key”：“e_1_3_4_55_2”，”第一页：“201”，“volume-title”：“离散算法研讨会论文集”，“author”：“Zwick Uri”，“year”：“1998”，“unstructured”：“乌里·兹威克。1998.约束满足问题的近似算法，每个约束最多包含三个变量。《离散算法研讨会论文集》。201\u2013210.“}，{“key”：“e_1_3_4_56_2”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/301250.301431”}]，“container-title”：[“ACM Transactions on Algorithms”]，“original-title“：[]，“language”：“en”，“link”：[{“URL”：“https:\//dl.ACM.org\/doi\/pdf\/10.1145\/3459096”，“content-type”：“application\/pdf”，content-version“：”vor“，”intended-application“：”联合“}，{”URL“：”https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3459096“，”内容类型“：”未指定“，”content-version“：”vor“，”intended-application“：”相似性检查“}]，”deposed“：{”date-parts“：[[2023,1,1]]，”date-time“：”2023-01-01T19:40:24Z“，”timestamp“：1672602024000}，”score“：1，”resource“：”{“primary”：{“”URL“：”https:\/\/dl.acm.org\/doi\/10.1145\/3459096“}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期部分“：[2022,10,10]]}，“引用计数”：55，“日志发布”：{“发布”：“4”，“发布发布”：}“日期部分”：[2022,10,31]]}}\/\/dx.doi.org\/10.1145\/3459096“，”关系“：{}，”ISSN“：[”1549-6325“，”1549-6233“]，”issn-type“：[{”value“：“1549-6325”，“type”：“print”}，{”value“：”1549-6333“，”type“:”electronic“}]，“subject”：[]，“published”：{”date-parts“：[2022,10,10]]}，“assertion”：[{”value：“2020-01-21”，“order”：0，“name”：“received”，“label”：“received”，{“value”：“2021-03-29”，“order”：1，“name”：“accepted”，“label“：”Accepted“，”group“：{”name“：”publication_history“，”label“:”publication history“}}，{”value“：”2022-10-10“，”order“：2，“name”：“published”，“label”：“published”，“group”：{