Constraint satisfaction problems over infinite domains
|
|
- Griffin Hamilton
- 5 years ago
- Views:
Transcription
1 Constraint satisfaction problems over infinite domains Michael Kompatscher, Trung Van Pham Theory and Logic Group TU Wien Research Seminar, 27/04/2016
2 Schaefer s theorem Let Φ be a set of propositional formulas. Boolean-SAT(Φ) Input: A set of propositional variables V and statements φ 1,..., φ n about the variables taken from Φ Problem: Is φ 1... φ n satisfiable?
3 Schaefer s theorem Let Φ be a set of propositional formulas. Boolean-SAT(Φ) Input: A set of propositional variables V and statements φ 1,..., φ n about the variables taken from Φ Problem: Is φ 1... φ n satisfiable? Computational complexity is in NP and depends on Φ.
4 Schaefer s theorem Let Φ be a set of propositional formulas. Boolean-SAT(Φ) Input: A set of propositional variables V and statements φ 1,..., φ n about the variables taken from Φ Problem: Is φ 1... φ n satisfiable? Computational complexity is in NP and depends on Φ. Schaefer 78 (1661 citations on Google scholar!) Boolean-SAT(Φ) is either in P or in NP-complete, for all Φ.
5 Schaefer s theorem for partial orders Let Φ be a finite set of quantifier-free -formulas. Poset-SAT(Φ) Input: A set of variables V and statements φ 1,..., φ n about the variables taken from Φ Problem: Is there a partial order that satisfies φ 1... φ n? Computational complexity is in NP and depends on Φ. Theorem (MK, TVP 16) Poset-SAT(Φ) is either in P or in NP-complete, for all Φ.
6 Outline 1 Constraint satisfaction problems 2 The universal algebraic approach 3 Poset-SAT 4 Summary
7 Outline 1 Constraint satisfaction problems 2 The universal algebraic approach 3 Poset-SAT 4 Summary
8 Constraint satisfaction problems Informally in a constraint satisfaction problem or CSP the aim is to check if there are objects that satisfy a given set of constraints (e.g. Sudoku, Time scheduling, system of linear equations).
9 Constraint satisfaction problems Informally in a constraint satisfaction problem or CSP the aim is to check if there are objects that satisfy a given set of constraints (e.g. Sudoku, Time scheduling, system of linear equations). Γ... structure in relational language τ
10 Constraint satisfaction problems Informally in a constraint satisfaction problem or CSP the aim is to check if there are objects that satisfy a given set of constraints (e.g. Sudoku, Time scheduling, system of linear equations). Γ... structure in relational language τ CSP(Γ) Input: A sentence x 1,..., x n (φ 1 φ k ) where φ i are τ-atomic.
11 Constraint satisfaction problems Informally in a constraint satisfaction problem or CSP the aim is to check if there are objects that satisfy a given set of constraints (e.g. Sudoku, Time scheduling, system of linear equations). Γ... structure in relational language τ CSP(Γ) Input: A sentence x 1,..., x n (φ 1 φ k ) where φ i are τ-atomic. Problem: Does the sentence hold in Γ?
12 Constraint satisfaction problems Informally in a constraint satisfaction problem or CSP the aim is to check if there are objects that satisfy a given set of constraints (e.g. Sudoku, Time scheduling, system of linear equations). Γ... structure in relational language τ CSP(Γ) Input: A sentence x 1,..., x n (φ 1 φ k ) where φ i are τ-atomic. Problem: Does the sentence hold in Γ? x 1,..., x n (φ 1 φ k ) is called a primitive positive sentence.
13 Constraint satisfaction problems Informally in a constraint satisfaction problem or CSP the aim is to check if there are objects that satisfy a given set of constraints (e.g. Sudoku, Time scheduling, system of linear equations). Γ... structure in relational language τ CSP(Γ) Input: A sentence x 1,..., x n (φ 1 φ k ) where φ i are τ-atomic. Problem: Does the sentence hold in Γ? x 1,..., x n (φ 1 φ k ) is called a primitive positive sentence. Question Given Γ, what is the computational complexity of CSP(Γ)?
14 Boolean-SAT 2-SAT Instance: A set of 2-clauses (x, y) Problem: Is there a satisfying truth assignment? CSP({0, 1}; 2OR, NEQ) with 2OR = {(1, 1), (0, 1), (1, 0)} and NEQ = {(0, 1), (1, 0)}.
15 Boolean-SAT 2-SAT Instance: A set of 2-clauses (x, y) Problem: Is there a satisfying truth assignment? CSP({0, 1}; 2OR, NEQ) with 2OR = {(1, 1), (0, 1), (1, 0)} and NEQ = {(0, 1), (1, 0)}. Positive 1-3-SAT Instance: 3-clauses (x, y, z) with positive literals Problem: Is there a truth assignment such that every clause has exactly one true variable? CSP({0, 1}; {(0, 0, 1), (0, 1, 0), (1, 0, 0)})
16 Boolean-SAT 2-SAT Instance: A set of 2-clauses (x, y) Problem: Is there a satisfying truth assignment? CSP({0, 1}; 2OR, NEQ) with 2OR = {(1, 1), (0, 1), (1, 0)} and NEQ = {(0, 1), (1, 0)}. Positive 1-3-SAT Instance: 3-clauses (x, y, z) with positive literals Problem: Is there a truth assignment such that every clause has exactly one true variable? CSP({0, 1}; {(0, 0, 1), (0, 1, 0), (1, 0, 0)}) CSPs over {0, 1} are exactly the Boolean-SAT(Φ) problems.
17 More examples CSP(Q, <) Instance: A pp-sentence in the language < Problem: Does it hold in (Q, <)? Equivalent to: Is there a linear order satisfying the pp-sentence?
18 More examples CSP(Q, <) Instance: A pp-sentence in the language < Problem: Does it hold in (Q, <)? Equivalent to: Is there a linear order satisfying the pp-sentence? Instance: x 1, x 2, x 3, x 4 (x 1 < x 2 x 1 < x 4 x 4 < x 3 )
19 More examples CSP(Q, <) Instance: A pp-sentence in the language < Problem: Does it hold in (Q, <)? Equivalent to: Is there a linear order satisfying the pp-sentence? Instance: x 1, x 2, x 3, x 4 (x 1 < x 2 x 1 < x 4 x 4 < x 3 ) x 2 x 3 x 1 x 4
20 More examples CSP(Q, <) Instance: A pp-sentence in the language < Problem: Does it hold in (Q, <)? Equivalent to: Is there a linear order satisfying the pp-sentence? Instance: x 1, x 2, x 3, x 4 (x 1 < x 2 x 1 < x 4 x 4 < x 3 ) x 2 x 3 x 2 x 3 x 1 x 4 x 1 x 4
21 More examples 3-COLOR Instance: A finite graph (G; E) Problem: Is it colorable with 3-colors? CSP with template (K 3, E) Instance: x 1,..., x 5 E(x 1, x 2 ) E(x 1, x 4 ) E(x 4, x 5 )
22 Finite CSPs If Γ is finite, CSP(Γ) is in NP.
23 Finite CSPs If Γ is finite, CSP(Γ) is in NP. CSP(Γ) can be in P,
24 Finite CSPs If Γ is finite, CSP(Γ) is in NP. CSP(Γ) can be in P, CSP(Γ) can be NP-complete,
25 Finite CSPs If Γ is finite, CSP(Γ) is in NP. CSP(Γ) can be in P, CSP(Γ) can be NP-complete, Dichotomy conjecture (Feder, Vardi 99) For every finite relational structure Γ, CSP(Γ) is either in P or NP-complete.
26 Finite CSPs If Γ is finite, CSP(Γ) is in NP. CSP(Γ) can be in P, CSP(Γ) can be NP-complete, Dichotomy conjecture (Feder, Vardi 99) For every finite relational structure Γ, CSP(Γ) is either in P or NP-complete. If Γ = 2: CSP(Γ) is in P or NP-complete (Schaefer 78)
27 Finite CSPs If Γ is finite, CSP(Γ) is in NP. CSP(Γ) can be in P, CSP(Γ) can be NP-complete, Dichotomy conjecture (Feder, Vardi 99) For every finite relational structure Γ, CSP(Γ) is either in P or NP-complete. If Γ = 2: CSP(Γ) is in P or NP-complete (Schaefer 78) If Γ = 3: CSP(Γ) is in P or NP-complete (Bulatov 06)
28 Finite CSPs If Γ is finite, CSP(Γ) is in NP. CSP(Γ) can be in P, CSP(Γ) can be NP-complete, Dichotomy conjecture (Feder, Vardi 99) For every finite relational structure Γ, CSP(Γ) is either in P or NP-complete. If Γ = 2: CSP(Γ) is in P or NP-complete (Schaefer 78) If Γ = 3: CSP(Γ) is in P or NP-complete (Bulatov 06) If Γ 4:...?
29 Outline 1 Constraint satisfaction problems 2 The universal algebraic approach 3 Poset-SAT 4 Summary
30 Primitive positive definability For structures Γ, write Γ pp if every relation in Γ has a definition with primitive positive formulas in.
31 Primitive positive definability For structures Γ, write Γ pp if every relation in Γ has a definition with primitive positive formulas in. Essential observation Γ pp CSP(Γ) ptime CSP( )
32 Primitive positive definability For structures Γ, write Γ pp if every relation in Γ has a definition with primitive positive formulas in. Essential observation Γ pp CSP(Γ) ptime CSP( ) If Γ pp and pp Γ the problems CSP(Γ) and CSP( ) are ptime equivalent.
33 Primitive positive definability For structures Γ, write Γ pp if every relation in Γ has a definition with primitive positive formulas in. Essential observation Γ pp CSP(Γ) ptime CSP( ) If Γ pp and pp Γ the problems CSP(Γ) and CSP( ) are ptime equivalent. We only need to study structures up to pp-interdefinable.
34 Polymorphism clones We say a function f : D n D preserves a relation R D k if for all r 1,..., r n R also f ( r 1,..., r n ) R.
35 Polymorphism clones We say a function f : D n D preserves a relation R D k if for all r 1,..., r n R also f ( r 1,..., r n ) R. A function f : Γ n Γ is called a polymorphism if it preserves all relations in Γ.
36 Polymorphism clones We say a function f : D n D preserves a relation R D k if for all r 1,..., r n R also f ( r 1,..., r n ) R. A function f : Γ n Γ is called a polymorphism if it preserves all relations in Γ. The set of all polymorphisms is called polymorphism clone Pol(Γ).
37 Polymorphism clones We say a function f : D n D preserves a relation R D k if for all r 1,..., r n R also f ( r 1,..., r n ) R. A function f : Γ n Γ is called a polymorphism if it preserves all relations in Γ. The set of all polymorphisms is called polymorphism clone Pol(Γ). Theorem (Geiger 68) For finite structures and Γ: pp Γ Pol( ) Pol(Γ)
38 Polymorphism clones We say a function f : D n D preserves a relation R D k if for all r 1,..., r n R also f ( r 1,..., r n ) R. A function f : Γ n Γ is called a polymorphism if it preserves all relations in Γ. The set of all polymorphisms is called polymorphism clone Pol(Γ). Theorem (Geiger 68) For finite structures and Γ: pp Γ Pol( ) Pol(Γ) the complexity of CSP(Γ) is determined by Pol(Γ)!
39 Schaefer s theorem revisited The Boolean CSP(Γ) is in P if and only if All relations in Γ Pol(Γ) contains contain (0,..., 0) constant 0 contain (1,..., 1) constant 1 are Horn (x, y) x y are dual Horn (x, y) x y are affine (x, y, z) x y + z are 2-clauses (x, y, z) (x y) (x z) (y z)
40 Schaefer s theorem revisited The Boolean CSP(Γ) is in P if and only if All relations in Γ Pol(Γ) contains contain (0,..., 0) constant 0 contain (1,..., 1) constant 1 are Horn (x, y) x y are dual Horn (x, y) x y are affine (x, y, z) x y + z are 2-clauses (x, y, z) (x y) (x z) (y z) Tractability conjecture (Bulatov, Jeavons, Krokhin,...) Let Γ be finite (+ mc core, contains all constants). Then either f Pol(Γ) : f (x 1, x 2,..., x n ) = f (x 2, x 3,..., x n, x 1 ) and CSP(Γ) is in P or CSP(Γ) is NP-complete.
41 The lattice of all clones on {0, 1} NP-c P
42 Infinite CSPs If Γ is infinite, CSP(Γ) can be undecidable: Diophant Instance: Equations using 0, 1, +, Problem: Is there an integer solution? CSP(Z; 0, 1, +, ).
43 Infinite CSPs If Γ is infinite, CSP(Γ) can be undecidable: Diophant Instance: Equations using 0, 1, +, Problem: Is there an integer solution? CSP(Z; 0, 1, +, ). For Γ = ω all complexities can appear!
44 Infinite CSPs If Γ is infinite, CSP(Γ) can be undecidable: Diophant Instance: Equations using 0, 1, +, Problem: Is there an integer solution? CSP(Z; 0, 1, +, ). For Γ = ω all complexities can appear! Clone lattice on ω is complicated...
45 Infinite CSPs If Γ is infinite, CSP(Γ) can be undecidable: Diophant Instance: Equations using 0, 1, +, Problem: Is there an integer solution? CSP(Z; 0, 1, +, ). For Γ = ω all complexities can appear! Clone lattice on ω is complicated... Pol(Γ) Pol( ) does not imply Γ pp in general.
46 Infinite CSPs If Γ is infinite, CSP(Γ) can be undecidable: Diophant Instance: Equations using 0, 1, +, Problem: Is there an integer solution? CSP(Z; 0, 1, +, ). For Γ = ω all complexities can appear! Clone lattice on ω is complicated... Pol(Γ) Pol( ) does not imply Γ pp in general. Hope: Algebraic approach still works for nice structures.
47 Outline 1 Constraint satisfaction problems 2 The universal algebraic approach 3 Poset-SAT 4 Summary
48 Poset-SAT as CSP The random partial order P := (P; ) is the unique countable partial order that:
49 Poset-SAT as CSP The random partial order P := (P; ) is the unique countable partial order that: is universal, i.e., contains all finite partial orders
50 Poset-SAT as CSP The random partial order P := (P; ) is the unique countable partial order that: is universal, i.e., contains all finite partial orders is homogeneous, i.e. for finite A, B P, every isomorphism I : A B extends to an automorphism α Aut(P).
51 Poset-SAT as CSP The random partial order P := (P; ) is the unique countable partial order that: is universal, i.e., contains all finite partial orders is homogeneous, i.e. for finite A, B P, every isomorphism I : A B extends to an automorphism α Aut(P). For every { }-formula φ(x 1,..., x n ) we define the relation R φ := {(a 1,..., a n ) P n : φ(a 1,..., a n )}.
52 Poset-SAT as CSP The random partial order P := (P; ) is the unique countable partial order that: is universal, i.e., contains all finite partial orders is homogeneous, i.e. for finite A, B P, every isomorphism I : A B extends to an automorphism α Aut(P). For every { }-formula φ(x 1,..., x n ) we define the relation R φ := {(a 1,..., a n ) P n : φ(a 1,..., a n )}.
53 Poset-SAT as CSP The random partial order P := (P; ) is the unique countable partial order that: is universal, i.e., contains all finite partial orders is homogeneous, i.e. for finite A, B P, every isomorphism I : A B extends to an automorphism α Aut(P). For every { }-formula φ(x 1,..., x n ) we define the relation R φ := {(a 1,..., a n ) P n : φ(a 1,..., a n )}. Poset-SAT(Φ) = CSP((P; R φ ) φ Φ ). (P; R φ ) φ Φ is a reduct of P, i.e. a structure that is first-order definable in P.
54 CSPs over random partial order ω-categorical structure A structure Γ is called ω-categorial, if its theory has, up to isomorphism, exactly one countable model. Engeler, Ryll-Nardzewski, Svenonius An countably infinite structure Γ with countable signature is ω-categorical if and only if for every k N, there are finitely many k-orbits of Aut(Γ).
55 CSPs over random partial order ω-categorical structure A structure Γ is called ω-categorial, if its theory has, up to isomorphism, exactly one countable model. Engeler, Ryll-Nardzewski, Svenonius An countably infinite structure Γ with countable signature is ω-categorical if and only if for every k N, there are finitely many k-orbits of Aut(Γ). Why is P ω-categorical? For every k N, there are finitely many posets on k elements.
56 CSPs over random partial order ω-categorical structure A structure Γ is called ω-categorial, if its theory has, up to isomorphism, exactly one countable model. Engeler, Ryll-Nardzewski, Svenonius An countably infinite structure Γ with countable signature is ω-categorical if and only if for every k N, there are finitely many k-orbits of Aut(Γ). Bodirsky, Nešetřil 03 For ω-categorical structures Γ, we have Γ pp Pol(Γ) Pol( )
57 Outline 1 Constraint satisfaction problems 2 The universal algebraic approach 3 Poset-SAT 4 Summary
58 Strategy for Poset-SAT(Φ) Boolean-SAT(Φ) Poset-SAT(Φ) CSPs of Boolean structures CSPs of reducts ({0, 1}; R 1,... R n ) of random partial order P are reducts of ({0, 1}, 0, 1) Clones over {0, 1} Closed clones containing Aut(P)
59 Important NP-complete relations Betw(x, y, z) := x < y < z z < y < x. Cycl(x, y, z) := (x < y y < z) (z < x x < y) (y < z z < x) (x < y z x z y) (y < z x y x z) (z < x y z y x). Sep(x, y, z, t) := ((Cycl(x, y, z) Cycl(y, z, t) Cycl(x, y, t) Cycl(x, z, t)) (Cycl(z, y, x) Cycl(t, z, y) Cycl(t, y, x) Cycl(t, z, x)). Low(x, y, z) := (x < y x z y z) (x < z x y z y).
60 Complexity dichotomy Theorem (MK, TVP 16) Let Γ be reduct of P. Then one of the following cases holds:
61 Complexity dichotomy Theorem (MK, TVP 16) Let Γ be reduct of P. Then one of the following cases holds: CSP(Γ) can be reduced to a CSP of a reduct of (Q; ). Thus CSP(Γ) is in P or NP-complete (M. Bodirsky and J. Kára).
62 Complexity dichotomy Theorem (MK, TVP 16) Let Γ be reduct of P. Then one of the following cases holds: CSP(Γ) can be reduced to a CSP of a reduct of (Q; ). Thus CSP(Γ) is in P or NP-complete (M. Bodirsky and J. Kára). Low, Betw, Cycl or Sep is pp-definable in Γ and CSP(Γ) is NP-complete.
63 Complexity dichotomy Theorem (MK, TVP 16) Let Γ be reduct of P. Then one of the following cases holds: CSP(Γ) can be reduced to a CSP of a reduct of (Q; ). Thus CSP(Γ) is in P or NP-complete (M. Bodirsky and J. Kára). Low, Betw, Cycl or Sep is pp-definable in Γ and CSP(Γ) is NP-complete. Pol(Γ) contains functions f, g 1, g 2 such that g 1 (f (x, y)) = g 2 (f (y, x)) and CSP(Γ) can be solved in polynomial time. Consequence: Poset-SAT(Φ) is in P or NP-complete.
64 Complexity dichotomy Theorem (MK, TVP 16) Let Γ be reduct of P. Then one of the following cases holds: CSP(Γ) can be reduced to a CSP of a reduct of (Q; ). Thus CSP(Γ) is in P or NP-complete (M. Bodirsky and J. Kára). Low, Betw, Cycl or Sep is pp-definable in Γ and CSP(Γ) is NP-complete. Pol(Γ) contains functions f, g 1, g 2 such that g 1 (f (x, y)) = g 2 (f (y, x)) and CSP(Γ) can be solved in polynomial time. Consequence: Poset-SAT(Φ) is in P or NP-complete. Given Φ, it is decidable to tell if Poset-SAT(Φ) is in P.
65 The method for the classification Canonicalization theorem (Bodirsky, Pinsker and Tsankov, 2012) Let be ordered homogeneous Ramsey with finite relational signature, f :, and let c 1, c 2,..., c n. Then f generates over a function which agrees with f on {c 1, c 2,..., c n } and which is canonical as a function from (, c 1, c 2,..., c n ).
66 The method for the classification Canonical functions A function f : P 2 P is called canonical if the type of image depends only on the types of arguments of the function in the domain. Example e < = < > = = < < > > Embedding from (P; <) 2 to (P; <). e = < > = = < > < < < > > > Embedding from (P; ) 2 to (P; ).
67 The method for the classification Canonical functions A function f : P 2 P is called canonical if the type of image depends only on the types of arguments of the function in the domain. Example e < = < > e = < > = = = = < > < < < < < > > > > > Embedding from (P; <) 2 to (P; <). Embedding from (P; ) 2 to (P; ). for every x < y and x > y, we have e < (x, x ) e < (y, y ).
68 The method for the classification Lemma Let Γ be a reduct of (P; ). If <, Γ pp, Low Γ pp, then e < or e is a polymorphism of Γ. Proof 1. Since Low is not primitive positive definable in Γ, there is a binary polymorphism f of Γ that violates Low. 2. We can find three elements a, b, c P such that a < b ab c, and (f (a, a), f (b, c), f (c, b)) Low. 3. We can assume that f is canonical as a function from (P;,, a, b, c) 2 to (P;,, a, b, c). 4. Use an extensive combinatorial analysis on f...
69 The method for classification Using the same method one could successfully classify the complexity of a number of CSPs on infinite domains. 1. Graph-SAT (M. Bodirsky and M. Pinsker, 2015). 2. Phylogeny CSPs (M. Bodirsky, P. Jonsson and T. V. Pham, 2015). 3. Henson graphs (M. Bodirsky, B. Martin, M. Pinsker and A. Pongrács, 2016). 4. Semilinear order-sat (M. Bodirsky and T. V. Pham, in preparation).
70 Lattice of polymorphism clones containing Aut(P) Temp-SAT Eq-SAT P NP-c
71 Thank you!
Topological clones. Michael Pinsker. Technische Universität Wien / Univerzita Karlova v Praze. Funded by Austrian Science Fund (FWF) grant P27600
Technische Universität Wien / Univerzita Karlova v Praze Funded by Austrian Science Fund (FWF) grant P27600 TACL 2015 Outline I: Algebras, function clones, abstract clones, Birkhoff s theorem II:, Topological
More informationarxiv: v5 [cs.cc] 17 May 2015
SCHAEFER S THEOREM FOR GRAPHS MANUEL BODIRSKY AND MICHAEL PINSKER arxiv:1011.2894v5 [cs.cc] 17 May 2015 Abstract. Schaefer s theorem is a complexity classification result for so-called Boolean constraint
More informationarxiv: v2 [cs.cc] 2 Oct 2011
SCHAEFER S THEOREM FOR GRAPHS MANUEL BODIRSKY AND MICHAEL PINSKER arxiv:1011.2894v2 [cs.cc] 2 Oct 2011 Abstract. Schaefer s theorem is a complexity classification result for so-called Boolean constraint
More informationSchaefer s theorem for graphs
Schaefer s theorem for graphs Manuel Bodirsky Laboratoire d Informatique (LIX), CNRS UMR 7161 École Polytechnique 91128 Palaiseau, France bodirsky@lix.polytechnique.fr Michael Pinsker Équipe de Logique
More informationSchaefer s theorem for graphs
Schaefer s theorem for graphs Manuel Bodirsky Laboratoire d Informatique (LIX), CNRS UMR 7161 École Polytechnique 91128 Palaiseau, France bodirsky@lix.polytechnique.fr Michael Pinsker Équipe de Logique
More informationQuantified Equality Constraints
Quantified Equality Constraints Manuel Bodirsky Institut für Informatik Humboldt-Universität zu Berlin, Germany bodirsky@informatik.hu-berlin.de Hubie Chen Departament de Tecnologies de la Informació i
More informationAlgebraic Tractability Criteria for Infinite-Domain Constraint Satisfaction Problems
Algebraic Tractability Criteria for Infinite-Domain Constraint Satisfaction Problems Manuel Bodirsky Institut für Informatik Humboldt-Universität zu Berlin May 2007 CSPs over infinite domains (May 2007)
More informationDECIDABILITY OF DEFINABILITY
DECIDABILITY OF DEFINABILITY MANUEL BODIRSKY, MICHAEL PINSKER, AND TODOR TSANKOV Abstract. For a fixed countably infinite structure Γ with finite relational signature τ, we study the following computational
More informationCLASSIFYING THE COMPLEXITY OF CONSTRAINTS USING FINITE ALGEBRAS
CLASSIFYING THE COMPLEXITY OF CONSTRAINTS USING FINITE ALGEBRAS ANDREI BULATOV, PETER JEAVONS, AND ANDREI KROKHIN Abstract. Many natural combinatorial problems can be expressed as constraint satisfaction
More informationConstraint Satisfaction Problems with Infinite Templates
Constraint Satisfaction Problems with Infinite Templates Manuel Bodirsky 1 École polytechnique, Laboratoire d informatique (LIX), France bodirsky@lix.polytechnique.fr Abstract. Allowing templates with
More informationApproximate Counting CSPs Hunt for Galois Connection
Approximate Counting CSPs Hunt for Galois Connection Andrei A. Bulatov Simon Fraser University La Trobe University 203 2/36 Constraint Satisfaction Problem Decision: Given a conjunctive formula R decide
More informationDatalog and Constraint Satisfaction with Infinite Templates
Datalog and Constraint Satisfaction with Infinite Templates Manuel Bodirsky 1 and Víctor Dalmau 2 1 CNRS/LIX, École Polytechnique, bodirsky@lix.polytechnique.fr 2 Universitat Pompeu Fabra, victor.dalmau@upf.edu
More informationBernhard Nebel, Julien Hué, and Stefan Wölfl. June 27 & July 2/4, 2012
Bernhard Nebel, Julien Hué, and Stefan Wölfl Albert-Ludwigs-Universität Freiburg June 27 & July 2/4, 2012 vs. complexity For some restricted constraint languages we know some polynomial time algorithms
More informationComputational Complexity in Graph Theory
Charles University Faculty of Mathematics and Physics Doctoral Thesis Computational Complexity in Graph Theory Jan Kára Department of Applied Mathematics and Institute for Theoretical Computer Science
More informationarxiv: v3 [math.lo] 26 Apr 2016
Discrete Temporal Constraint Satisfaction Problems arxiv:1503.08572v3 [math.lo] 26 Apr 2016 Manuel Bodirsky Institut für Algebra, TU Dresden, Dresden Barnaby Martin School of Science and Technology, Middlesex
More informationThe complexity of constraint satisfaction: an algebraic approach
The complexity of constraint satisfaction: an algebraic approach Andrei KROKHIN Department of Computer Science University of Durham Durham, DH1 3LE UK Andrei BULATOV School of Computer Science Simon Fraser
More informationTOPOLOGY IS IRRELEVANT (IN THE INFINITE DOMAIN DICHOTOMY CONJECTURE FOR CONSTRAINT SATISFACTION PROBLEMS)
TOPOLOGY IS IRRELEVANT (IN THE INFINITE DOMAIN DICHOTOMY CONJECTURE FOR CONSTRAINT SATISFACTION PROBLEMS) LIBOR BARTO AND MICHAEL PINSKER Abstract. We prove that an ω-categorical core structure primitively
More information{Symmetry, Logic, CSP}
{Symmetry, Logic, CSP} Libor Barto Charles University in Prague {Symmetry, Logic, Computation} Simons Institute, Berkeley, 9 Nov 2016 Message Topic: Constraint Satisfaction Problem (CSP) over a fixed finite
More informationA DICHOTOMY FOR FIRST-ORDER REDUCTS OF UNARY STRUCTURES
Logical Methods in Computer Science Vol. 14(2:13)2018, pp. 1 31 https://lmcs.episciences.org/ Submitted Apr. 12, 2017 Published May 22, 2018 A DICHOTOMY FOR FIRST-ORDER REDUCTS OF UNARY STRUCTURES MANUEL
More informationBounded width problems and algebras
Algebra univers. 56 (2007) 439 466 0002-5240/07/030439 28, published online February 21, 2007 DOI 10.1007/s00012-007-2012-6 c Birkhäuser Verlag, Basel, 2007 Algebra Universalis Bounded width problems and
More informationThe Complexity of Abduction for Equality Constraint Languages
The Complexity of Abduction for Equality Constraint Languages Johannes Schmidt and Michał Wrona Linköping University IDA Linköping {johannes.schmidt, michal.wrona}@liu.se Abstract Abduction is a form of
More informationInternational Workshop on Mathematics of Constraint Satisfaction: Algebra, Logic and Graph Theory
International Workshop on Mathematics of Constraint Satisfaction: Algebra, Logic and Graph Theory 20-24 March 2006 St Anne's College, University of Oxford www.comlab.ox.ac.uk/mathscsp Constraints & Algebra
More informationEndomorphism monoids of ω-categorical structures
Endomorphism monoids of ω-categorical structures Michael Kompatscher michaelkompatscher@hotmail.com Institute of Computer Languages Technische Universität Wien TACL - 24/06/2015 ω-categorical structures
More informationCORES OF COUNTABLY CATEGORICAL STRUCTURES
Logical Methods in Computer Science Vol. 3 (1:2) 2007, pp. 1 16 www.lmcs-online.org Submitted Sep. 23, 2005 Published Jan. 25, 2007 CORES OF COUNTABLY CATEGORICAL STRUCTURES MANUEL BODIRSKY Institut für
More informationTutorial on the Constraint Satisfaction Problem
Tutorial on the Constraint Satisfaction Problem Miklós Maróti Vanderbilt University and University of Szeged Nový Smokovec, 2012. September 2 7. Miklós Maróti (Vanderbilt and Szeged) The Constraint Satisfaction
More informationPolymorphisms, and how to use them
Polymorphisms, and how to use them Libor Barto 1, Andrei Krokhin 2, and Ross Willard 3 1 Department of Algebra, Faculty of Mathematics and Physics Charles University in Prague, Czech Republic libor.barto@gmail.com
More informationPolymorphisms, and How to Use Them
Polymorphisms, and How to Use Them Libor Barto 1, Andrei Krokhin 2, and Ross Willard 3 1 Department of Algebra, Faculty of Mathematics and Physics, Charles University, Prague, Czech Republic libor.barto@gmail.com
More informationComplexity of conservative Constraint Satisfaction Problems
Complexity of conservative Constraint Satisfaction Problems ANDREI A. BULATOV Simon Fraser University In a constraint satisfaction problem (CSP) the aim is to find an assignment of values to a given set
More informationCSP, Algebras, Varieties. Andrei A. Bulatov Simon Fraser University
CSP Algebras Varieties Andrei A. Bulatov Simon Fraser University CSP Reminder An instance o CSP is deined to be a pair o relational structures A and B over the same vocabulary τ. Does there exist a homomorphism
More informationUniversal algebra for CSP Lecture 2
Universal algebra for CSP Lecture 2 Ross Willard University of Waterloo Fields Institute Summer School June 26 30, 2011 Toronto, Canada R. Willard (Waterloo) Universal algebra Fields Institute 2011 1 /
More informationCounting Quantifiers, Subset Surjective Functions, and Counting CSPs
Counting Quantifiers, Subset Surjective Functions, and Counting CSPs Andrei A. Bulatov, Amir Hedayaty Simon Fraser University ISMVL 2012, Victoria, BC 2/19 Clones, Galois Correspondences, and CSPs Clones
More informationFixed-parameter Approximability of Boolean MinCSPs
Fixed-parameter Approximability of Boolean MinCSPs Édouard Bonnet, László Egri, and Dániel Marx Institute for Computer Science and Control, Hungarian Academy of Sciences, Budapest, Hungary (MTA SZTAKI)
More informationLecture 16: Constraint Satisfaction Problems
A Theorist s Toolkit (CMU 18-859T, Fall 2013) Lecture 16: Constraint Satisfaction Problems 10/30/2013 Lecturer: Ryan O Donnell Scribe: Neal Barcelo 1 Max-Cut SDP Approximation Recall the Max-Cut problem
More information14w5136 Algebraic and Model Theoretical Methods in Constraint Satisfaction
14w5136 Algebraic and Model Theoretical Methods in Constraint Satisfaction Manuel Bodirsky (Dresden Technical University) Andrei Bulatov (Simon Fraser University) Dugald MacPherson (University of Leeds)
More informationThe Complexity of Constraint Satisfaction Games and QCSP
The Complexity of Constraint Satisfaction Games and QCSP Ferdinand Börner Institut für Informatik University of Potsdam Potsdam, D-14482, Germany fboerner@rz.uni-potsdam.de Hubie Chen Department of Technology
More informationTime Complexity of Constraint Satisfaction via Universal Algebra
Time Complexity of Constraint Satisfaction via Universal Algebra Peter Jonsson 1, Victor Lagerkvist 2, and Biman Roy 3 1 Department of Computer and Information Science, Linköping University, Linköping,
More informationToward Quandle Dichotomy
Robert McGrail, Mona Merling, Mary Sharac, Japheth Wood Laboratory for Algebraic and Symbolic Computation Reem-Kayden Center for Science and Computation Bard College Annandale-on-Hudson, NY 12504 April
More informationCOMBINATORIAL PROOF THAT SUBPROJECTIVE CONSTRAINT SATISFACTION PROBLEMS ARE NP-COMPLETE
COMBINATORIAL PROOF THAT SUBPROJECTIVE CONSTRAINT SATISFACTION PROBLEMS ARE NP-COMPLETE JAROSLAV NEŠETŘIL AND MARK H. SIGGERS Abstract. We introduce a new general polynomial-time constructionthe fibre
More informationarxiv: v1 [cs.cc] 28 Nov 2011
CONSTRAINT SATISFACTION TRACTABILITY FROM SEMI-LATTICE OPERATIONS ON INFINITE SETS MANUEL BODIRSKY, H. DUGALD MACPHERSON, AND JOHAN THAPPER arxiv:1111.6616v1 [cs.cc] 28 Nov 2011 Abstract. A famous result
More informationQualitative Temporal and Spatial Reasoning Revisited
Qualitative Temporal and Spatial Reasoning Revisited Manuel Bodirsky 1 and Hubie Chen 2 1 Department Algorithms and Complexity, Humboldt-Universität zu Berlin, bodirsky@informatik.hu-berlin.de 2 Departament
More informationCombinatorial Proof that Subprojective Constraint Satisfaction Problems are NP-Complete
Combinatorial Proof that Subprojective Constraint Satisfaction Problems are NP-Complete Jaroslav Nešetřil 1 and Mark Siggers 1 Department of Applied Mathematics and Institute for Theoretical Computer Science
More informationFlexible satisfaction
Flexible satisfaction LCC 2016, Aix-Marseille Université Marcel Jackson A problem and overview A problem in semigroup theory The semigroup B 1 2 ( ) ( ) 1 0 1 0, 0 1 0 0, ( ) 0 1, 0 0 ( ) 0 0, 1 0 ( )
More informationThe Complexity of Approximating Small Degree Boolean #CSP
The Complexity of Approximating Small Degree Boolean #CSP Pinyan Lu, ITCS@SUFE Institute for Theoretical Computer Science Shanghai University of Finance and Economics Counting CSP F (Γ) is a family of
More informationTHE COMPLEXITY OF ROOTED PHYLOGENY PROBLEMS
THE COMPLEXITY OF ROOTED PHYLOGENY PROBLEMS MANUEL BODIRSKY AND JENS K. MUELLER CNRS/LIX, École Polytechnique, Palaiseau, France e-mail address: bodirsky@lix.polytechnique.fr Friedrich-Schiller-University,
More informationMAL TSEV CONSTRAINTS MADE SIMPLE
Electronic Colloquium on Computational Complexity, Report No. 97 (2004) MAL TSEV CONSTRAINTS MADE SIMPLE Departament de Tecnologia, Universitat Pompeu Fabra Estació de França, Passeig de la circumval.lació,
More informationTutorial on Universal Algebra, Mal cev Conditions, and Finite Relational Structures: Lecture I
Tutorial on Universal Algebra, Mal cev Conditions, and Finite Relational Structures: Lecture I Ross Willard University of Waterloo, Canada BLAST 2010 Boulder, June 2010 Ross Willard (Waterloo) Universal
More informationTHE WONDERLAND OF REFLECTIONS
THE WONDERLAND OF REFLECTIONS LIBOR BARTO, JAKUB OPRŠAL, AND MICHAEL PINSKER Abstract. A fundamental fact for the algebraic theory of constraint satisfaction problems (CSPs) over a fixed template is that
More informationConstraint satisfaction problems and dualities
Andrei Krokhin - CSPs and dualities 1 Constraint satisfaction problems and dualities Andrei Krokhin University of Durham Andrei Krokhin - CSPs and dualities 2 The CSP The Constraint Satisfaction (or Homomorphism)
More informationTrichotomy Results on the Complexity of Reasoning with Disjunctive Logic Programs
Trichotomy Results on the Complexity of Reasoning with Disjunctive Logic Programs Mirosław Truszczyński Department of Computer Science, University of Kentucky, Lexington, KY 40506, USA Abstract. We present
More informationWeak bases of Boolean co-clones
Weak bases of Boolean co-clones Victor Lagerkvist Linköping University Post Print N.B.: When citing this work, cite the original article. Original Publication: Victor Lagerkvist, Weak bases of Boolean
More informationCaterpillar duality for CSP. C. Carvalho (UoD), V. Dalmau (UPF) and A. Krokhin (UoD)
Caterpillar duality for CSP C. Carvalho (UoD), V. Dalmau (UPF) and A. Krokhin (UoD) Motivation The following problems Scheduling; System of linear equations; Drawing up a timetable; Check the satisfiability
More informationGraphs, Polymorphisms, and Multi-Sorted Structures
Graphs, Polymorphisms, and Multi-Sorted Structures Ross Willard University of Waterloo NSAC 2013 University of Novi Sad June 6, 2013 Ross Willard (Waterloo) Graphs, Polymorphisms, Multi-Sorted Struc NSAC
More informationMANUEL BODIRSKY AND JAN KÁRA
A FAST ALGORITHM AND DATALOG INEXPRESSIBILITY FOR TEMPORAL REASONING arxiv:0805.1473v2 [cs.ai] 11 Apr 2009 MANUEL BODIRSKY AND JAN KÁRA Humboldt-Universität zu Berlin, Germany E-mail address: bodirsky@informatik.hu-berlin.de
More informationarxiv:cs/ v1 [cs.cc] 13 Jun 2006
Approximability of Bounded Occurrence Max Ones Fredrik Kuivinen Department of Computer and Information Science, Linköpings Universitet, S-581 83 Linköping, Sweden, freku@ida.liu.se ariv:cs/0606057v1 [cs.cc]
More informationPrecise Upper and Lower bounds for the Monotone Constraint Satisfaction Problem
Precise Upper and Lower bounds for the Monotone Constraint Satisfaction Problem Victor Lagerkvist 1 Department of Computer and Information Science, Linköping University, Sweden victor.lagerkvist@liu.se
More informationThe approximability of Max CSP with fixed-value constraints
The approximability of Max CSP with fixed-value constraints Vladimir Deineko Warwick Business School University of Warwick, UK Vladimir.Deineko@wbs.ac.uk Mikael Klasson Dep t of Computer and Information
More informationEasy and hard homogenizable structures
Ove Ahlman, Uppsala University Logic Colloquium 2017 14 August 2017 Table of Contents Homogenizable structures Throughout this talk I will only consider structures with a finite relational signature. Definition
More informationThe Complexity of Satisfiability Problems: Refining Schaefer s Theorem
The Complexity of Satisfiability Problems: Refining Schaefer s Theorem Eric Allender 1, Michael Bauland 2, Neil Immerman 3, Henning Schnoor 4, and Heribert Vollmer 5 1 Department of Computer Science, Rutgers
More informationSimple homogeneous structures
Department of Mathematics Uppsala University Logic Colloquium, 3-8 August 2015, Helsinki Introduction Homogeneous structures have interesting properties from a model theoretic point of view. They also
More informationThe Computational Structure of Monotone Monadic SNP and Constraint Satisfaction: A Study through Datalog and Group Theory
The Computational Structure of Monotone Monadic SNP and Constraint Satisfaction: A Study through Datalog and Group Theory Tomás Feder Moshe Y. Vardi IBM Almaden Research Center 650 Harry Road San Jose,
More informationConstraint Satisfaction. Complexity. and. Logic. Phokion G. Kolaitis. IBM Almaden Research Center & UC Santa Cruz
Constraint Satisfaction Complexity and Logic Phokion G. Kolaitis IBM Almaden Research Center & UC Santa Cruz 1 Goals Goals: Show that Constraint Satisfaction Problems (CSP) form a broad class of algorithmic
More informationQuandles and the Towers of Hanoi
The the Bob Laboratory for Algebraic and Symbolic Computation Reem-Kayden Center for Science and Computation Bard College Annandale-on-Hudson, NY 12504 August 8, 2011 The 1 2 3 4 The The Figure Eight (4
More informationThe Complexity of Default Logic on Generalized Conjunctive Queries
The Complexity of Default Logic on Generalized Conjunctive Queries Philippe Chapdelaine 1, Miki Hermann 2, and Ilka Schnoor 3 1 GREYC (UMR 6072), Université de Caen, France. pchapdel@info.unicaen.fr 2
More informationA FINER REDUCTION OF CONSTRAINT PROBLEMS TO DIGRAPHS
Logical Methods in Computer Science Vol. 11(4:18)2015, pp. 1 33 www.lmcs-online.org Submitted Jun. 24, 2014 Published Dec. 29, 2015 A FINER REDUCTION OF CONSTRAINT PROBLEMS TO DIGRAPHS JAKUB BULÍN a, DEJAN
More informationMAX ONES GENERALISED TO LARGER DOMAINS
MAX ONES GENERALISED TO LARGER DOMAINS PETER JONSSON, FREDRIK KUIVINEN, AND GUSTAV NORDH Abstract. We study a family of problems, called Maximum Solution, where the objective is to maximise a linear goal
More informationPromise constraint satisfaction
Promise constraint satisfaction Jakub Opršal (TU Dresden) Joint work with Jakub Bulín, Andrei Krokhin, and others Krkonoše, Sep 4, 2018 This project has received funding from the European Research Council
More informationClonoids and Promise CSP
Clonoids and Promise CSP Jakub Buĺın JKU Linz AAA94 & NSAC 2017 Research supported by University of Colorado Boulder and the Austrian Science Fund (FWF): P29931 In this talk... A more general framework
More informationDualities for Constraint Satisfaction Problems
Dualities for Constraint Satisfaction Problems Andrei Bulatov 1, Andrei Krokhin 2, and Benoit Larose 3 1 School of Computing Science Simon Fraser University Burnaby, BC, Canada, V5A 1S6 abulatov@cs.sfu.ca
More informationSupermodular Functions and the Complexity of Max CSP
Supermodular Functions and the Complexity of Max CSP David Cohen a, Martin Cooper b, Peter Jeavons c, Andrei Krokhin d, a Department of Computer Science, Royal Holloway, University of London, Egham, Surrey,
More informationProof Complexity of Constraint Satisfaction Problems,
Proof Complexity of Constraint Satisfaction Problems joint work with Albert Atserias Université Paris Diderot - Paris 7 Finite and Algorithmic Model Theory Dagstuhl, 7th September 2017 (CSP problem) P
More informationProof Complexity Meets Algebra
ICALP 17, Warsaw 11th July 2017 (CSP problem) P 3-COL S resolution (proof system) Proofs in S of the fact that an instance of P is unsatisfiable. Resolution proofs of a graph being not 3-colorable. Standard
More informationComputability in the class of Real Closed Fields
Computability in the class of Real Closed Fields Víctor A. Ocasio-González Department of Mathematics University of Notre Dame MCS @ UChicago Oct. 1, 2013 Outline 1 Turing computable embeddings 2 Categoricity
More informationON THE SCOPE OF THE UNIVERSAL-ALGEBRAIC APPROACH TO CONSTRAINT SATISFACTION
Logical Methods in Computer Science Vol. 8 (3:13) 2012, pp. 1 30 www.lmcs-online.org Submitted Jan. 17, 2011 Published Sep. 12, 2012 ON THE SCOPE OF THE UNIVERSAL-ALGEBRAIC APPROACH TO CONSTRAINT SATISFACTION
More informationProof Complexity Meets Algebra,
Proof Complexity Meets Algebra joint work with Albert Atserias Université Paris Diderot - Paris 7 Logical Structures in Computation Reunion Workshop Simons Institute, 13th December 2017 (CSP problem) P
More informationCounting quantifiers, subset surjective functions, and counting CSPs
Counting quantifiers, subset surjective functions, and counting CSPs Andrei A. Bulatov Amir Hedayaty 1 Abstract We introduce a new type of closure operator on the set of relations, max-implementation,
More informationIntroduction. Itaï Ben-Yaacov C. Ward Henson. September American Institute of Mathematics Workshop. Continuous logic Continuous model theory
Itaï Ben-Yaacov C. Ward Henson American Institute of Mathematics Workshop September 2006 Outline Continuous logic 1 Continuous logic 2 The metric on S n (T ) Origins Continuous logic Many classes of (complete)
More informationA SUBALGEBRA INTERSECTION PROPERTY FOR CONGRUENCE DISTRIBUTIVE VARIETIES
A SUBALGEBRA INTERSECTION PROPERTY FOR CONGRUENCE DISTRIBUTIVE VARIETIES MATTHEW A. VALERIOTE Abstract. We prove that if a finite algebra A generates a congruence distributive variety then the subalgebras
More informationCounting problems and clones of functions
Counting problems and clones of functions Andrei A. Bulatov and Amir Hedayaty Simon Fraser University, abulatov@cs.sfu.ca, hedayaty@gmail.com Abstract. Counting solutions of various combinatorial problems
More informationVarieties of Heyting algebras and superintuitionistic logics
Varieties of Heyting algebras and superintuitionistic logics Nick Bezhanishvili Institute for Logic, Language and Computation University of Amsterdam http://www.phil.uu.nl/~bezhanishvili email: N.Bezhanishvili@uva.nl
More informationI-Indexed Indiscernible Sets and Trees
1 / 20 I-Indexed Indiscernible Sets and Trees Lynn Scow Vassar College Harvard/MIT Logic Seminar December 3, 2013 2 / 20 Outline 1 background 2 the modeling property 3 a dictionary theorem 3 / 20 order
More informationEnumerating Homomorphisms
Enumerating Homomorphisms Andrei A. Bulatov School of Computing Science, Simon Fraser University, Burnaby, Canada Víctor Dalmau 1, Department of Information and Communication Technologies, Universitat
More informationFiner complexity of Constraint Satisfaction Problems with Maltsev Templates
Finer complexity of Constraint Satisfaction Problems with Maltsev Templates Dejan Delic Department of Mathematics Ryerson University Toronto, Canada joint work with A. Habte (Ryerson University) May 24,
More informationDiscrete-Time Temporal Reasoning with Horn DLRs
Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence Discrete-Time Temporal Reasoning with Horn DLRs Peter Jonsson & Tomas Lööw Department of Computer and Information
More informationTrichotomies in the Complexity of Minimal Inference
Trichotomies in the Complexity of Minimal Inference Arnaud Durand ELM (CNRS FRE 3233) Université Denis-Diderot Paris 7 75251 Paris cedex 05, France durand@logique.jussieu.fr Miki Hermann LIX (CNRS UMR
More informationOn Frankl conjecture. Coherence in predicate logic. Algebraic theory of fuzzy languages and automata
On Frankl conjecture Vladimir Božin University of Warwick, Coventry, United Kingdom bozin@maths.warwick.ac.uk Frankl conjecture states that for every finite family of sets closed under intersections there
More informationClassification Transfer for Qualitative Reasoning Problems
Classification Transfer for Qualitative Reasoning Problems Manuel Bodirsky 1, Peter Jonsson 2 e, Barnaby Martin 3, Antoine Mottet 1 1 Institut für Algebra, TU Dresden, Germany 2 Dept. of Computer and Information
More informationSupermodular functions and the complexity of MAX CSP
Discrete Applied Mathematics 149 (2005) 53 72 www.elsevier.com/locate/dam Supermodular functions and the complexity of MAX CSP David Cohen a, Martin Cooper b, Peter Jeavons c, Andrei Krokhin d, a Department
More informationTaylor operations on finite reflexive structures
International Journal of Mathematics and Computer Science, 1(2006), 1-21 M CS Taylor operations on finite reflexive structures Benoit Larose Department of Mathematics and Statistics Concordia University
More informationAlgebras with finite descriptions
Algebras with finite descriptions André Nies The University of Auckland July 19, 2005 Part 1: FA-presentability A countable structure in a finite signature is finite-automaton presentable (or automatic)
More informationMorley s Proof. Winnipeg June 3, 2007
Modern Model Theory Begins Theorem (Morley 1965) If a countable first order theory is categorical in one uncountable cardinal it is categorical in all uncountable cardinals. Outline 1 2 3 SELF-CONSCIOUS
More informationEnumeration: logical and algebraic approach
Enumeration: logical and algebraic approach Yann Strozecki Université Paris Sud - Paris 11 Novembre 2011, séminaire ALGO/LIX Introduction to Enumeration Enumeration and logic Enumeration and polynomials
More informationSplitting the Computational Universe
Splitting the Computational Universe s Theorem Definition Existential Second Order Logic (ESO) is the collection of all statements of the form: ( S )Φ(S, S ) s Theorem Definition Existential Second Order
More informationHandbook of Logic and Proof Techniques for Computer Science
Steven G. Krantz Handbook of Logic and Proof Techniques for Computer Science With 16 Figures BIRKHAUSER SPRINGER BOSTON * NEW YORK Preface xvii 1 Notation and First-Order Logic 1 1.1 The Use of Connectives
More informationAn introduction to Parameterized Complexity Theory
An introduction to Parameterized Complexity Theory May 15, 2012 A motivation to parametrize Definitions Standard Complexity Theory does not distinguish between the distinct parts of the input. It categorizes
More informationMinimization for Generalized Boolean Formulas
Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence Minimization for Generalized Boolean Formulas Edith Hemaspaandra Department of Computer Science Rochester Institute
More informationAuthor manuscript, published in "27th International Symposium on Theoretical Aspects of Computer Science - STACS 2010 (2010) "
Author manuscript, published in "27th International Symposium on Theoretical Aspects of Computer Science - STACS 2010 (2010) 335-346" Symposium on Theoretical Aspects of Computer Science 2010 (Nancy, France),
More informationElementary Equivalence in Finite Structures
Elementary Equivalence in Finite Structures Anuj Dawar University of Cambridge Computer Laboratory YuriFest, Berlin, 11 September 2015 When I First Met Yuri When I was a graduate student, I sent Yuri a
More informationTHE COMPLEXITY OF GENERAL-VALUED CSPs
SIAM J. COMPUT. Vol. 46, No. 3, pp. 1087 1110 c 2017 Society for Industrial and Applied Mathematics THE COMPLEXITY OF GENERAL-VALUED CSPs VLADIMIR KOLMOGOROV, ANDREI KROKHIN, AND MICHAL ROLÍNEK Abstract.
More informationAffine Systems of Equations and Counting Infinitary Logic
Affine Systems of Equations and Counting Infinitary Logic Albert Atserias Andrei Bulatov Anu Dawar October 22, 2007 Abstract We study the definability of constraint satisfaction problems (CSP) in various
More informationA Proof of CSP Dichotomy Conjecture
58th Annual IEEE Symposium on Foundations of Computer Science A Proof of CSP Dichotomy Conjecture Dmitriy Zhuk Department of Mechanics and Mathematics Lomonosov Moscow State University Moscow, Russia Email:
More information