Mezei，Balázs F。;马钦·罗奇纳;斯坦尼斯拉夫·伊文 稀疏通用值CSP的PTAS。 （英语） Zbl 07753165号 ACM事务处理。算法 第19条第2款第14条第31页（2023年）. MSC公司： 68倍 计算机科学 关键词：约束满足;贝克课程;稀疏性;可对角化性 引文：Zbl 07304161号 PDF格式BibTeX公司 XML格式引用 \textit{B.F.Mezei}等人，《美国医学杂志》。算法19，第2条，第14条，第31页（2023；Zbl 07753165） 全文： 内政部 arXiv公司 参考文献： [1] 贝克，布伦达S.，1994年。平面图上NP-完全问题的近似算法。J.ACM41，1（1994），153-180。DOI（操作界面）：·Zbl 0807.68067号 [2] 伯曼（Berman）、彼得亚雷（Piotr）和卡宾斯基（Karpinski）、马雷克（Marek）。1999.关于一些更紧密的不可接近性结果（扩展摘要）。第26届国际自动化、语言和编程学术讨论会（ICALP’99）会议记录（第1644卷）。斯普林格，200-209。内政部： [3] Bodlaender，Hans L.，1993年。求小树宽的树分解的线性时间算法。第25届ACM计算机理论研讨会（STOC'93）会议记录。美国医学会，226-234。内政部：·Zbl 1310.05194号 [4] Bodlaender，Hans L.，1998年。具有有界树宽的图的部分k-树丛。理论。计算。科学.209（1998），1-45。内政部：·兹伯利0912.68148 [5] Briceño、Raimundo、Bulatov、Andrei、Dalmau、Víctor和Larose，Benoêt。2021.关系结构中的可拆卸性、连通性和混合性。J.库姆。理论，Ser。B147（2021），37-70。内政部：·Zbl 1503.08002号 [6] 格雷厄姆·布莱维尔（Graham R.Brightwell）和彼得·温克勒（Peter Winkler）。2000.吉布斯测量和可拆卸图形。J.库姆。理论，Ser。B78，1（2000），141-166。内政部：·Zbl 1030.05101号 [7] 安德烈·布拉托夫（Andrei A.Bulatov）、克罗金（Krokhin）、安德烈·安德烈（Andreii A.）和贝诺·拉罗泽（Benoêt）。2008.约束满足问题的双重性。《约束的复杂性：当前研究主题概述》（第5250卷）。施普林格，93-124。内政部：·Zbl 1171.68494号 [8] 卡本内尔、克莱门特、罗梅罗、米盖尔和扎伊文、斯坦尼斯拉夫。2022.从另一方面看一般值约束满足问题的复杂性。SIAM J.Compute.51，1（2022），19-69。内政部：·兹比尔1534.68076 [9] 库珀（Martin C.Cooper）和蒂文·斯坦尼斯拉夫（Stanislav）。2017.混合可处理类约束问题。在约束满足问题：复杂性和近似性中，第7卷）。达格斯图尔-莱布尼兹·泽特鲁姆宫（Schloss Dagstuhl-Leibniz-Zentrum für Informatik），113-135年。内政部：·Zbl 1482.68107号 [10] Dailey，David P.，1980年。平面4-正则图的着色唯一性和着色唯一性是NP-完全的。《离散数学》30，3（1980），289-293。内政部：·Zbl 0448.05030号 [11] Demaine、Erik D.、Hajiaghayi、Mohammad Taghi和Kawarayashi、Ken-ichi。2005年。算法图次要理论：分解、近似和着色。第46届IEEE计算机科学基础年会论文集（FOCS’05）。IEEE计算机学会，637-646。内政部： [12] DeVos、Matt、Ding、Guoli、Oporowski、Bogdan、Sanders、Daniel P.、Reed、Bruce、Seymour、Paul和Vertigan、Dirk，2004年。排除任何图形作为次要图形允许低树宽度的2色。理论B91，1（2004），25-41。内政部：·Zbl 1042.05036号 [13] 莱因哈德·迪斯特尔。2010年，《图论》（第四版）。斯普林格·Zbl 1204.05001号 [14] Dvořák，Zdeněk。个人沟通。2021.一种构造如下：从任意大的整数m开始，对于i从m到1，引入一组独立的i个新顶点，并通过长度为i的路径将它们连接到所有之前的顶点。 [15] Dvořák，Zdeněk。2016.次线性分隔符、脆弱性和次指数膨胀。《欧洲期刊》第52卷（2016年），第103-119页。内政部：·Zbl 1327.05316号 [16] Dvořák，Zdeněk。2020年。贝克博弈和多项式时间近似方案。第31届ACM-SIAM离散算法年会（SODA'20）论文集。暹罗，2227-2240。内政部：·Zbl 07304161号 [17] Dvořák，Zdenek和Sereni，Jean-Sébastien。2020年。关于图类的分数脆弱率。电子。J.Comb.27，4（2020），第4.9页。检索自https://www.combinatics.org/ojs/index.php/eljc/article/view/v27i4p9。 ·Zbl 1471.60011号 [18] 富拉（Fulla）、彼得（Peter）、厄普曼（Uppman）、汉内斯（Hannes）和日文（Zhi ivn）、斯坦尼斯拉夫（Stanislav）。2019.布尔满射广义值CSP的复杂性。ACM事务处理。计算。Theory11，1（2019），4:1-4:31。内政部：·Zbl 1441.68091号 [19] 格里戈里耶夫（Alexander Grigoriev）和博德兰德（Bodlaender），汉斯·L.（Hans L.），2007年。图的算法可嵌入，每条边很少交叉。算法49，1（01 92007），1-11。DOI（操作界面）：·Zbl 1131.68120号 [20] 马丁·格罗（Martin Grohe）。2003.局部树宽度、排除的子项和近似算法。《组合》23，4（2003），613-632。内政部：·Zbl 1089.05503号 [21] 马丁·格罗（Martin Grohe）。2007.从另一方面看同态和约束满足问题的复杂性。J.ACM54，1（2007），1-24。内政部：·Zbl 1312.68101号 [22] 马丁·格罗（Martin Grohe）、施温蒂克（Schwentick）、托马斯（Thomas）和卢克·塞古芬（Luc Segoufin）。2001.什么时候可以处理连接查询的评估？第33届ACM计算机理论年会（STOC'01）论文集。美国医学会，657-666。内政部：·Zbl 1323.68251号 [23] Gutin、Gregory、Hell、Pavol、Rafiey、Arash和Yeo、Anders。最小代价图同态的二分法。《欧洲期刊》Combine29，4（2008），900-911。内政部：·Zbl 1149.90164号 [24] 地狱、帕沃、马斯特罗利利、莫纳尔多、尼维斯、梅萨姆·穆罕默德和阿拉什·拉菲。2012.最小成本同态的近似。在第20届欧洲算法年会论文集（ESA’12）（，第7501卷）。施普林格，587-598。内政部：·Zbl 1365.05203号 [25] 见鬼，帕沃和拉菲，阿拉什。有向图最小代价同态问题的二分法。SIAM J.离散数学26，4（2012），1597-1608。内政部：·Zbl 1261.05035号 [26] 三、 Harry B.Hunt、Marathe、Madhav V.、Radhakrishnan、Venkatesh、Ravi，S.S.、Rosenkrantz、Daniel J.和Stearns，Richard E.，1998年。几何图NP-和PSPACE难问题的NC-逼近方案。J.Algor.26，2（1998），238-274。内政部：·兹伯利0894.68105 [27] 杰文斯（Jeavons）、彼得（Peter）、克罗金（Krokhin）、安德烈（Andrei A.）和日文（Zhi ivn）、斯坦尼斯拉夫（Stanislav）。2014.价值约束满足的复杂性。牛市。EATCS113（2014）。检索自http://eatcs.org/beatcs/index.php/beatcs/article/view/266。 ·Zbl 1409.68141号 [28] Jonsson、Peter、Krokhin、Andrei A.和Kuivinen、Fredrik。2009年。硬约束满意度问题在位置1存在硬差距。理论。计算。科学410，38-40（2009），3856-3874。内政部：·Zbl 1176.90498号 [29] Jonsson、Peter、Kuivinen、Fredrik和Nordh、Gustav。2008年。MAX ONES推广到更大的领域。SIAM J.Compute.38，1（2008），329-365。内政部：·Zbl 1162.68015号 [30] 乔森、彼得和诺德、古斯塔夫。2008年。最大解决方案问题简介。《约束的复杂性：当前研究主题概述》（第5250卷）。施普林格，255-282。内政部：·Zbl 1171.68499号 [31] 坎纳、桑吉夫和莫特瓦尼、拉杰夫。1996.PTAS的句法特征。第28届ACM计算机理论年会（STOC'96）会议记录。ACM，329-337。内政部：·Zbl 0922.68058号 [32] Khanna、Sanjeev、Sudan、Madhu、Trevisan、Luca和Williamson，David P.，2001年。约束满足问题的逼近性。SIAM J.Compute.30，6（2001），1863-1920。内政部：·Zbl 0992.68059号 [33] 科特（Khot），Subhash。2002年。关于独特的双谚语单回合游戏的力量。第34届ACM计算机理论研讨会（STOC'02）会议记录。美国医学会，767-775。内政部：·兹比尔1192.68367 [34] 科莫戈罗夫、弗拉基米尔、克罗金、安德烈·A·和罗利内克、米查尔。2017年，一般价值顾客服务提供商的复杂性。SIAM J.Compute.46，3（2017），1087-1110。DOI:·Zbl 1371.68117号 [35] 科齐克、马钦和奥克里米亚克、乔安娜。2015.值约束满足问题的代数性质。第42届国际自动化、语言和编程学术讨论会（ICALP’15）会议记录（第9134卷）。施普林格，846-858。内政部：·Zbl 1441.68098号 [36] Kumar，Amit，Manokaran，Rajsekar，Tulsiani，Madhur和Vishnoi，Nisheeth K.，2011年。严格CSP的基于LP的逼近。第22届ACM-SIAM离散算法年会论文集（SODA'11）。暹罗，1560-1573年。内政部：·Zbl 1377.90077号 [37] 康斯坦丁·马卡里切夫和尤里·马卡里谢夫。2017年，CSP的近似算法。在约束满足问题：复杂性和近似性中，第7卷）。达格斯图尔-莱布尼兹·泽特鲁姆宫（Schloss Dagstuhl-Leibniz-Zentrum für Informatik），287-325。内政部：·Zbl 1482.68167号 [38] Marathe，Madhav V.，III，Harry B.Hunt和Stearns，Richard E.，1997年。水平宽度特性、精确算法和近似方案。第29届ACM计算机理论研讨会（STOC'97）会议记录。ACM公司。检索自https://www.osi.gov/biblio/471394。 ·Zbl 0990.90562号 [39] 梅泽伊（Mezei）、巴拉斯·F·（Balázs F.）、罗奇纳（Wrochna）、马钦（Marcin）和契文·斯坦尼斯拉夫（Stanislav）。2021.稀疏一般值CSP的PTAS。第36届ACM/IEEE年度计算机科学逻辑研讨会（LICS’21）论文集。IEEE，1-11。内政部： [40] 拉菲、阿克巴、拉菲、阿拉什和桑托斯、蒂亚戈。2019.走向H-着色近似的二分法。第46届国际自动化、语言和编程学术讨论会论文集（ICALP’19）（，第132卷）。达格斯图尔-莱布尼兹·泽特鲁姆宫（Schloss Dagstuhl-Leibniz-Zentrum für Informatik），91:1-91:16。DOI（操作界面）：·Zbl 07561584号 [41] 普拉萨德·拉加文德拉。2008.每个CSP的最佳算法和不可接近性结果？在第40届美国计算机学会计算理论年度研讨会（STOC’08）上发表。美国医学会，245-254。内政部：·Zbl 1231.68142号 [42] 布鲁斯·里德（Bruce A.Reed），2003年。树木宽度的算法方面。算法和组合数学的最新进展。施普林格，85-107·Zbl 1035.05090号 [43] 罗梅罗（Romero）、米盖尔（Miguel）、罗奇纳（Wrochna）、马钦（Marcin）和伊文（Zhiv）、斯坦尼斯拉夫（Stanislav）。2020年，Max-CSP的树宽责任和PTAS。技术报告。 [44] 罗梅罗（Romero）、米盖尔（Miguel）、罗奇纳（Wrochna）、马钦（Marcin）和伊文（Zhiv）、斯坦尼斯拉夫（Stanislav）。2021.Max-CSP的树宽负债和PTAS。年度ACM-SIAM离散算法研讨会（SODA'21）论文集。暹罗，473-483。内政部： [45] 哈尼夫·谢拉利（Hanif D.Sherali）和沃伦·亚当斯（Warren P.Adams），1990年。零规划问题的连续和凸壳表示之间的松弛层次。SIAM J.离散数学。3，3（1990），411-430。内政部：·Zbl 0712.90050号 [46] 鲁斯特姆·塔哈诺夫。2010.一般最小代价同态问题的二分法定理。第27届计算机科学理论方面国际研讨会（STACS’10）（LIPIcs）论文集。达格斯图尔-莱布尼兹·泽特鲁姆宫（Schloss Dagstuhl-Leibniz-Zentrum für Informatik），657-668年。内政部：·Zbl 1230.90192号 [47] 大卫·扎克曼。2007.线性度提取器和最大团和色数的不可接近性。理论计算3，1（2007），103-128。内政部：·Zbl 1213.68322号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。