Parameterized Constraint Satisfaction Problems: a Survey

Gutin, Gregory; Yeo, Anders

doi:10.4230/DFU.Vol7.15301.179

参数化约束满足问题综述

引用为获取BibTex

格雷戈里·古汀（Gregory Gutin）和安德斯·杨（Anders Yeo）。参数化约束满足问题：综述。在约束满足问题：复杂性和近似性中。达格斯图尔后续行动，第7卷，第179-203页，达格斯图-莱布尼兹·泽特鲁姆宫（2017）
https://doi.org/10.4230/DFU.Vol7.15301.179

@收集{gutin_et_al:DFU.Vol7.15301179，author={Gutin，Gregory和Yeo，Anders}，title={{参数化约束满足问题：调查}}，booktitle={约束满足问题：复杂性和近似性}，页数={179--203}，系列={达格斯图尔后续行动}，国际标准图书编号={978-3-95977-003-3}，ISSN={1868-8977}，年份={2017年}，体积={7}，editor={克罗金、安德烈和齐夫尼、斯坦尼斯拉夫}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/DFU.Vol7.15301.179},URN={URN:nbn:de:0030-drops-69641}，doi={10.4230/DFU.Vol7.153011.79}，annote={关键词：约束满足问题，固定参数可处理性}}

<trans data-src="@InCollection{gutin_et_al:DFU.Vol7.15301.179,">@收集{gutin_et_al:DFU.Vol7.15301179，</trans><trans data-src="author =	{Gutin, Gregory and Yeo, Anders},">author={Gutin，Gregory和Yeo，Anders}，</trans><trans data-src="title =	{{Parameterized Constraint Satisfaction Problems: a Survey}},">title={{参数化约束满足问题：调查}}，</trans><trans data-src="booktitle =	{The Constraint Satisfaction Problem: Complexity and Approximability},">booktitle={约束满足问题：复杂性和近似性}，</trans><trans data-src="pages =	{179--203},">页数={179--203}，</trans><trans data-src="series =	{Dagstuhl Follow-Ups},">series={Dagstuhl后续}，</trans><trans data-src="ISBN =	{978-3-95977-003-3},">国际标准图书编号={978-3-95977-003-3}，</trans><trans data-src="ISSN =	{1868-8977},">ISSN={1868-8977}，</trans><trans data-src="year =	{2017},">年份={2017年}，</trans><trans data-src="volume =	{7},">体积={7}，</trans><trans data-src="editor =	{Krokhin, Andrei and Zivny, Stanislav},">editor={克罗金、安德烈和齐夫尼、斯坦尼斯拉夫}，</trans><trans data-src="publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},">publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，</trans><trans data-src="address =	{Dagstuhl, Germany},">地址={Dagstuhl，德国}，</trans><trans data-src="URL =		{">URL={</trans><trans data-src="https://drops.dagstuhl.de/entities/document/10.4230/DFU.Vol7.15301.179">https://drops.dagstuhl.de/entities/document/10.4230/DFU.Vol7.15301.179</trans><trans data-src="},">},</trans><trans data-src="URN =		{urn:nbn:de:0030-drops-69641},">URN={URN:nbn:de:0030-drops-69641}，</trans><trans data-src="doi =		{10.4230/DFU.Vol7.15301.179},">doi＝{10.4230/DFU.Vol7.15301.179}，</trans><trans data-src="annote =	{Keywords: Constraint satisfaction problems, Fixed-parameter tractability}">annote={关键词：约束满足问题，固定参数可处理性}</trans><trans data-src="}">}</trans>

摘要

我们考虑高于或低于保证值的参数化约束满足问题。一个例子是在m/2以上参数化的MaxSat：给定带有m子句的CNF公式F，确定是否存在满足至少m/2+k子句的真值赋值，其中k是参数。我们处理的其他问题包括MaxLin2-AA（给定F_2上的线性方程组，其中每个方程具有正积分权，决定是否对满足总重至少为W/2+k的方程的变量赋值，其中W是所有方程的总重），Max-r-Lin2-AA（与MaxLin2AA相同，但每个方程最多有r个变量，其中r是常数）和Max-r-Sat-AA（给定具有m个子句的CNF公式F，其中每个子句最多有r个文字，决定是否存在满足至少sum_{i=1}^m（1-2^{r_i}）+k个子句的真值赋值，其中k是参数，ri是子句i中的文字数，r是常数）。我们还考虑了Max-r-CSP-AA（Max-r-Lin2-AA和Max-r-Sat-AA的自然推广）、高于平均值的参数化顺序（或置换）约束满足问题以及与MaxSat相关的一些其他问题。我们讨论了过去几年中主要针对这些问题以及一些公开问题获得的结果，包括多项式核和参数化算法。

参数化约束满足问题综述

作者格雷戈里·古汀, 安德斯·杨

文件

文件标识符

作者详细信息

引用为获取BibTex

摘要

关键词

韵律学

感谢您的反馈！

无法发送消息

参数化约束满足问题综述

作者 格雷戈里·古汀, 安德斯·杨

文件

文件标识符

作者详细信息

引用为获取BibTex

摘要

关键词

韵律学

感谢您的反馈！

无法发送消息

作者格雷戈里·古汀, 安德斯·杨