阿克巴·拉菲;阿拉什·拉菲;桑托斯，蒂亚戈 走向H染色近似的二分法。 （英语） Zbl 07561584号 Baier，Christel（ed.）等人，第46届自动化、语言和编程国际学术讨论会，2019年ICALP 2019年7月9日至12日，希腊帕特拉斯。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。132，第91条，第16页（2019年）。 小结：给定两个（di）图（G），（H）和一个代价函数（c:V（G）乘V（H）到Q_{ge0}\cup\{+\infty\}），在最小代价同态问题MinHOM（（H）中，我们有兴趣找到一个使V（G。这个问题精确最小化的复杂性是众所周知的[P.地狱和A.拉菲[SIAM J.离散数学.26，No.4，1597–1608（2012；Zbl 1261.05035号)]MinHOM（（H））是多项式时间可解的有向图类是所有有向图的一个小子集。在本文中，我们考虑了MinHOM在常数因子内的近似。就有向图而言，如果（H）包含有向图小行星三元组（DAT），则MinHOM（（H））不是近似的。我们向近似病例的二分法分类迈出了重要一步。当（H）是图（即对称有向图）时，我们给出了MinHOM（（H）的二分法近似分类。对于有向图，我们为两类重要的有向图提供了常数因子近似算法，即双弧有向图（具有保守半格多态性或最小阶的有向）和（k）-弧有向（具有扩展最小阶的图）。具体而言，我们表明：–图的二分法：如果图（H）允许保守多数多态性（即H是双圆弧图），MinHOM\（H）有一个\（2|V（H）|\）近似算法，否则它是不可近似的；–如果（H）是双圆弧有向图，MinHOM（（H）有一个（|V（H）|^2）-近似算法；–如果（H）是一个（k）-弧有向图，MinHOM（（H）有一个（V（H）|^2）-近似算法。总之，我们展示了这些结果的重要性，并为实现近似案例的二分法分类提供了见解。我们的常数取决于（H）的大小。然而，我们的算法的实现提供了更好的近似比。有向图（H）的分类还有待研究，其中MinHOM（H）承认了一个独立于（|V（H）|\）的常数因子近似算法。关于整个系列，请参见[Zbl 1414.68003号]. 引用于2文件 MSC公司： 68新元 软件理论 第68季度 计算理论 关键词：近似算法;最小代价同态;随机舍入 引文：兹比尔1261.05035 PDF格式BibTeX公司 XML格式引用 \textit{A.Rafiey}等人，LIPIcs——莱布尼茨国际程序。通知。132，第91条，第16页（2019年；Zbl 07561584） 全文： DOI程序 arXiv公司 参考文献： [1] 桑吉夫·阿罗拉（Sanjeev Arora）、拉兹洛·巴拜（LászlóBabai）、雅克·斯特恩（Jacques Stern）和Z.Sweedyk。格、码和线性方程组中近似最优的硬度。J.计算。系统。科学。，54(2):317-331, 1997. doi:10.1006/jcss.1997.1472·Zbl 0877.68067号 ·doi:10.1006/jcss.1997.1472 [2] 根据澳大利亚。任何2-CSP都将面临严重的不接近性。2007年10月20日至23日，第48届IEEE计算机科学基础年会（FOCS 2007），美国罗得岛州普罗维登斯，会议记录，第307-317页，2007年。doi:10.1109/FOCS.2007.73·doi:10.1109/FOCS.2007.73 [3] 纪尧姆·巴根（Guillaume Bagan）、阿诺德·杜兰德（Arnaud Durand）、艾曼纽尔·菲利奥特（Emmanuel Filiot）和奥利维尔·高文（Olivier Gauwin）。X-underbar结构上连接查询的高效枚举。《计算机科学逻辑》，第24届国际研讨会，CSL 2010，第19届EACSL年会，捷克共和国布尔诺，2010年8月23日至27日。《会议记录》，第80-94页，2010年。doi:10.1007/978-3642-15205-410·Zbl 1287.68034号 ·doi:10.1007/978-3-642-15205-4_10 [4] 阿莫茨·巴诺伊（Amotz Bar-Noy）、米希尔·贝拉雷（Mihir Bellare）、马格努斯·M·哈尔德森（Magnüs M.Hallorsson）、哈达斯·沙奇奈（Hadas Shachnai）和塔米·塔米尔（Tami Tami）。色和与分布式资源分配。信息计算。，140(2):183-202, 1998. doi:10.1006/inco.1997.2677·Zbl 0895.68022号 ·doi:10.1006/inco.1997.2677 [5] 利伯·巴托。再论保守约束满足问题的二分法。2011年6月21日至24日，加拿大安大略省多伦多市，第26届IEEE计算机科学逻辑年会会议记录，第301-310页。doi:10.1109/LICS.2011。25. ·doi:10.109/LICS.2011.25 [6] 利伯·巴托（Libor Barto）、安德烈·克鲁金（Andrei A.Krokhin）和罗斯·威拉德（Ross Willard）。多态性，以及如何使用它们。Andrei A.Krokhin和Stanislav Zivny主编，《约束满足问题：复杂性和近似性》，Dagstuhl Follow-Ups第7卷，第1-44页。达格斯图尔宫-莱布尼茨-泽特鲁姆富尔信息科技，2017年。doi:10.4230/DFU。第7.15301.1卷·Zbl 1482.68161号 ·doi:10.4230/DFU。第7.15301.1卷 [7] 理查德·布鲁斯特（Richard C.Brewster）、汤姆·费德（Tomás Feder）、帕沃·赫尔（Pavol Hell）、黄晶（Jing Huang）和加里·麦克吉利弗雷（Gary MacGillivray）。近一致函数与自反图的多样性。SIAM J.离散数学。，22(3):938-960, 2008. doi:10.1137/S0895480103436748·Zbl 1200.05217号 ·doi:10.1137/S0895480103436748 [8] 安德烈·布拉托夫。可追踪保守约束满足问题。2003年6月22日至25日，第18届IEEE计算机科学逻辑研讨会（LICS 2003），加拿大渥太华，会议记录，第321页，2003。doi:10.1109/LICS.2003.1210072·doi:10.1109/LICS.2003.1210072 [9] 安德烈·布拉托夫。重温H-染色二分法。西奥。计算。科学。，349(1):31-39, 2005. doi:10.1016/j.tcs.2005.09028·Zbl 1086.68052号 ·doi:10.1016/j.tcs.2005.09.028 [10] 安德烈·布拉托夫。保守约束满足问题的复杂性。ACM事务处理。计算。日志。，12(4):24:1-24:66, 2011. doi:10.1145/1970398.1970400·Zbl 1351.68113号 ·数字对象标识代码：10.1145/1970398.1970400 [11] 安德烈·布拉托夫。重新访问保守约束满意度。J.计算。系统。科学。，82(2):347-356, 2016. doi:10.1016/j.jcss.2015.07.004·Zbl 1346.68108号 ·doi:10.1016/j.jcss.2015.07.004 [12] 安德烈·布拉托夫。非均匀CSP的二分法定理。2017年10月15日至17日，美国加利福尼亚州伯克利市，2017年FOCS，第58届IEEE计算机科学基础年度研讨会，第319-330页。doi:10.1109/FOCS.2017.37·doi:10.1109/FOCS.2017.37 [13] David A.Cohen、Martin C.Cooper、Peter G.Jeavons、Andrei A.Krokhin、Robert Powell和Stanislav Zivny。值约束满足问题的二值化。SIAM J.离散数学。，31(4):2279-2300, 2017. doi:10.1137/16M1088107·Zbl 1477.68121号 ·doi:10.137/16M1088107 [14] Nadia Creignou、Sanjeev Khanna和Madhu Sudan。布尔约束满足问题的复杂性分类，第7卷。SIAM，2001年·Zbl 0981.68058号 [15] 维克特·达尔摩、安德烈·克罗金和拉杰斯卡·马诺卡兰。研究常数近似有限值CSP的特征。J.计算。系统。科学。，97:14-27, 2018. doi:10.1016/j.jcss.2018.03.003·Zbl 1398.68666号 ·doi:10.1016/j.jcss.2018.03.003 [16] Alina Ene、Jan Vondrák和Yi Wu。局部分布和对称间隙：多路分割问题的近似可行性。2013年1月6日至8日，美国路易斯安那州新奥尔良，2013年SODA，第二十四届ACM-SIAM离散算法年会论文集，第306-325页。doi:10.1137/1.9781611973105.23·Zbl 1421.68217号 ·数字对象标识代码：10.1137/1.9781611973105.23 [17] 托马斯·费德勒、帕沃尔·地狱和黄晶。双弧图和列表同态的复杂性。图论杂志，42（1）：61-802003。doi:10.1002/jgt.10073·Zbl 1057.05033号 ·doi:10.1002/jgt.10073 [18] 托马斯·费德（Tomás Feder）、帕沃尔·赫尔（Pavol Hell）、彼得·琼森（Peter Jonsson）、安德烈·克罗金（Andrei A.Krokhin）和古斯塔夫·诺德（Gustav Nordh）。退缩到假森林。SIAM J.离散数学。，24(1):101-112, 2010. doi:10.1137/080738866·Zbl 1215.05063号 ·doi:10.1137/080738866 [19] Tomás Feder和Moshe Y.Vardi。单调单子SNP的计算结构和约束满足：通过数据日志和群论的研究。SIAM J.计算。，28(1):57-104, 1998. doi:10.1137/S0097539794266766·Zbl 0914.68075号 ·doi:10.137/S0097539794266766 [20] Krzysztof Giaro、Robert Janczewski、Marek Kubale和Michal Malafiejski。二部图的色和着色的27/26-近似算法。《组合优化的近似算法》，第五届国际研讨会，APPROX 2002，意大利罗马，2002年9月17日至21日，会议记录，第135-145页，2002年。doi:10.1007/3-540-45753-4_13·兹比尔1013.90129 ·doi:10.1007/3-540-45753-4_13 [21] Michel X.Goemans和David P.Williamson。使用半定规划求解最大割和可满足性问题的改进近似算法。J.ACM，42（6）：1115-11451995年。doi:10.1145/227683.2276884·Zbl 0885.68088号 ·数字对象标识代码：10.1145/227683.2276884 [22] Gregory Z.Gutin、Pavol Hell、Arash Rafiey和Anders Yeo。最小代价图同态的二分法。欧洲法学委员会。，29(4):900-911, 2008. doi:10.1016/j.ejc.2007.11。012. ·Zbl 1149.90164号 ·doi:10.1016/j.ejc.2007.11.012 [23] Gregory Z.Gutin、Arash Rafiey和Anders Yeo。半完全二部有向图的最小代价同态。SIAM J.离散数学。，22(4):1624-1639, 2008. doi:10.1137/060668316·兹比尔1184.05042 ·数字对象标识代码：10.1137/060668316 [24] Gregory Z.Gutin、Arash Rafiey、Anders Yeo和Michael Tso。图的修复级别分析和最小代价同态。离散应用数学，154（6）：881-8892006。doi:10.1016/j.dam.2005.06.012·Zbl 1131.90020号 ·doi:10.1016/j.dam.2005.06.012 [25] 沃尔夫冈·古贾尔（Wolfgang Gutjahr）、埃莫·韦尔兹尔（Emo Welzl）和格哈德·沃金格（Gerhard J.Woeginger）。多项式图形颜色。离散应用数学，35（1）：29-451992。doi:10.1016/0166-218X（92）90294-K·Zbl 0761.05040号 ·doi:10.1016/0166-218X（92）90294-K [26] Magnüs M.Halldórsson、Guy Kortsarz和Hadas Shachnai。最小化专用任务和间隔图的平均完成。《近似、随机化和组合优化：算法和技术》，第四届组合优化问题近似算法国际研讨会，APPROX 2001和第五届计算机科学随机和近似技术国际研讨会，RANDOM 2001，加州伯克利，美国，2001年8月18-20日，会议记录，第114-1262001页。doi:10.1007/3-540-44666-4_15·Zbl 0998.68508号 ·doi:10.1007/3-540-44666-4_15 [27] 约翰·哈斯塔德。一些最优的不可逼近性结果。美国医学杂志，48（4）：798-8592001。doi:10.1145/502090.502098·Zbl 1127.68405号 ·doi:10.1145/502090.502098 [28] Pavol Hell、Jing Huang、Ross M.McConnell和Arash Rafiey。类区间图和有向图。第43届计算机科学数学基础国际研讨会，2018年8月27日至31日，英国利物浦，2018年，第68:1-68:13页。doi:10.4230/LIPIcs。MFCS.2018.68。91:15 ·Zbl 1494.68195号 ·doi:10.4230/LIPIcs。MFCS.2018.68版 [29] 帕沃尔·赫尔（Pavol Hell）、莫纳尔多·马斯特罗利利（Monaldo Mastrolilli）、梅萨姆·穆罕默德·内维斯（Maysam Mohammadi Nevisi）和阿拉什·拉菲伊（Arash Rafiey）。最小代价同态的近似时间。2012年9月10日至12日，斯洛文尼亚卢布尔雅那，《算法-欧空局2012-第20届欧洲年会》。会议记录，第587-598页，2012年。doi:10.1007/978-3-642-33090-251·兹比尔1365.05203 ·doi:10.1007/978-3-642-33090-251 [30] 巴沃尔·赫尔和雅罗斯拉夫·内塞特里尔。关于H染色的复杂性。J.库姆。理论，Ser。B、 48（1）:92-1101990年。doi:10.1016/0095-8956（90）90132-J·Zbl 0639.05023号 ·doi:10.1016/0095-8956（90）90132-J [31] Pavol Hell和Jaroslav Nesetril。图和同态。牛津大学出版社，2004年·Zbl 1062.05139号 [32] Pavol Hell和Arash Rafiey。有向图的列表同态的二分法。2011年1月23日至25日，美国加利福尼亚州旧金山市，2011年第二十二届ACM-SIAM离散算法年会论文集，第1703-1713页。doi:10.1137/1.9781611973082.131·Zbl 1376.68067号 ·doi:10.1137/1.9781611973082.131 [33] Pavol Hell和Arash Rafiey。单调真区间有向图和最小-最大序。SIAM J.离散数学。，26(4):1576-1596, 2012. doi:10.1137/100783844·Zbl 1261.05034号 ·数字对象标识代码：10.1137/100783844 [34] 帕沃尔地狱和阿拉什·拉菲。有向图最小代价同态问题的二分法。SIAM J.离散数学。，26(4):1597-1608, 2012. doi:10.1137/100783856·Zbl 1261.05035号 ·doi:10.1137/100783856 [35] Pavol Hell和Arash Rafiey。双弧有向图和保守多态。CoRR，abs/1608.033682016年。arXiv:1608.03368。 [36] 克劳斯·詹森。最优代价色分割问题的近似结果。《算法杂志》，34（1）：54-892000。doi:10.1006/jagm.1999.1022·Zbl 0947.68164号 ·doi:10.1006/jagm.1999.1022 [37] 陶江和道格拉斯·B·韦斯特。用最小颜色总和为树木着色。图论杂志，32（4）：354-3581999·Zbl 0939.05037号 [38] 彼得·琼森和古斯塔夫·诺德。最大解决方案问题简介。约束的复杂性——当前研究主题概述【达格斯图尔研讨会结果】。，第255-282页，2008年。doi:10.1007/978-3-540-92800-310·Zbl 1171.68499号 ·doi:10.1007/978-3-540-92800-310 [39] 桑吉夫·坎纳（Sanjeev Khanna）、马杜·苏丹（Madhu Sudan）、卢卡·特雷维桑（Luca Trevisan）和大卫·威廉姆森（David P.Williamson）。约束满足问题的近似性。SIAM J.计算。，30(6):1863-1920, 2000. doi:10.1137/S0097539799349948·Zbl 0992.68059号 ·doi:10.1137/S0097539799349948 [40] Subhash Khot、Guy Kindler、Elchanan Mossel和Ryan O'Donnell。最大截割和其他2变量CSP的最佳不逼近结果？2004年10月17日至19日，第45届计算机科学基础研讨会（FOCS 2004），意大利罗马，会议记录，第146-154页，2004。doi:10.1109/FOCS.2004.49·doi:10.1109/FOCS.2004.49 [41] Vladimir Kolmogorov、Andrei A.Krokhin和Michal Rolinek。一般值CSP的复杂性。2015年10月17日至20日，美国加利福尼亚州伯克利市，2015年FOCS，IEEE第56届计算机科学基础年度研讨会，第1246-1258页。doi:10.1109/FOCS。2015.80. ·doi:10.1109/FOCS.2015.80 [42] Leo G.Kroon、Arunabha Sen、Haiyong Deng和Asim Roy。树和区间图的最优代价色划分问题。1996年6月12日至14日，意大利卡德纳比亚（科莫），第22届国际研讨会，计算机科学中的图论概念，第279-292页，1996年。doi:10.1007/3-540-62559-3_23·doi:10.1007/3-540-62559-3_23 [43] Ewa Kubicka和Allen J.Schwenk。色和简介。《20世纪90年代的计算机趋势——1989年美国计算机学会第17届年度计算机科学会议论文集》，美国肯塔基州路易斯维尔，1989年2月21日至23日，第39-45页，1989年。doi:10.1145/75427。75430. ·数字对象标识代码：10.1145/75427.75430 [44] Michael Lewin、Dror Livnat和Uri Zwick。MAX 2-SAT和MAX DI-CUT问题的改进舍入技术。《整数规划和组合优化》，第九届国际IPCO会议，美国马萨诸塞州剑桥，2002年5月27日至29日，会议记录，第67-82页，2002年。doi:10.1007/3-540-47867-16·Zbl 1049.90535号 ·doi:10.1007/3-540-47867-16 [45] 加里·麦克吉利夫雷和雅各布斯·斯沃茨。C k扩展了嫁接结构。离散应用数学，159（12）：1293-13012011。doi:10.1016/j.dam.2011.04.006·Zbl 1223.05300号 ·doi:10.1016/j.dam.2011.04.006 [46] 康斯坦丁·马卡里切夫和尤里·马卡利切夫。CSP的近似算法。An-drei A.Krokhin和Stanislav Zivny主编，《约束满足问题：复杂性和近似性》，Dagstuhl Follow-Ups第7卷，第287-325页。达格斯图尔宫-莱布尼茨-泽特鲁姆富尔信息科技，2017年。doi:10.4230/DFU。第7.153011.11卷·Zbl 1482.68167号 ·doi:10.4230/DFU。第7.153011.11卷 [47] Monaldo Mastrolli和Arash Rafiey。关于最小代价同态对二部图的逼近。离散应用数学，161（4-5）：670-6762013。doi:10.1016/j.dam.2011.05.002·Zbl 1258.68185号 ·doi:10.1016/j.dam.2011.05.002 [48] 普拉萨德·拉加文德拉。每个CSP的最优算法和不可接近性结果？2008年5月17日至20日，加拿大不列颠哥伦比亚省维多利亚市，第40届ACM计算机理论年会会议记录，第245-254页。doi:10.1145/1374376.1374414·Zbl 1231.68142号 ·doi:10.1145/1374376.1374414 [49] 鲁斯特姆·塔哈诺夫。一般最小费用同态问题的二分法定理。2010年3月4日至6日，第27届计算机科学理论方面国际研讨会，法国南希，第657-668页。doi:10.4230/LIPIcs。STACS.2010.2493·兹比尔1230.90192 ·doi:10.4230/LIPIcs。STACS.2010.2493号 [50] 约翰·塔珀和斯坦尼斯拉夫·齐夫尼。有限值CSP的复杂性。2013年6月1日至4日，美国加利福尼亚州帕洛阿尔托市STOC'13计算机理论研讨会，第695-704页。doi:10.1145/2488608.2488697·Zbl 1294.68094号 ·数字对象标识代码：10.1145/2488608.2488697 [51] 汉内斯·厄普曼（Hannes Uppman）。三元素Min-Sol和保守Min-Cost-Hom的复杂性。2013年7月8日至12日，在拉脱维亚里加举行的第40届国际学术讨论会《自动化、语言与编程》，ICALP 2013，第一部分，第804-815页。doi:10.1007/978-3642-39206-168·Zbl 1336.68148号 ·数字对象标识代码：10.1007/978-3-642-39206-168 [52] 汉内斯·厄普曼（Hannes Uppman）。三元域上扩展最小代价同态问题的计算复杂性。在第31届计算机科学理论方面国际研讨会（STACS 2014）上，STACS 2014，2014年3月5-8日，法国里昂，第651-662页。doi:10.4230/LIPIcs。STACS.2014.651·Zbl 1359.68145号 ·doi:10.4230/LIPIcs。STACS.2014.651年 [53] 德米特里·朱克。CSP二分法猜想的证明。在第58届IEEE计算机科学基础年度研讨会上，FOCS 2017，美国加利福尼亚州伯克利，2017年10月15日至17日，第331-342页。doi:10.1109/FOCS.2017.38·doi:10.1109/FOCS.2017.38 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。