格雷戈里·古汀;Yeo，安德斯 参数化约束满足问题：调查。 （英语） Zbl 1482.68111号 Krokhin，Andrei（编辑）等人，《约束满足问题：复杂性和近似性》，Dagstuhl研讨会153012015年7月。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。Dagstuhl Follow-Ups 7179-203（2017）。 小结：我们考虑在保证值以上或以下参数化的约束满足问题。一个例子是上面参数化的MaxSat：给定一个带有（m/2）子句的CNF公式（F\），决定是否存在满足至少\（m/2+k\）子句的真值赋值，其中\（k\）是参数。我们处理的其他问题包括MaxLin2-AA（给定一个超过（mathbb的线性方程组{F} _2\)其中每个方程都有一个正的积分权重，决定是否对满足总重至少为\（W/2+k\）的方程的变量进行赋值，其中\（W\）是所有方程的总重），Max-\（r\）-Lin2-AA（与MaxLin2-AA相同，但每个方程最多有\（r \）个变量，其中\是一个常数）和Max-\（r\）-Sat-AA（给定一个包含\（m\）子句的CNF公式\（F\），其中每个子句最多包含\（r\）个字面值，决定是否存在满足至少\（sum_{i=1}^m（1-2^{r_i}）+k\）个子句的真值赋值，其中\（k\）是参数，\（r_i\）是子句\（i\）中的字面值，\（r\）是一个常量）。我们还考虑了Max-\（r\）-CSP-AA，它是Max-\。我们讨论了主要在过去几年中针对这些问题以及一些悬而未决的问题所获得的结果，包括多项式核和参数化算法。关于整个系列，请参见[兹比尔1375.68019]. 引用于1文件 MSC公司： 68年第27季度 参数化复杂性、可处理性和核化 68卢比 计算机科学中的组合数学 68兰特 可满足性的计算方面 68-02 与计算机科学有关的研究展览会（专著、调查文章） 关键词：约束满足问题;固定参数牵引性 软件：洛立布 PDF格式BibTeX公司 XML格式引用 \textit{G.Gutin}和\textit{A.Yeo}，Dagstuhl Follow-Ups 7，179--203（2017；Zbl 1482.68111） 全文： 内政部 参考文献： [1] N.Alon，投票悖论和有向图实现，应用数学进展。29:126-135, 2002. ·Zbl 1020.91012号 [2] N.Alon、G.Gutin、E.J.Kim、S.Szeider和A.Yeo，在紧下限上求解MAX-r-SAT。算法61（3）：638-6552011·Zbl 1242.68118号 [3] N.Alon、G.Gutin和M.Krivelevich。具有较大控制比的算法。《算法》50:118-1312004年·Zbl 1068.68175号 [4] H.L.Bodlaender、R.G.Downey、M.R.Fellows和D.Hermelin，《关于没有多项式核的问题》。J.计算。系统。科学。75(8):423-434, 2009. ·Zbl 1192.68288号 [5] H.L.Bodlaender、S.Thomasse和A.Yeo，不相交循环和不相交路径的核界。西奥。计算。科学。412(35): 4570-4578, 2011. ·Zbl 1221.68099号 [6] A.Bonami，E tude des coefficients de Fourier des functions de L p（G）。《傅里叶协会年鉴》，20（2）：335-4021970年·Zbl 0195.42501号 [7] L.Cai和J.Chen，关于NP优化问题的固定参数可处理性和逼近，J.Compute。系统。科学。54:465-474, 1997. ·Zbl 0882.68064号 [8] M.Charikar、V.Guruswami和R.Manokaran，arity 3的每个置换CSP都是抗近似的。程序。计算复杂性2009，62-73。 [9] X.Chen和Y.Zhou，全局基数约束下高于平均值的约束满足问题的参数化算法。手稿·Zbl 1410.68158号 [10] B.Chor和M.Sudan。对中间性的几何方法。SIAM J.离散数学。，ll（4）：511-5231998年·Zbl 0912.68058号 [11] R.Crowston、M.Fellows、G.Gutin、M.Jones、F.Rosamond、S.Thomasse和A.Yeo，满足GF（2）上一半以上的线性方程组：多元方法。J.计算。系统。科学。80（4）：687-496（2014）·兹比尔1285.68053 [12] R.Crowston、G.Gutin、M.Jones、E.J.Kim和I.Ruzsa。F 2上的线性方程组和参数化高于平均值的问题。程序。2010年路易斯安那州SWAT。注释计算。科学。6139: 164-175, 2010. ·Zbl 1285.68062号 [13] 右。Crowston、G.Gutin、M.Jones、V.Raman和S.Saurabh，《MaxSat参数化复杂度高于平均值》。西奥。计算。科学。511:77-84, 2013. ·Zbl 1358.68126号 [14] R.Crowston，G.Gutin，M.Jones和A.Yeo，满足F2上几乎所有线性方程的参数化复杂性，理论计算。系统。52（4）：2013年第719-728页·Zbl 1290.68056号 [15] R.Crowston、G.Gutin、M.Jones和A.Yeo，Max-SAT及其算法应用中最大满足子句数的新下界。《算法》64（1）：56-68（2012）·Zbl 1252.68137号 [16] M.Cygan、F.V.Fomin、L.Kowalik、D.Lokshtanov、D.Marx、M.Pilipczuk、M.Pilipczuk和S.Saurabh。参数化算法。Springer-Verlag，2015年·Zbl 1334.90001号 [17] M.Cygan、M.Pilipczuk、M.Pilipczzuk和J.O.Wojtaszczyk，《关于在下限以上进行参数化的多路切割》。ACM事务处理。计算。理论5（1）：1-112013·Zbl 1322.68098号 [18] R.G.Downey和M.R.Fellows，参数化复杂性基础。施普林格，2013年·Zbl 1358.68006号 [19] H.Fernau、F.V.Fomin、D.Lokshtanov、D.Raible、S.Saurabh和Y.Villanger，《无核问题的内核：在有许多叶子的树上》。程序。STACS 2009，421-432·Zbl 1236.68087号 [20] H.Fleischner、O.Kullmann和S.Szeider，具有固定子句变量差的最小不可满足公式的多项式时间识别。理论。计算。科学。，289(1):503-516, 2002. ·Zbl 1061.68072号 [21] V.Guruswami、J.Hástad、R.Manokaran、P.Raghavendra和M.Charikar，《打破随机排序很难：每个排序CSP都是抗近似的。SIAM J.计算。40(3): 878-914 (2011). ·Zbl 1235.68075号 [22] V.Guruswami、R.Manokaran和P.Raghavendra，打破随机排序很难：最大非循环子图的不近似性。程序。FOCS 2008，573-582。 [23] G.Gutin、L.van Iersel、M.Mnich和A.Yeo，每一个在平均值以上参数化的三元置换约束满足问题都有一个变量数量为二次的核，J.Compute。系统。科学。，在新闻稿中，doi:10.1016/j.jss.2011.01.004·兹比尔1242.68122 ·doi:10.1016/j.jcss.2011.01.004 [24] G.Gutin、M.Jones、D.Scheder和A.Yeo，3-可满足MaxSat的新边界及其算法应用。Inf.计算。231:117-124, 2013. ·Zbl 1358.68134号 [25] G.Gutin、E.J.Kim、M.Mnich和A.Yeo。参数化的介于紧下限之上。J.计算。系统。科学。，76:872-878, 2010. ·Zbl 1209.68621号 [26] G.Gutin、E.J.Kim、S.Szeider和A.Yeo。参数化问题在紧下限以上的概率方法。J.计算。系统。科学。77:422-4292011年·Zbl 1209.68277号 [27] G.Gutin和A.Yeo，约束满足问题参数化在紧边界之上或之下：一项调查。摘自Lect Fellows Festschrift。注释计算。科学。7370 (2012), 257-286. ·Zbl 1358.68135号 [28] G.Gutin和A.Yeo，有界Fourier宽度伪布尔函数的超压缩不等式。离散应用程序。数学。160 (2012), 2323-2328. ·Zbl 1252.94126号 [29] G.Gutin和A.Yeo，关于紧下限上最大二分的注记。信息处理。信件。110 (2010) 966-969. ·Zbl 1379.68165号 [30] W.Guttmann和M.Maucher。带有约束的排序主题的变体。程序。2006年第四届IFIP国际理论计算机科学会议，第77-90页，斯普林格出版社。 [31] J.Hástad，一些最佳不可接近性结果。美国医学会期刊48:798-8592001·Zbl 1127.68405号 [32] A.Isli和A.G.Cohn。利用三元关系代数对二维方向进行循环排序的一种新方法。Artif公司。情报，122（1-2）：137-1872000·Zbl 0948.68170号 [33] S.Jukna，极端组合数学及其在计算机科学中的应用，Springer-Verlag，2001年·Zbl 0978.05001号 [34] R.M.Karp，组合问题中的可约性，Proc。《计算机计算的复杂性》，Plenum出版社，1972年·兹伯利0366.68041 [35] S.Khot，《论独特的双谚语单回合游戏的力量》。程序。STOC 2002，767-775·Zbl 1192.68367号 [36] E.J.Kim和R.Williams，约束满足的改进参数化算法。程序。IPEC 2011，法律。注释计算。科学。7112 (2011) 118-131. ·Zbl 1352.68115号 [37] S.Kratsch和M.WahlströM，代表集和无关顶点：核化的新工具。2012年第54届计算机科学基础年会（FOCS），450-459。 [38] K.J.Lieberherr和E.Specker，部分满足的复杂性。J.ACM，28（2）：411-4211981·Zbl 0456.68078号 [39] K.J.Lieberherr和E.Specker，部分满足的复杂性，II。技术报告293，普林斯顿大学EECS系，1982年·Zbl 0456.68078号 [40] D.Lokshtanov，《参数化算法和复杂性中的新方法》，博士论文，Bergen，2009年。 [41] M.Mahajan和V.Raman。参数化以上保证值：MaxSat和Max-Cut。《算法杂志》，31（2）：335-3541999。Electr中的初步版本。集体计算。复杂。（ECCC），TR-97-0331997年·Zbl 0921.68052号 [42] M.Mahajan、V.Raman和S.Sikdar。参数化高于或低于保证值。计算机系统科学杂志，75（2）：137-1532009。程序中的初步版本。IWPEC 2006，法律。注释计算。科学。4169: 38-49, 2006. ·Zbl 1155.68400号 [43] K.Makarychev，Y.Makaychev和Y.Zhou，订购平均年龄以上CSP的可满足性是固定参数可追踪的。在FOCS 2015中，975-993。 [44] R.尼德迈尔。固定参数算法邀请函。牛津大学出版社，2006年·Zbl 1095.68038号 [45] R.O'Donnell，《布尔函数分析》，剑桥大学出版社，2014年·兹比尔1336.94096 [46] J.Opatrn，总订购问题。SIAM J.计算。，8: 111-114, 1979. ·Zbl 0395.68065号 [47] V.Raman、M.S.Ramanujan和S.Saurabh，《路径、花朵和顶点覆盖》。程序。《2011年欧洲账户体系》，Lect。注释计算。科学。6942: 382-393, 2011. ·Zbl 1346.05287号 [48] I.拉兹贡和B.奥沙利文。几乎2-SAT是固定参数可处理的。J.计算。系统。科学。75(8):435-450, 2009. ·兹比尔1184.68477 [49] G.Reinelt，《线性排序问题：算法和应用》，赫尔德曼·弗拉格，1985年·Zbl 0565.68058号 [50] S.Szeider，具有有界子句变量差的最小不可满足公式是固定参数可处理的。J.计算。系统。科学。，69(4):656-674, 2004. ·Zbl 1108.68065号 [51] M.Yannakakis，关于最大可满足性的近似。《算法杂志》，17:475-5021994年·Zbl 0820.68056号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不声称其完整性或完全匹配。