L07: Symmetry Flashcards

1
Q

What is symmetry?

A
  • A structure preserving transformation
  • A symmetry can be characterised as a bijection on assignments (1-1 mapping)
  • Symmetry preserves solutionhood
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
2
Q

How does symmetry partition complete assignments?

A

Symmetry partitions complete assignments into equivalence classes.
In each class, either none of the members are solutions, or all of them are.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
3
Q

Why do we want to recognise symmetry in constraints models?

A

We want to break symmetry in constraints to reduce the time taken to search for solutions.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
4
Q

What are the 2 types of symmetry?

A

Variable Symmetry
- Bijections can be characterised in terms of the variables alone
- Domain and codomain are the variables
- Swapping variables keeps the values intact

Value Symmetry
- Bijection can be characterised in terms of the values alone
- Domain and codomain are the values
- Swapping values keeps the variables intact

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
5
Q

What is an example problem that has variable symmetry?

A

N-queens problem

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
6
Q

What is an example problem that has value symmetry?

A

Map colouring problem

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
7
Q

What are the consequences of a model containing symmetry?

A

There are fruitless searches in subtrees for which we have already searched the solutions in the same equivalence class.
Wastes time for searching (redundant)

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
8
Q

How does symmetry arise?

A

Either- it is inherent in the problem, e.g. the n-queens problem has the symmetries of the square

Or- the symmetry is introduced in the modelling process. Knowing how symmetry is introduced during modelling can make symmetry detection and breaking easier

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
9
Q

How can adding constraints affect symmetry?

A
  • Disallow some of the elements of an equivalence class of assignments
  • Considering order the elements to limit the different permutations of the solution
  • If the problem is modelled properly, you will limit the solutions to one solution per equivalence class
  • This can prune the search tree drastically
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
10
Q

How do we formulate symmetry breaking constraints?

A

Define a canonical solution, and add constraints to choose it
We need:
- An ordering on variables
- An ordering on solutions

  1. Reformulate the problem so that it has a reduced amount of symmetry
  2. Add symmetry breaking constraints before the search starts, thereby making some symmetric solutions unacceptable while leaving at least 1 solution in each symmetric equivalence class.
  3. Break down symmetry dynamically during the search, adapting the search procedure appropriately.
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
11
Q

What is lexicographic ordering?

A

Dictionary ordering of letters and numbers
Compare first characters, if they are the same, compare second characters

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
12
Q

What is the aim of symmetry breaking?

A

Never explore 2 search states which are symmetric to each other, as we know that the result in both cases must be the same.

By recognising symmetry, we can exploit it to reduce the amount of search needed to solve the problem.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
13
Q

What is Lex-leader method?

A
  • Choose an ordering on the variables
  • Add one lexicographic ordering constraint per symmetry.

For each equivalence class of solutions under a symmetry group, we will predefine one to be the canonical solution. This is achieved by adding constraints before search starts which are satisfied by canonical solutions and not by any others.

We can induce an ordering on full assignments. Every permutation of assignments in the group gives us one <=lex constraint.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
14
Q

What are the pros and cons of the lex leader method?

A

Pro: breaks all symmetry

Con: Will require a large number of constraints

Compromise: use a subset of the lex-leader constraints

Many groups of solutions contain an exponential number of symmetries. Lex-leader requires a constraint for each element of the group which is not appropriate for all problems.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
15
Q

What is the Lex^2 method?

A

A significant fraction of lex-leader row/column symmetry can be represented by lex ordering the tows and columns.
Subset of lex-leader

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
16
Q

What are the pros and cons of the lex^2 method?

A

While lex^2 does not cover all the constraints that lex-leader does (does not break as many constraints), it is less expensive

17
Q

What tradeoff is there with symmetry breaking constraints?

A

There is a trade-off between breaking symmetries and the number of constraints