Parameterized Complexity of CSP for Infinite Constraint Languages
نویسنده
چکیده
We study parameterized Constraint Satisfaction Problem for infinite constraint languages. The parameters that we study are weight of the satisfying assignment, number of constraints, maximum number of occurrences of a variable in the instance, and maximum number of occurrences of a variable in each constraint. A dichotomy theorem is already known for finite constraint languages with the weight parameter. We prove some general theorems that show, as new results, that some well-known problems are fixed-parameter tractable and some others are in W[1].
منابع مشابه
Blowing Holes in Various Aspects of Computational Problems, with Applications to Constraint Satisfaction
We consider methods for constructing NP-intermediate problems under the assumption that P 6= NP. We generalize Ladner’s original method for obtaining NP-intermediate problems by using parameters with various characteristics. In particular, this generalization allows us to obtain new insights concerning the complexity of CSP problems. We begin by fully characterizing the problems that admit NP-i...
متن کاملBackdoor Sets for CSP
A backdoor set of a CSP instance is a set of variables whose instantiation moves the instance into a fixed class of tractable instances (an island of tractability). An interesting algorithmic task is to find a small backdoor set efficiently: once it is found we can solve the instance by solving a number of tractable instances. Parameterized complexity provides an adequate framework for studying...
متن کاملHarnessing Tractability in Constraint Satisfaction Problems
The Constraint Satisfaction Problem (CSP) is a fundamental problem in computer science that takes as input a finite set of variables, a finite set of values and a set of constraints, which are arbitrary relations imposed on certain subsets of variables. The goal is to find an assignment of values to variables that satisfies every constraint. The generality of CSP and its connections to logic, u...
متن کاملConstructing NP-intermediate problems by blowing holes with parameters of various properties
The search for natural NP-intermediate problems is one of the holy grails within computational complexity. Ladner’s original diagonalization technique for generating NP-intermediate problems, blowing holes, has a serious shortcoming: it creates problems with a highly artificial structure by arbitrarily removing certain problem instances. In this article we limit this problem by generalizing Lad...
متن کاملTime Complexity of Constraint Satisfaction via Universal Algebra
The exponential-time hypothesis (ETH) states that 3-SAT is not solvable in subexponential time, i.e. not solvable in O(c) time for arbitrary c > 1, where n denotes the number of variables. Problems like k-SAT can be viewed as special cases of the constraint satisfaction problem (CSP), which is the problem of determining whether a set of constraints is satisfiable. In this paper we study the wor...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- CoRR
دوره abs/1706.10153 شماره
صفحات -
تاریخ انتشار 2017