Algebraic and model theoretic methods in constraint satisfaction
نویسنده
چکیده
This text is related to the tutorials I gave at the Banff International Research Station and within a “Doc-course” at Charles University Prague in the fall of 2014. It describes my current research and some of the most important open questions related to it.
منابع مشابه
Algebra and the Complexity of Digraph CSPs: a Survey
We present a brief survey of some of the key results on the interplay between algebraic and graph-theoretic methods in the study of the complexity of digraph-based constraint satisfaction problems. 1998 ACM Subject Classification A.1 Introductory and Survey, D.3.2 Constraint and Logic Languages, F.2.2 Computations on Discrete Structures
متن کاملA Complexity Dichotomy for Poset Constraint Satisfaction
We determine the complexity of all constraint satisfaction problems over partial orders, in particular we show that every such problem is NP-complete or can be solved in polynomial time. This result generalises the complexity dichotomy for temporal constraint satisfaction problems by Bodirsky and Kára. We apply the so called universal-algebraic approach together with tools from model theory and...
متن کاملConstraint Satisfaction with Weakly Oligomorphic Template
Constraint satisfaction problems form a very interesting and much studied class of decision problems. Feder and Vardi realized their relation to general coloring problems of relational structure. This enabled the use of algebraic, combinatorial, and model theoretic methods for studying the complexity of such decision problems. In this paper we are interested in constraint satisfaction problems ...
متن کاملQCSP on Semicomplete Digraphs
We study the (non-uniform) quantified constraint satisfaction problem QCSP(H) as H ranges over semicomplete digraphs. We obtain a complexity-theoretic trichotomy: QCSP(H) is either in P, is NP-hard or is Pspace-complete. The largest part of our work is the algebraic classification of precisely which semicompletes enjoy only essentially unary polymorphisms, which is combinatorially interesting i...
متن کاملThe Application of Systems-Theoretic Accident Model and Process in the Systematic Nonlinear Analysis of Accidents in Car Industry
Background & objectives: Hundreds of methods have been introduced to analyze various events. Hence one of the effective and principle steps in accident analysis is proper and targeted selection of accident analysis method. Traditional methods of accident analysis in complex industries are not comprehensive and examine each components of the system separately. So, the use of new systematic metho...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره abs/1507.00931 شماره
صفحات -
تاریخ انتشار 2014