universal algebra and the constraint satisfaction problembarto/articles/asl_barto.pdf · constraint...

106
Universal algebra and the constraint satisfaction problem Libor Barto Charles University in Prague ASL North American Annual Meeting University of Colorado, 20 May 2014

Upload: others

Post on 02-Jan-2021

6 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

Universal algebra and the constraint satisfactionproblem

Libor Barto

Charles University in Prague

ASL North American Annual MeetingUniversity of Colorado, 20 May 2014

Page 2: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

Constraint satisfaction problem (CSP)

I Common framework for many practical problems

I This is the last time when the word “practical” appearsI Common framework for some computational problems

I Broad enough to include interesting examplesI Narrow enough to make significant progress (on all problems

within a class, rather than just a single computational problem)

I Main achievement: better understanding why problems areeasy or hard:

I Hardness comes from lack of symmetryI Symmetries of higher arity are important

(not just automorphisms or endomorphisms)→ universal algebra (not just group or semigroup theory)

I Long term goal: go beyond CSP

Page 3: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

Constraint satisfaction problem (CSP)

I Common framework for many practical problems

I This is the last time when the word “practical” appears

I Common framework for some computational problems

I Broad enough to include interesting examplesI Narrow enough to make significant progress (on all problems

within a class, rather than just a single computational problem)

I Main achievement: better understanding why problems areeasy or hard:

I Hardness comes from lack of symmetryI Symmetries of higher arity are important

(not just automorphisms or endomorphisms)→ universal algebra (not just group or semigroup theory)

I Long term goal: go beyond CSP

Page 4: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

Constraint satisfaction problem (CSP)

I Common framework for some computational problemsI Broad enough to include interesting examplesI Narrow enough to make significant progress (on all problems

within a class, rather than just a single computational problem)

I Main achievement: better understanding why problems areeasy or hard:

I Hardness comes from lack of symmetryI Symmetries of higher arity are important

(not just automorphisms or endomorphisms)→ universal algebra (not just group or semigroup theory)

I Long term goal: go beyond CSP

Page 5: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

Constraint satisfaction problem (CSP)

I Common framework for some computational problemsI Broad enough to include interesting examplesI Narrow enough to make significant progress (on all problems

within a class, rather than just a single computational problem)

I Main achievement: better understanding why problems areeasy or hard:

I Hardness comes from lack of symmetryI Symmetries of higher arity are important

(not just automorphisms or endomorphisms)→ universal algebra (not just group or semigroup theory)

I Long term goal: go beyond CSP

Page 6: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

Constraint satisfaction problem (CSP)

I Common framework for some computational problemsI Broad enough to include interesting examplesI Narrow enough to make significant progress (on all problems

within a class, rather than just a single computational problem)

I Main achievement: better understanding why problems areeasy or hard:

I Hardness comes from lack of symmetryI Symmetries of higher arity are important

(not just automorphisms or endomorphisms)→ universal algebra (not just group or semigroup theory)

I Long term goal: go beyond CSP

Page 7: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

Constraint satisfaction problem (CSP)

I Common framework for some computational problemsI Broad enough to include interesting examplesI Narrow enough to make significant progress (on all problems

within a class, rather than just a single computational problem)

I Main achievement: better understanding why problems areeasy or hard:

I Hardness comes from lack of symmetryI Symmetries of higher arity are important

(not just automorphisms or endomorphisms)→ universal algebra (not just group or semigroup theory)

I Long term goal: go beyond CSP

Page 8: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

Instance of the CSP

Definition

Instance of the CSP is a list of constraints – expression of the formR1(x , y , z), R2(t, z), R1(y , y , z), . . .

where Ri are relations on a common domain A(subsets of Ak or mappings Ak → {true, false}).

Assignment = mapping variables → domain

I Decision CSP: Is there an assignment satisfying allconstraints (a solution)

I Search problem: Find a solutionI Counting CSP: How many solutions are there?I Max-CSP: Find a map satisfying maximum number of

constraintsI Approx. Max-CSP:I Robust CSP: Find an almost satifying assignment given an

almost satisfiable instance

Page 9: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

Instance of the CSP

Definition

Instance of the CSP is a list of constraints – expression of the formR1(x , y , z), R2(t, z), R1(y , y , z), . . .

where Ri are relations on a common domain A(subsets of Ak or mappings Ak → {true, false}).

Assignment = mapping variables → domain

I Decision CSP: Is there an assignment satisfying allconstraints (a solution)

I Search problem: Find a solutionI Counting CSP: How many solutions are there?I Max-CSP: Find a map satisfying maximum number of

constraintsI Approx. Max-CSP:I Robust CSP: Find an almost satifying assignment given an

almost satisfiable instance

Page 10: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

Instance of the CSP

Definition

Instance of the CSP is a list of constraints – expression of the formR1(x , y , z), R2(t, z), R1(y , y , z), . . .

where Ri are relations on a common domain A(subsets of Ak or mappings Ak → {true, false}).

Assignment = mapping variables → domain

I Decision CSP: Is there an assignment satisfying allconstraints (a solution)

I Search problem: Find a solution

I Counting CSP: How many solutions are there?I Max-CSP: Find a map satisfying maximum number of

constraintsI Approx. Max-CSP:I Robust CSP: Find an almost satifying assignment given an

almost satisfiable instance

Page 11: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

Instance of the CSP

Definition

Instance of the CSP is a list of constraints – expression of the formR1(x , y , z), R2(t, z), R1(y , y , z), . . .

where Ri are relations on a common domain A(subsets of Ak or mappings Ak → {true, false}).

Assignment = mapping variables → domain

I Decision CSP: Is there an assignment satisfying allconstraints (a solution)

I Search problem: Find a solutionI Counting CSP: How many solutions are there?

I Max-CSP: Find a map satisfying maximum number ofconstraints

I Approx. Max-CSP:I Robust CSP: Find an almost satifying assignment given an

almost satisfiable instance

Page 12: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

Instance of the CSP

Definition

Instance of the CSP is a list of constraints – expression of the formR1(x , y , z), R2(t, z), R1(y , y , z), . . .

where Ri are relations on a common domain A(subsets of Ak or mappings Ak → {true, false}).

Assignment = mapping variables → domain

I Decision CSP: Is there an assignment satisfying allconstraints (a solution)

I Search problem: Find a solutionI Counting CSP: How many solutions are there?I Max-CSP: Find a map satisfying maximum number of

constraints

I Approx. Max-CSP:I Robust CSP: Find an almost satifying assignment given an

almost satisfiable instance

Page 13: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

Instance of the CSP

Definition

Instance of the CSP is a list of constraints – expression of the formR1(x , y , z), R2(t, z), R1(y , y , z), . . .

where Ri are relations on a common domain A(subsets of Ak or mappings Ak → {true, false}).

Assignment = mapping variables → domain

I Decision CSP: Is there an assignment satisfying allconstraints (a solution)

I Search problem: Find a solutionI Counting CSP: How many solutions are there?I Max-CSP: Find a map satisfying maximum number of

constraintsI Approx. Max-CSP: Find a map satisfying 0.7× Optimum

constraints

I Robust CSP: Find an almost satifying assignment given analmost satisfiable instance

Page 14: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

Instance of the CSP

Definition

Instance of the CSP is a list of constraints – expression of the formR1(x , y , z), R2(t, z), R1(y , y , z), . . .

where Ri are relations on a common domain A(subsets of Ak or mappings Ak → {true, false}).

Assignment = mapping variables → domain

I Decision CSP: Is there an assignment satisfying allconstraints (a solution)

I Search problem: Find a solutionI Counting CSP: How many solutions are there?I Max-CSP: Find a map satisfying maximum number of

constraintsI Approx. Max-CSP: or: Find a map satisfying 0.3-fraction

of constraints given 0.6-satisfiable instance

I Robust CSP: Find an almost satifying assignment given analmost satisfiable instance

Page 15: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

Instance of the CSP

Definition

Instance of the CSP is a list of constraints – expression of the formR1(x , y , z), R2(t, z), R1(y , y , z), . . .

where Ri are relations on a common domain A(subsets of Ak or mappings Ak → {true, false}).

Assignment = mapping variables → domain

I Decision CSP: Is there an assignment satisfying allconstraints (a solution)

I Search problem: Find a solutionI Counting CSP: How many solutions are there?I Max-CSP: Find a map satisfying maximum number of

constraintsI Approx. Max-CSP: or: Find a map satisfying 0.3-fraction

of constraints given 0.6-satisfiable instanceI Robust CSP: Find an almost satifying assignment given an

almost satisfiable instance

Page 16: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

CSP over a structure (aka constraint language)

Interesting subproblems ... restrict the set of allowed relations

Definition

A = (A; R1,R2, . . . ): relational structure with A finiteInstance of CSP(A): Expression of the form

R1(x , y , z), R2(t, z), R1(y , y , z), . . .where each Ri is in A.

Examples:

I 3-SAT : A = ({0, 1}; x ∨ y ∨ z , x ∨ y ∨ ¬z , . . . )

I 3-COL: A = ({0, 1, 2}; x 6= y)

I HORN-3-SAT : A = ({0, 1}; x ,¬x , x ∧ y → z)

I q-LIN: A = (GF (q); affine subspaces).

I Digraph reachability: A = ({0, 1}; x ,¬x , x ≤ y)

I Graph reachability: A = ({0, 1}, x ,¬x , x = y)

Page 17: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

CSP over a structure (aka constraint language)

Definition

A = (A; R1,R2, . . . ): relational structure with A finiteInstance of CSP(A): Expression of the form

R1(x , y , z), R2(t, z), R1(y , y , z), . . .where each Ri is in A.

Examples:

I 3-SAT : A = ({0, 1}; x ∨ y ∨ z , x ∨ y ∨ ¬z , . . . )

I 3-COL: A = ({0, 1, 2}; x 6= y)

I HORN-3-SAT : A = ({0, 1}; x ,¬x , x ∧ y → z)

I q-LIN: A = (GF (q); affine subspaces).

I Digraph reachability: A = ({0, 1}; x ,¬x , x ≤ y)

I Graph reachability: A = ({0, 1}, x ,¬x , x = y)

Page 18: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

CSP over a structure (aka constraint language)

Definition

A = (A; R1,R2, . . . ): relational structure with A finiteInstance of CSP(A): Expression of the form

R1(x , y , z), R2(t, z), R1(y , y , z), . . .where each Ri is in A.

I What is the computational complexity for fixed A?

I This talk: Mainly decision CSP(A)I Other interesting problems:

I restrict something else than the set of allowed relationsI allow infinite AI allow weighted relations: mappigs Ak → Q ∪ {∞}I (approximate) counting, Max-CSP, Approx Max-CSP

Examples:

I 3-SAT : A = ({0, 1}; x ∨ y ∨ z , x ∨ y ∨ ¬z , . . . )I 3-COL: A = ({0, 1, 2}; x 6= y)I HORN-3-SAT : A = ({0, 1}; x ,¬x , x ∧ y → z)I q-LIN: A = (GF (q); affine subspaces).I Digraph reachability: A = ({0, 1}; x ,¬x , x ≤ y)I Graph reachability: A = ({0, 1}, x ,¬x , x = y)

Page 19: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

CSP over a structure (aka constraint language)

Definition

A = (A; R1,R2, . . . ): relational structure with A finiteInstance of CSP(A): Expression of the form

R1(x , y , z), R2(t, z), R1(y , y , z), . . .where each Ri is in A.

I What is the computational complexity for fixed A?I This talk: Mainly decision CSP(A)

I Other interesting problems:I restrict something else than the set of allowed relationsI allow infinite AI allow weighted relations: mappigs Ak → Q ∪ {∞}I (approximate) counting, Max-CSP, Approx Max-CSP

Examples:

I 3-SAT : A = ({0, 1}; x ∨ y ∨ z , x ∨ y ∨ ¬z , . . . )I 3-COL: A = ({0, 1, 2}; x 6= y)I HORN-3-SAT : A = ({0, 1}; x ,¬x , x ∧ y → z)I q-LIN: A = (GF (q); affine subspaces).I Digraph reachability: A = ({0, 1}; x ,¬x , x ≤ y)I Graph reachability: A = ({0, 1}, x ,¬x , x = y)

Page 20: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

CSP over a structure (aka constraint language)

Definition

A = (A; R1,R2, . . . ): relational structure with A finiteInstance of CSP(A): Expression of the form

R1(x , y , z), R2(t, z), R1(y , y , z), . . .where each Ri is in A.

I What is the computational complexity for fixed A?I This talk: Mainly decision CSP(A)I Other interesting problems:

I restrict something else than the set of allowed relationsI allow infinite AI allow weighted relations: mappigs Ak → Q ∪ {∞}I (approximate) counting, Max-CSP, Approx Max-CSP

Examples:

I 3-SAT : A = ({0, 1}; x ∨ y ∨ z , x ∨ y ∨ ¬z , . . . )I 3-COL: A = ({0, 1, 2}; x 6= y)I HORN-3-SAT : A = ({0, 1}; x ,¬x , x ∧ y → z)I q-LIN: A = (GF (q); affine subspaces).I Digraph reachability: A = ({0, 1}; x ,¬x , x ≤ y)I Graph reachability: A = ({0, 1}, x ,¬x , x = y)

Page 21: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

CSP over a structure (aka constraint language)

Definition

A = (A; R1,R2, . . . ): relational structure with A finiteInstance of CSP(A): Expression of the form

R1(x , y , z), R2(t, z), R1(y , y , z), . . .where each Ri is in A.

Examples:

I 3-SAT : A = ({0, 1}; x ∨ y ∨ z , x ∨ y ∨ ¬z , . . . )

I 3-COL: A = ({0, 1, 2}; x 6= y)

I HORN-3-SAT : A = ({0, 1}; x ,¬x , x ∧ y → z)

I q-LIN: A = (GF (q); affine subspaces).

I Digraph reachability: A = ({0, 1}; x ,¬x , x ≤ y)

I Graph reachability: A = ({0, 1}, x ,¬x , x = y)

Page 22: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

CSP over a structure (aka constraint language)

Definition

A = (A; R1,R2, . . . ): relational structure with A finiteInstance of CSP(A): Expression of the form

R1(x , y , z), R2(t, z), R1(y , y , z), . . .where each Ri is in A.

Examples:

I 3-SAT : A = ({0, 1}; x ∨ y ∨ z , x ∨ y ∨ ¬z , . . . )

I 3-COL: A = ({0, 1, 2}; x 6= y)

I HORN-3-SAT : A = ({0, 1}; x ,¬x , x ∧ y → z)

I q-LIN: A = (GF (q); affine subspaces).

I Digraph reachability: A = ({0, 1}; x ,¬x , x ≤ y)

I Graph reachability: A = ({0, 1}, x ,¬x , x = y)

Page 23: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

CSP over a structure (aka constraint language)

Definition

A = (A; R1,R2, . . . ): relational structure with A finiteInstance of CSP(A): Expression of the form

R1(x , y , z), R2(t, z), R1(y , y , z), . . .where each Ri is in A.

Examples:

I 3-SAT : A = ({0, 1}; x ∨ y ∨ z , x ∨ y ∨ ¬z , . . . )

I 3-COL: A = ({0, 1, 2}; x 6= y)

I HORN-3-SAT : A = ({0, 1}; x ,¬x , x ∧ y → z)

I q-LIN: A = (GF (q); affine subspaces).

I Digraph reachability: A = ({0, 1}; x ,¬x , x ≤ y)

I Graph reachability: A = ({0, 1}, x ,¬x , x = y)

Page 24: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

CSP over a structure (aka constraint language)

Definition

A = (A; R1,R2, . . . ): relational structure with A finiteInstance of CSP(A): Expression of the form

R1(x , y , z), R2(t, z), R1(y , y , z), . . .where each Ri is in A.

Examples:

I 3-SAT : A = ({0, 1}; x ∨ y ∨ z , x ∨ y ∨ ¬z , . . . )

I 3-COL: A = ({0, 1, 2}; x 6= y)

I HORN-3-SAT : A = ({0, 1}; x ,¬x , x ∧ y → z)

I q-LIN: A = (GF (q); affine subspaces).

I Digraph reachability: A = ({0, 1}; x ,¬x , x ≤ y)

I Graph reachability: A = ({0, 1}, x ,¬x , x = y)

Page 25: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

CSP over a structure (aka constraint language)

Definition

A = (A; R1,R2, . . . ): relational structure with A finiteInstance of CSP(A): Expression of the form

R1(x , y , z), R2(t, z), R1(y , y , z), . . .where each Ri is in A.

Examples:

I 3-SAT : A = ({0, 1}; x ∨ y ∨ z , x ∨ y ∨ ¬z , . . . )

I 3-COL: A = ({0, 1, 2}; x 6= y)

I HORN-3-SAT : A = ({0, 1}; x ,¬x , x ∧ y → z)

I q-LIN: A = (GF (q); affine subspaces).

I Digraph reachability: A = ({0, 1}; x ,¬x , x ≤ y)

I Graph reachability: A = ({0, 1}, x ,¬x , x = y)

Page 26: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

CSP over a structure (aka constraint language)

Definition

A = (A; R1,R2, . . . ): relational structure with A finiteInstance of CSP(A): Expression of the form

R1(x , y , z), R2(t, z), R1(y , y , z), . . .where each Ri is in A.

Examples:

I (NP-c) 3-SAT : A = ({0, 1}; x ∨ y ∨ z , x ∨ y ∨ ¬z , . . . )

I (NP-c) 3-COL: A = ({0, 1, 2}; x 6= y)

I (P-c) HORN-3-SAT : A = ({0, 1}; x ,¬x , x ∧ y → z)

I q-LIN: A = (GF (q); affine subspaces).

I (NL-c) Digraph reachability: A = ({0, 1}; x ,¬x , x ≤ y)

I (L-c) Graph reachability: A = ({0, 1}, x ,¬x , x = y)

Page 27: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

Decision CSP as model checking problem

CSP(A) :Instance: Sentence φ in the language of A with ∃ and ∧Question: Is φ true in A?

What about: Allow some other combination of{∃,∀,∧,∨,¬,=, 6=}.

From 27 cases only 3 interesting (others reduce to these or areboring)

I {∃,∧, (=)} (CSP)open

I {∃,∀,∧, (=)} (qCSP)open

I {∃,∀,∧,∨} (Positive equality free)solved - tetrachotomy P, NP-c, co-NP-c, PSPACE-cB.Martin, F.Madelaine 11

Page 28: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

Decision CSP as model checking problem

CSP(A) :Instance: Sentence φ in the language of A with ∃ and ∧Question: Is φ true in A?

What about: Allow some other combination of{∃,∀,∧,∨,¬,=, 6=}.

From 27 cases only 3 interesting (others reduce to these or areboring)

I {∃,∧, (=)} (CSP)open

I {∃,∀,∧, (=)} (qCSP)open

I {∃,∀,∧,∨} (Positive equality free)solved - tetrachotomy P, NP-c, co-NP-c, PSPACE-cB.Martin, F.Madelaine 11

Page 29: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

Decision CSP as model checking problem

CSP(A) :Instance: Sentence φ in the language of A with ∃ and ∧Question: Is φ true in A?

What about: Allow some other combination of{∃,∀,∧,∨,¬,=, 6=}.

From 27 cases only 3 interesting (others reduce to these or areboring)

I {∃,∧, (=)} (CSP)open

I {∃,∀,∧, (=)} (qCSP)open

I {∃,∀,∧,∨} (Positive equality free)solved - tetrachotomy P, NP-c, co-NP-c, PSPACE-cB.Martin, F.Madelaine 11

Page 30: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

The dichotomy conjecture

A largest natural class of problems with a dichotomy?

Conjecture (The dichotomy conjecture Feder and Vardi’93)

For every A, decision CSP(A) is either in P or NP-complete.

I Evidence (in 93):I True for |A| = 2 Schaefer’78I True if A = (A; R), R is binary and symmetric

Hell and Nesetril’90

I Feder and Vardi suggested that tractability is tied to “closureproperties”

I → algebraic approach Bulatov, Jeavons, Krokhin’00

Page 31: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

The dichotomy conjecture

A largest natural class of problems with a dichotomy?

Conjecture (The dichotomy conjecture Feder and Vardi’93)

For every A, decision CSP(A) is either in P or NP-complete.

I Evidence (in 93):I True for |A| = 2 Schaefer’78I True if A = (A; R), R is binary and symmetric

Hell and Nesetril’90

I Feder and Vardi suggested that tractability is tied to “closureproperties”

I → algebraic approach Bulatov, Jeavons, Krokhin’00

Page 32: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

The dichotomy conjecture

A largest natural class of problems with a dichotomy?

Conjecture (The dichotomy conjecture Feder and Vardi’93)

For every A, decision CSP(A) is either in P or NP-complete.

I Evidence (in 93):I True for |A| = 2 Schaefer’78I True if A = (A; R), R is binary and symmetric

Hell and Nesetril’90

I Feder and Vardi suggested that tractability is tied to “closureproperties”

I → algebraic approach Bulatov, Jeavons, Krokhin’00

Page 33: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

The dichotomy conjecture

A largest natural class of problems with a dichotomy?

Conjecture (The dichotomy conjecture Feder and Vardi’93)

For every A, decision CSP(A) is either in P or NP-complete.

I Evidence (in 93):I True for |A| = 2 Schaefer’78I True if A = (A; R), R is binary and symmetric

Hell and Nesetril’90

I Feder and Vardi suggested that tractability is tied to “closureproperties”

I → algebraic approach Bulatov, Jeavons, Krokhin’00

Page 34: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

The dichotomy conjecture

A largest natural class of problems with a dichotomy?

Conjecture (The dichotomy conjecture Feder and Vardi’93)

For every A, decision CSP(A) is either in P or NP-complete.

I Evidence (in 93):I True for |A| = 2 Schaefer’78I True if A = (A; R), R is binary and symmetric

Hell and Nesetril’90

I Feder and Vardi suggested that tractability is tied to “closureproperties”

I → algebraic approach Bulatov, Jeavons, Krokhin’00

Page 35: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

Disclaimer

Most of the definitions will be imprecise

Almost no theorem is true as stated

Page 36: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

PP and UA

Page 37: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

Simulation

I If A “can simulate” B thenCSP(A) is at least as hard as CSP(B).

I What does simulate mean?

I (Slightly imprecise) answer:“can simulate” means “positively primitively (pp) interprets”

I Special case of pp-interpretability is pp-definability

I Assume A,B have the same domain.A pp-defines B = relations in B definable using

relations in A, and ∃,=,∧.

Page 38: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

Simulation

I If A “can simulate” B thenCSP(A) is at least as hard as CSP(B).

I What does simulate mean?

I (Slightly imprecise) answer:“can simulate” means “positively primitively (pp) interprets”

I Special case of pp-interpretability is pp-definability

I Assume A,B have the same domain.A pp-defines B = relations in B definable using

relations in A, and ∃,=,∧.

Page 39: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

Simulation

I If A “can simulate” B thenCSP(A) is at least as hard as CSP(B).

I What does simulate mean?

I (Slightly imprecise) answer:“can simulate” means “positively primitively (pp) interprets”

I Special case of pp-interpretability is pp-definability

I Assume A,B have the same domain.A pp-defines B = relations in B definable using

relations in A, and ∃,=,∧.

Page 40: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

Simulation

I If A “can simulate” B thenCSP(A) is at least as hard as CSP(B).

I What does simulate mean?

I (Slightly imprecise) answer:“can simulate” means “positively primitively (pp) interprets”

I Special case of pp-interpretability is pp-definability

I Assume A,B have the same domain.A pp-defines B = relations in B definable using

relations in A, and ∃,=,∧.

Page 41: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

Simulation

I If A “can simulate” B thenCSP(A) is at least as hard as CSP(B).

I What does simulate mean?

I (Slightly imprecise) answer:“can simulate” means “positively primitively (pp) interprets”

I Special case of pp-interpretability is pp-definability

I Assume A,B have the same domain.A pp-defines B = relations in B definable using

relations in A, and ∃,=,∧.

Page 42: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

Example of pp-definability

I A = (A; R), where R is ternary

I B = (B; S ,T ), where S is binary and T is unaryI S(x , y) iff (∃z) R(x , y , z) ∧ R(y , y , x)I T (x) iff R(x , x , x)

I Each instance of CSP(B), eg.

T (z), S(x , y)

I can be rewritten to an equivalent instance of CSP(A)

R(z , z , z), R(x , y ,w), R(y , y , x)

I Thus CSP(A) is at least as hard as CSP(B)

Page 43: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

Example of pp-definability

I A = (A; R), where R is ternaryI B = (B; S ,T ), where S is binary and T is unary

I S(x , y) iff (∃z) R(x , y , z) ∧ R(y , y , x)I T (x) iff R(x , x , x)

I Each instance of CSP(B), eg.

T (z), S(x , y)

I can be rewritten to an equivalent instance of CSP(A)

R(z , z , z), R(x , y ,w), R(y , y , x)

I Thus CSP(A) is at least as hard as CSP(B)

Page 44: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

Example of pp-definability

I A = (A; R), where R is ternaryI B = (B; S ,T ), where S is binary and T is unary

I S(x , y) iff (∃z) R(x , y , z) ∧ R(y , y , x)I T (x) iff R(x , x , x)

I Each instance of CSP(B), eg.

T (z), S(x , y)

I can be rewritten to an equivalent instance of CSP(A)

R(z , z , z), R(x , y ,w), R(y , y , x)

I Thus CSP(A) is at least as hard as CSP(B)

Page 45: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

Example of pp-definability

I A = (A; R), where R is ternaryI B = (B; S ,T ), where S is binary and T is unary

I S(x , y) iff (∃z) R(x , y , z) ∧ R(y , y , x)I T (x) iff R(x , x , x)

I Each instance of CSP(B), eg.

T (z), S(x , y)

I can be rewritten to an equivalent instance of CSP(A)

R(z , z , z), R(x , y ,w), R(y , y , x)

I Thus CSP(A) is at least as hard as CSP(B)

Page 46: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

Example of pp-definability

I A = (A; R), where R is ternaryI B = (B; S ,T ), where S is binary and T is unary

I S(x , y) iff (∃z) R(x , y , z) ∧ R(y , y , x)I T (x) iff R(x , x , x)

I Each instance of CSP(B), eg.

T (z), S(x , y)

I can be rewritten to an equivalent instance of CSP(A)

R(z , z , z), R(x , y ,w), R(y , y , x)

I Thus CSP(A) is at least as hard as CSP(B)

Page 47: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

pp-interpretation, the borderline?

I A pp-interprets B if

I The domain of B is a pp-definable subset of Ak modulo app-definable equivalence

I The relations of B are “pp-definable” from A(m-ary relation on B is defined as a km-ary relation on A)

I If A pp-interprets the structure corresponding to 3-SATthen CSP(A) is NP-complete BJK

I This explains NP-completness for all known NP-completeCSPs...

Conjecture (The algebraic dichotomy conjecture Bulatov,Jeavons, Krokhin)

If A does not interpret 3-SAT then CSP(A) is in P.

Similar conjectures and hardness results about L, NLLarose, Tesson

Page 48: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

pp-interpretation, the borderline?

I A pp-interprets B ifI The domain of B is a pp-definable subset of Ak modulo a

pp-definable equivalence

I The relations of B are “pp-definable” from A(m-ary relation on B is defined as a km-ary relation on A)

I If A pp-interprets the structure corresponding to 3-SATthen CSP(A) is NP-complete BJK

I This explains NP-completness for all known NP-completeCSPs...

Conjecture (The algebraic dichotomy conjecture Bulatov,Jeavons, Krokhin)

If A does not interpret 3-SAT then CSP(A) is in P.

Similar conjectures and hardness results about L, NLLarose, Tesson

Page 49: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

pp-interpretation, the borderline?

I A pp-interprets B ifI The domain of B is a pp-definable subset of Ak modulo a

pp-definable equivalenceI The relations of B are “pp-definable” from A

(m-ary relation on B is defined as a km-ary relation on A)

I If A pp-interprets the structure corresponding to 3-SATthen CSP(A) is NP-complete BJK

I This explains NP-completness for all known NP-completeCSPs...

Conjecture (The algebraic dichotomy conjecture Bulatov,Jeavons, Krokhin)

If A does not interpret 3-SAT then CSP(A) is in P.

Similar conjectures and hardness results about L, NLLarose, Tesson

Page 50: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

pp-interpretation, the borderline?

I A pp-interprets B ifI The domain of B is a pp-definable subset of Ak modulo a

pp-definable equivalenceI The relations of B are “pp-definable” from A

(m-ary relation on B is defined as a km-ary relation on A)

I If A pp-interprets the structure corresponding to 3-SATthen CSP(A) is NP-complete BJK

I This explains NP-completness for all known NP-completeCSPs...

Conjecture (The algebraic dichotomy conjecture Bulatov,Jeavons, Krokhin)

If A does not interpret 3-SAT then CSP(A) is in P.

Similar conjectures and hardness results about L, NLLarose, Tesson

Page 51: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

pp-interpretation, the borderline?

I A pp-interprets B ifI The domain of B is a pp-definable subset of Ak modulo a

pp-definable equivalenceI The relations of B are “pp-definable” from A

(m-ary relation on B is defined as a km-ary relation on A)

I If A pp-interprets the structure corresponding to 3-SATthen CSP(A) is NP-complete BJK

I This explains NP-completness for all known NP-completeCSPs...

Conjecture (The algebraic dichotomy conjecture Bulatov,Jeavons, Krokhin)

If A does not interpret 3-SAT then CSP(A) is in P.

Similar conjectures and hardness results about L, NLLarose, Tesson

Page 52: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

pp-interpretation, the borderline?

I A pp-interprets B ifI The domain of B is a pp-definable subset of Ak modulo a

pp-definable equivalenceI The relations of B are “pp-definable” from A

(m-ary relation on B is defined as a km-ary relation on A)

I If A pp-interprets the structure corresponding to 3-SATthen CSP(A) is NP-complete BJK

I This explains NP-completness for all known NP-completeCSPs...

Conjecture (The algebraic dichotomy conjecture Bulatov,Jeavons, Krokhin)

If A does not interpret 3-SAT then CSP(A) is in P.

Similar conjectures and hardness results about L, NLLarose, Tesson

Page 53: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

pp-interpretation, the borderline?

I A pp-interprets B ifI The domain of B is a pp-definable subset of Ak modulo a

pp-definable equivalenceI The relations of B are “pp-definable” from A

(m-ary relation on B is defined as a km-ary relation on A)

I If A pp-interprets the structure corresponding to 3-SATthen CSP(A) is NP-complete BJK

I This explains NP-completness for all known NP-completeCSPs...

Conjecture (The algebraic dichotomy conjecture Bulatov,Jeavons, Krokhin)

If A does not interpret 3-SAT then CSP(A) is in P.

Similar conjectures and hardness results about L, NLLarose, Tesson

Page 54: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

PP and UA

I Operation t : Ak → A is compatible with relation R ⊆ An, ifR is closed under coordinate-wise application of t.

I Operation t : Ak → A is a polymorphism of A if it iscompatible with every relation in A

polymorphism with k = 1 = endomorphismpolymorphism with k > 1 = higher arity symmetry

I Pol(A) = (A; all polymorphisms of A) ... the algebra ofpolymorphisms

I Old theorem: A pp-defines B iff Pol(A) ⊆ Pol(B)Geiger’68, Bondarchuk, Kaluznin, Kotov, Romov’69

I More generally: A pp-interprets B iff Pol(B) interprets Pol(A)Birkhoff’35, Bodirsky’08

I Interpretations closely connected to central objects of study inUA: varieties and Mal’tsev conditions

Page 55: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

PP and UA

I Operation t : Ak → A is compatible with relation R ⊆ An, ifR is closed under coordinate-wise application of t.

I Operation t : Ak → A is a polymorphism of A if it iscompatible with every relation in A

polymorphism with k = 1 = endomorphismpolymorphism with k > 1 = higher arity symmetry

I Pol(A) = (A; all polymorphisms of A) ... the algebra ofpolymorphisms

I Old theorem: A pp-defines B iff Pol(A) ⊆ Pol(B)Geiger’68, Bondarchuk, Kaluznin, Kotov, Romov’69

I More generally: A pp-interprets B iff Pol(B) interprets Pol(A)Birkhoff’35, Bodirsky’08

I Interpretations closely connected to central objects of study inUA: varieties and Mal’tsev conditions

Page 56: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

PP and UA

I Operation t : Ak → A is compatible with relation R ⊆ An, ifR is closed under coordinate-wise application of t.

I Operation t : Ak → A is a polymorphism of A if it iscompatible with every relation in A

polymorphism with k = 1 = endomorphismpolymorphism with k > 1 = higher arity symmetry

I Pol(A) = (A; all polymorphisms of A) ... the algebra ofpolymorphisms

I Old theorem: A pp-defines B iff Pol(A) ⊆ Pol(B)Geiger’68, Bondarchuk, Kaluznin, Kotov, Romov’69

I More generally: A pp-interprets B iff Pol(B) interprets Pol(A)Birkhoff’35, Bodirsky’08

I Interpretations closely connected to central objects of study inUA: varieties and Mal’tsev conditions

Page 57: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

PP and UA

I Operation t : Ak → A is compatible with relation R ⊆ An, ifR is closed under coordinate-wise application of t.

I Operation t : Ak → A is a polymorphism of A if it iscompatible with every relation in A

polymorphism with k = 1 = endomorphismpolymorphism with k > 1 = higher arity symmetry

I Pol(A) = (A; all polymorphisms of A) ... the algebra ofpolymorphisms

I Old theorem: A pp-defines B iff Pol(A) ⊆ Pol(B)Geiger’68, Bondarchuk, Kaluznin, Kotov, Romov’69

I More generally: A pp-interprets B iff Pol(B) interprets Pol(A)Birkhoff’35, Bodirsky’08

I Interpretations closely connected to central objects of study inUA: varieties and Mal’tsev conditions

Page 58: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

PP and UA

I Operation t : Ak → A is compatible with relation R ⊆ An, ifR is closed under coordinate-wise application of t.

I Operation t : Ak → A is a polymorphism of A if it iscompatible with every relation in A

polymorphism with k = 1 = endomorphismpolymorphism with k > 1 = higher arity symmetry

I Pol(A) = (A; all polymorphisms of A) ... the algebra ofpolymorphisms

I Old theorem: A pp-defines B iff Pol(A) ⊆ Pol(B)Geiger’68, Bondarchuk, Kaluznin, Kotov, Romov’69

I More generally: A pp-interprets B iff Pol(B) interprets Pol(A)Birkhoff’35, Bodirsky’08

I Interpretations closely connected to central objects of study inUA: varieties and Mal’tsev conditions

Page 59: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

PP and UA

I Operation t : Ak → A is compatible with relation R ⊆ An, ifR is closed under coordinate-wise application of t.

I Operation t : Ak → A is a polymorphism of A if it iscompatible with every relation in A

polymorphism with k = 1 = endomorphismpolymorphism with k > 1 = higher arity symmetry

I Pol(A) = (A; all polymorphisms of A) ... the algebra ofpolymorphisms

I Old theorem: A pp-defines B iff Pol(A) ⊆ Pol(B)Geiger’68, Bondarchuk, Kaluznin, Kotov, Romov’69

I More generally: A pp-interprets B iff Pol(B) interprets Pol(A)Birkhoff’35, Bodirsky’08

I Interpretations closely connected to central objects of study inUA: varieties and Mal’tsev conditions

Page 60: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

On the algebraic approach

Interpretations closely connected to central objects of study in UA:varieties and Mal’tsev conditions

I Important conditions on A correspond to previously studiedconditions for Pol(A)

I We can use UA to identify interesting special casesI Sometimes operations are directly used in algorithms

Theorem

The following are equivalent.

1. A does not interpret (=cannot simulate) 3-SAT

2. . . .

. . . Taylor, Hobby, McKenzie, Bulatov, Maroti, Siggers, . . .

33. . . .

34. Pol(A) contains an operation t such that t(a, a, . . . , a) = aand t(a1, a2, . . . , ak) = t(a2, . . . , ak , a1) for all a, ai ∈ AB, Kozik’10

Page 61: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

On the algebraic approach

Interpretations closely connected to central objects of study in UA:varieties and Mal’tsev conditions

I Important conditions on A correspond to previously studiedconditions for Pol(A)

I We can use UA to identify interesting special casesI Sometimes operations are directly used in algorithms

Theorem

The following are equivalent.

1. A does not interpret (=cannot simulate) 3-SAT

2. . . .

. . . Taylor, Hobby, McKenzie, Bulatov, Maroti, Siggers, . . .

33. . . .

34. Pol(A) contains an operation t such that t(a, a, . . . , a) = aand t(a1, a2, . . . , ak) = t(a2, . . . , ak , a1) for all a, ai ∈ AB, Kozik’10

Page 62: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

On the algebraic approach

Interpretations closely connected to central objects of study in UA:varieties and Mal’tsev conditions

I Important conditions on A correspond to previously studiedconditions for Pol(A)

I We can use UA to identify interesting special cases

I Sometimes operations are directly used in algorithms

Theorem

The following are equivalent.

1. A does not interpret (=cannot simulate) 3-SAT

2. . . .

. . . Taylor, Hobby, McKenzie, Bulatov, Maroti, Siggers, . . .

33. . . .

34. Pol(A) contains an operation t such that t(a, a, . . . , a) = aand t(a1, a2, . . . , ak) = t(a2, . . . , ak , a1) for all a, ai ∈ AB, Kozik’10

Page 63: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

On the algebraic approach

Interpretations closely connected to central objects of study in UA:varieties and Mal’tsev conditions

I Important conditions on A correspond to previously studiedconditions for Pol(A)

I We can use UA to identify interesting special casesI Sometimes operations are directly used in algorithms

Theorem

The following are equivalent.

1. A does not interpret (=cannot simulate) 3-SAT

2. . . .

. . . Taylor, Hobby, McKenzie, Bulatov, Maroti, Siggers, . . .

33. . . .

34. Pol(A) contains an operation t such that t(a, a, . . . , a) = aand t(a1, a2, . . . , ak) = t(a2, . . . , ak , a1) for all a, ai ∈ AB, Kozik’10

Page 64: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

On the algebraic approach

Interpretations closely connected to central objects of study in UA:varieties and Mal’tsev conditions

I Important conditions on A correspond to previously studiedconditions for Pol(A)

I We can use UA to identify interesting special casesI Sometimes operations are directly used in algorithms

Theorem

The following are equivalent.

1. A does not interpret (=cannot simulate) 3-SAT

2. . . .

. . . Taylor, Hobby, McKenzie, Bulatov, Maroti, Siggers, . . .

33. . . .

34. Pol(A) contains an operation t such that t(a, a, . . . , a) = aand t(a1, a2, . . . , ak) = t(a2, . . . , ak , a1) for all a, ai ∈ AB, Kozik’10

Page 65: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

Results

Page 66: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

Results

I Better understanding of pre-algebraic results

I Far broader special cases solved. The dichotomy conjecture istrue:

I if |A| = 3 Bulatov’06I if |A| = 4 Markovic et al.I if A contains all unary relations Bulatov’03, Barto’11I if A = (A; R) where R is binary, without sources or sinks

Barto, Kozik, Niven’09

I Applicability of known algorithmic principles understood

I Describing all solutionsIdziak, Markovic, McKenzie, Valeriote, Willard’07

I Local consistency (constraint propagation)Barto, Kozik’09, Bulatov

I All known tractable cases solvable by a combination of thesetwo

Page 67: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

Results

I Better understanding of pre-algebraic resultsI Far broader special cases solved. The dichotomy conjecture is

true:I if |A| = 3 Bulatov’06I if |A| = 4 Markovic et al.I if A contains all unary relations Bulatov’03, Barto’11I if A = (A; R) where R is binary, without sources or sinks

Barto, Kozik, Niven’09

I Applicability of known algorithmic principles understood

I Describing all solutionsIdziak, Markovic, McKenzie, Valeriote, Willard’07

I Local consistency (constraint propagation)Barto, Kozik’09, Bulatov

I All known tractable cases solvable by a combination of thesetwo

Page 68: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

Results

I Better understanding of pre-algebraic resultsI Far broader special cases solved. The dichotomy conjecture is

true:I if |A| = 3 Bulatov’06I if |A| = 4 Markovic et al.I if A contains all unary relations Bulatov’03, Barto’11I if A = (A; R) where R is binary, without sources or sinks

Barto, Kozik, Niven’09

I Applicability of known algorithmic principles understood

I Describing all solutionsIdziak, Markovic, McKenzie, Valeriote, Willard’07

I Local consistency (constraint propagation)Barto, Kozik’09, Bulatov

I All known tractable cases solvable by a combination of thesetwo

Page 69: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

Results

I Better understanding of pre-algebraic resultsI Far broader special cases solved. The dichotomy conjecture is

true:I if |A| = 3 Bulatov’06I if |A| = 4 Markovic et al.I if A contains all unary relations Bulatov’03, Barto’11I if A = (A; R) where R is binary, without sources or sinks

Barto, Kozik, Niven’09

I Applicability of known algorithmic principles understoodI Describing all solutions

Idziak, Markovic, McKenzie, Valeriote, Willard’07

I Local consistency (constraint propagation)Barto, Kozik’09, Bulatov

I All known tractable cases solvable by a combination of thesetwo

Page 70: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

Results

I Better understanding of pre-algebraic resultsI Far broader special cases solved. The dichotomy conjecture is

true:I if |A| = 3 Bulatov’06I if |A| = 4 Markovic et al.I if A contains all unary relations Bulatov’03, Barto’11I if A = (A; R) where R is binary, without sources or sinks

Barto, Kozik, Niven’09

I Applicability of known algorithmic principles understoodI Describing all solutions

Idziak, Markovic, McKenzie, Valeriote, Willard’07I Local consistency (constraint propagation)

Barto, Kozik’09, Bulatov

I All known tractable cases solvable by a combination of thesetwo

Page 71: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

Results

I Better understanding of pre-algebraic resultsI Far broader special cases solved. The dichotomy conjecture is

true:I if |A| = 3 Bulatov’06I if |A| = 4 Markovic et al.I if A contains all unary relations Bulatov’03, Barto’11I if A = (A; R) where R is binary, without sources or sinks

Barto, Kozik, Niven’09

I Applicability of known algorithmic principles understoodI Describing all solutions

Idziak, Markovic, McKenzie, Valeriote, Willard’07I Local consistency (constraint propagation)

Barto, Kozik’09, BulatovI All known tractable cases solvable by a combination of these

two

Page 72: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

Local consistency

Roughly: A has bounded width iff CSP(A) can be solved bychecking local consistency

More precisely:

I Fix k ≤ l (integers)

I (k , l)-algorithm: Derive the strongest constraints on kvariables which can be deduced by “considering” l variables ata time.

I If a contradiction is found, answer “no”otherwise answer “yes”

I “no” answers are always correct

I if “yes” answers are correct for every instance of CSP(A)we say that A has width (k, l).

I if A has width (k , l) for some k , l then A has bounded width

Various equivalent formulations (bounded tree width duality,definability in Datalog)

Page 73: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

Local consistency

Roughly: A has bounded width iff CSP(A) can be solved bychecking local consistency

More precisely:

I Fix k ≤ l (integers)

I (k , l)-algorithm: Derive the strongest constraints on kvariables which can be deduced by “considering” l variables ata time.

I If a contradiction is found, answer “no”otherwise answer “yes”

I “no” answers are always correct

I if “yes” answers are correct for every instance of CSP(A)we say that A has width (k, l).

I if A has width (k , l) for some k , l then A has bounded width

Various equivalent formulations (bounded tree width duality,definability in Datalog)

Page 74: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

Local consistency

Roughly: A has bounded width iff CSP(A) can be solved bychecking local consistency

More precisely:

I Fix k ≤ l (integers)

I (k , l)-algorithm: Derive the strongest constraints on kvariables which can be deduced by “considering” l variables ata time.

I If a contradiction is found, answer “no”otherwise answer “yes”

I “no” answers are always correct

I if “yes” answers are correct for every instance of CSP(A)we say that A has width (k, l).

I if A has width (k , l) for some k , l then A has bounded width

Various equivalent formulations (bounded tree width duality,definability in Datalog)

Page 75: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

Local consistency

Roughly: A has bounded width iff CSP(A) can be solved bychecking local consistency

More precisely:

I Fix k ≤ l (integers)

I (k , l)-algorithm: Derive the strongest constraints on kvariables which can be deduced by “considering” l variables ata time.

I If a contradiction is found, answer “no”otherwise answer “yes”

I “no” answers are always correct

I if “yes” answers are correct for every instance of CSP(A)we say that A has width (k, l).

I if A has width (k , l) for some k , l then A has bounded width

Various equivalent formulations (bounded tree width duality,definability in Datalog)

Page 76: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

Local consistency

Roughly: A has bounded width iff CSP(A) can be solved bychecking local consistency

More precisely:

I Fix k ≤ l (integers)

I (k , l)-algorithm: Derive the strongest constraints on kvariables which can be deduced by “considering” l variables ata time.

I If a contradiction is found, answer “no”otherwise answer “yes”

I “no” answers are always correct

I if “yes” answers are correct for every instance of CSP(A)we say that A has width (k, l).

I if A has width (k , l) for some k , l then A has bounded width

Various equivalent formulations (bounded tree width duality,definability in Datalog)

Page 77: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

Local consistency

Roughly: A has bounded width iff CSP(A) can be solved bychecking local consistency

More precisely:

I Fix k ≤ l (integers)

I (k , l)-algorithm: Derive the strongest constraints on kvariables which can be deduced by “considering” l variables ata time.

I If a contradiction is found, answer “no”otherwise answer “yes”

I “no” answers are always correct

I if “yes” answers are correct for every instance of CSP(A)we say that A has width (k, l).

I if A has width (k , l) for some k , l then A has bounded width

Various equivalent formulations (bounded tree width duality,definability in Datalog)

Page 78: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

Local consistency

Roughly: A has bounded width iff CSP(A) can be solved bychecking local consistency

More precisely:

I Fix k ≤ l (integers)

I (k , l)-algorithm: Derive the strongest constraints on kvariables which can be deduced by “considering” l variables ata time.

I If a contradiction is found, answer “no”otherwise answer “yes”

I “no” answers are always correct

I if “yes” answers are correct for every instance of CSP(A)we say that A has width (k, l).

I if A has width (k , l) for some k , l then A has bounded width

Various equivalent formulations (bounded tree width duality,definability in Datalog)

Page 79: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

Local consistency

Roughly: A has bounded width iff CSP(A) can be solved bychecking local consistency

More precisely:

I Fix k ≤ l (integers)

I (k , l)-algorithm: Derive the strongest constraints on kvariables which can be deduced by “considering” l variables ata time.

I If a contradiction is found, answer “no”otherwise answer “yes”

I “no” answers are always correct

I if “yes” answers are correct for every instance of CSP(A)we say that A has width (k, l).

I if A has width (k , l) for some k , l then A has bounded width

Various equivalent formulations (bounded tree width duality,definability in Datalog)

Page 80: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

Example of (2, 3)-consistency

Let A = ({0, 1}; x = y , x 6= y)

Consider the instance

x = y , y = z , z = w , x 6= w

I By looking at {x , y , z} we see (using x = y and y = z) thatx = z .

I By looking at {x , z ,w} we see (using x = z and z = w) thatx = w .

I By looking at {x ,w} we now see a contradiction

In fact, A has width (2, 3), that is, such reasoning is alwayssufficient for an instance of CSP(A).

Page 81: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

Example of (2, 3)-consistency

Let A = ({0, 1}; x = y , x 6= y)

Consider the instance

x = y , y = z , z = w , x 6= w

I By looking at {x , y , z} we see (using x = y and y = z) thatx = z .

I By looking at {x , z ,w} we see (using x = z and z = w) thatx = w .

I By looking at {x ,w} we now see a contradiction

In fact, A has width (2, 3), that is, such reasoning is alwayssufficient for an instance of CSP(A).

Page 82: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

Example of (2, 3)-consistency

Let A = ({0, 1}; x = y , x 6= y)

Consider the instance

x = y , y = z , z = w , x 6= w

I By looking at {x , y , z} we see (using x = y and y = z) thatx = z .

I By looking at {x , z ,w} we see (using x = z and z = w) thatx = w .

I By looking at {x ,w} we now see a contradiction

In fact, A has width (2, 3), that is, such reasoning is alwayssufficient for an instance of CSP(A).

Page 83: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

Example of (2, 3)-consistency

Let A = ({0, 1}; x = y , x 6= y)

Consider the instance

x = y , y = z , z = w , x 6= w

I By looking at {x , y , z} we see (using x = y and y = z) thatx = z .

I By looking at {x , z ,w} we see (using x = z and z = w) thatx = w .

I By looking at {x ,w} we now see a contradiction

In fact, A has width (2, 3), that is, such reasoning is alwayssufficient for an instance of CSP(A).

Page 84: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

Example of (2, 3)-consistency

Let A = ({0, 1}; x = y , x 6= y)

Consider the instance

x = y , y = z , z = w , x 6= w

I By looking at {x , y , z} we see (using x = y and y = z) thatx = z .

I By looking at {x , z ,w} we see (using x = z and z = w) thatx = w .

I By looking at {x ,w} we now see a contradiction

In fact, A has width (2, 3), that is, such reasoning is alwayssufficient for an instance of CSP(A).

Page 85: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

Bounded width

I The problems q-LIN do not have bounded widthFeder, Vardi‘93

I If A can simulate q-LIN then A does not have bounded widthLarose, Zadori’07

I Thus the “obvious” necessary condition for bounded width isthat A cannot simulate q-LIN.

I It is sufficient:

Theorem

The following are equivalent.

1. A cannot simulate q-LIN

2. A has bounded width B, Kozik’09

3. A has width (2, 3) B; Bulatov

Page 86: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

Bounded width

I The problems q-LIN do not have bounded widthFeder, Vardi‘93

I If A can simulate q-LIN then A does not have bounded widthLarose, Zadori’07

I Thus the “obvious” necessary condition for bounded width isthat A cannot simulate q-LIN.

I It is sufficient:

Theorem

The following are equivalent.

1. A cannot simulate q-LIN

2. A has bounded width B, Kozik’09

3. A has width (2, 3) B; Bulatov

Page 87: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

Bounded width

I The problems q-LIN do not have bounded widthFeder, Vardi‘93

I If A can simulate q-LIN then A does not have bounded widthLarose, Zadori’07

I Thus the “obvious” necessary condition for bounded width isthat A cannot simulate q-LIN.

I It is sufficient:

Theorem

The following are equivalent.

1. A cannot simulate q-LIN

2. A has bounded width B, Kozik’09

3. A has width (2, 3) B; Bulatov

Page 88: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

Bounded width

I The problems q-LIN do not have bounded widthFeder, Vardi‘93

I If A can simulate q-LIN then A does not have bounded widthLarose, Zadori’07

I Thus the “obvious” necessary condition for bounded width isthat A cannot simulate q-LIN.

I It is sufficient:

Theorem

The following are equivalent.

1. A cannot simulate q-LIN

2. A has bounded width B, Kozik’09

3. A has width (2, 3) B; Bulatov

Page 89: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

Bounded width

I The problems q-LIN do not have bounded widthFeder, Vardi‘93

I If A can simulate q-LIN then A does not have bounded widthLarose, Zadori’07

I Thus the “obvious” necessary condition for bounded width isthat A cannot simulate q-LIN.

I It is sufficient:

Theorem

The following are equivalent.

1. A cannot simulate q-LIN

2. A has bounded width B, Kozik’09

3. A has width (2, 3) B; Bulatov

Page 90: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

Bonus: Robust approximation

I Task: Find an almost satisfying assignment given an almostsatisfiable instance

I More precisely: Find an assignment satisfying at least(1− g(ε)) fraction of the constraints given an instance whichis (1− ε) satisfiable, where g(ε)→ 0 as ε→ 0 (g should onlydepend on A).

I Algorithms for 2-SAT and HORN-SAT based on linearprogramming and semidefinite programming Zwick’98

I q-LIN has no robust polynomial algorithm(assuming P 6= NP) Hastad’01

I If A can simulate q-LIN then CSP(A) has no robustalgorithm Dalmau, Krokhin’11

Page 91: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

Bonus: Robust approximation

I Task: Find an almost satisfying assignment given an almostsatisfiable instance

I More precisely: Find an assignment satisfying at least(1− g(ε)) fraction of the constraints given an instance whichis (1− ε) satisfiable, where g(ε)→ 0 as ε→ 0 (g should onlydepend on A).

I Algorithms for 2-SAT and HORN-SAT based on linearprogramming and semidefinite programming Zwick’98

I q-LIN has no robust polynomial algorithm(assuming P 6= NP) Hastad’01

I If A can simulate q-LIN then CSP(A) has no robustalgorithm Dalmau, Krokhin’11

Page 92: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

Bonus: Robust approximation

I Task: Find an almost satisfying assignment given an almostsatisfiable instance

I More precisely: Find an assignment satisfying at least(1− g(ε)) fraction of the constraints given an instance whichis (1− ε) satisfiable, where g(ε)→ 0 as ε→ 0 (g should onlydepend on A).

I Algorithms for 2-SAT and HORN-SAT based on linearprogramming and semidefinite programming Zwick’98

I q-LIN has no robust polynomial algorithm(assuming P 6= NP) Hastad’01

I If A can simulate q-LIN then CSP(A) has no robustalgorithm Dalmau, Krokhin’11

Page 93: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

Bonus: Robust approximation

I Task: Find an almost satisfying assignment given an almostsatisfiable instance

I More precisely: Find an assignment satisfying at least(1− g(ε)) fraction of the constraints given an instance whichis (1− ε) satisfiable, where g(ε)→ 0 as ε→ 0 (g should onlydepend on A).

I Algorithms for 2-SAT and HORN-SAT based on linearprogramming and semidefinite programming Zwick’98

I q-LIN has no robust polynomial algorithm(assuming P 6= NP) Hastad’01

I If A can simulate q-LIN then CSP(A) has no robustalgorithm Dalmau, Krokhin’11

Page 94: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

Bonus: Robust approximation

I Task: Find an almost satisfying assignment given an almostsatisfiable instance

I More precisely: Find an assignment satisfying at least(1− g(ε)) fraction of the constraints given an instance whichis (1− ε) satisfiable, where g(ε)→ 0 as ε→ 0 (g should onlydepend on A).

I Algorithms for 2-SAT and HORN-SAT based on linearprogramming and semidefinite programming Zwick’98

I q-LIN has no robust polynomial algorithm(assuming P 6= NP) Hastad’01

I If A can simulate q-LIN then CSP(A) has no robustalgorithm Dalmau, Krokhin’11

Page 95: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

Bonus: Robust approximation 2

I If A can simulate q-LIN then CSP(A) has no robustalgorithm Dalmau, Krokhin’11

I Conjecture of Guruswami and Zhou: this is the only obstacle

Theorem (B, Kozik’12)

The following are equivalent (assuming P 6= NP)

I A cannot simulate q-LIN

I CSP(A) has a robust polynomial algorithm

I canonical semidefinite programming relaxation correctlydecides CSP(A)

Page 96: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

Bonus: Robust approximation 2

I If A can simulate q-LIN then CSP(A) has no robustalgorithm Dalmau, Krokhin’11

I Conjecture of Guruswami and Zhou: this is the only obstacle

Theorem (B, Kozik’12)

The following are equivalent (assuming P 6= NP)

I A cannot simulate q-LIN

I CSP(A) has a robust polynomial algorithm

I canonical semidefinite programming relaxation correctlydecides CSP(A)

Page 97: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

Bonus: Robust approximation 2

I If A can simulate q-LIN then CSP(A) has no robustalgorithm Dalmau, Krokhin’11

I Conjecture of Guruswami and Zhou: this is the only obstacle

Theorem (B, Kozik’12)

The following are equivalent (assuming P 6= NP)

I A cannot simulate q-LIN

I CSP(A) has a robust polynomial algorithm

I canonical semidefinite programming relaxation correctlydecides CSP(A)

Page 98: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

Bonus 2: Counting CSP

I The complexity is also controlled by Pol(A)

I A necessary condition for tractability foundBulatov, Dalmau’03(inspiration: the other algorithm for decison CSPs)

I A stronger necessary condition for tractability foundBulatov, Grohe’05

I The stronger condition is sufficientBulatov’08, Dyer and Richerby’10

Page 99: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

Bonus 2: Counting CSP

I The complexity is also controlled by Pol(A)

I A necessary condition for tractability foundBulatov, Dalmau’03(inspiration: the other algorithm for decison CSPs)

I A stronger necessary condition for tractability foundBulatov, Grohe’05

I The stronger condition is sufficientBulatov’08, Dyer and Richerby’10

Page 100: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

Bonus 2: Counting CSP

I The complexity is also controlled by Pol(A)

I A necessary condition for tractability foundBulatov, Dalmau’03(inspiration: the other algorithm for decison CSPs)

I A stronger necessary condition for tractability foundBulatov, Grohe’05

I The stronger condition is sufficientBulatov’08, Dyer and Richerby’10

Page 101: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

Bonus 2: Counting CSP

I The complexity is also controlled by Pol(A)

I A necessary condition for tractability foundBulatov, Dalmau’03(inspiration: the other algorithm for decison CSPs)

I A stronger necessary condition for tractability foundBulatov, Grohe’05

I The stronger condition is sufficientBulatov’08, Dyer and Richerby’10

Page 102: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

Final remarks

For decision CSPsI Easy criterion for hardnessI Theory gives generic reduction between any two NP-complete

CSPs (instead of ad hoc reductions)I Applicability of known algorithms understoodI The dichotomy conjecture still open in general

For other variants (Approx-CSP, Valued CSP, infinite)I Universal algebra also relevant Cohen, Cooper, Creed,

Jeavons, Zivny; Raghavendra; Bodirsky, PinskerI More or less the same criterion for easiness/hardnessI Easiness comes from “symmetry”I One needs symmetry of higher arity (e.g. polymorphisms)

rather than just automorphisms or endomorphisms

Beyond CSPsI ???I There is ≥ 1 examples Raghavendra

Page 103: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

Final remarks

For decision CSPsI Easy criterion for hardnessI Theory gives generic reduction between any two NP-complete

CSPs (instead of ad hoc reductions)I Applicability of known algorithms understoodI The dichotomy conjecture still open in general

For other variants (Approx-CSP, Valued CSP, infinite)I Universal algebra also relevant Cohen, Cooper, Creed,

Jeavons, Zivny; Raghavendra; Bodirsky, PinskerI More or less the same criterion for easiness/hardnessI Easiness comes from “symmetry”I One needs symmetry of higher arity (e.g. polymorphisms)

rather than just automorphisms or endomorphisms

Beyond CSPsI ???I There is ≥ 1 examples Raghavendra

Page 104: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

Final remarks

For decision CSPsI Easy criterion for hardnessI Theory gives generic reduction between any two NP-complete

CSPs (instead of ad hoc reductions)I Applicability of known algorithms understoodI The dichotomy conjecture still open in general

For other variants (Approx-CSP, Valued CSP, infinite)I Universal algebra also relevant Cohen, Cooper, Creed,

Jeavons, Zivny; Raghavendra; Bodirsky, PinskerI More or less the same criterion for easiness/hardnessI Easiness comes from “symmetry”I One needs symmetry of higher arity (e.g. polymorphisms)

rather than just automorphisms or endomorphisms

Beyond CSPsI ???I There is ≥ 1 examples Raghavendra

Page 105: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

We need coffee!

Page 106: Universal algebra and the constraint satisfaction problembarto/Articles/ASL_Barto.pdf · Constraint satisfaction problem (CSP) I Common framework for many practical problems I This

Thank you!