invariant method
DESCRIPTION
Invariant Method. Lecture 7. Domino Puzzle. An 8x8 chessboard, 32 pieces of dominos. Can we fill the chessboard?. Domino Puzzle. An 8x8 chessboard, 32 pieces of dominos. Easy!. Domino Puzzle. An 8x8 chessboard with two holes , 31 pieces of dominos. Can we fill the chessboard?. Easy!. - PowerPoint PPT PresentationTRANSCRIPT
![Page 1: Invariant Method](https://reader033.vdocuments.us/reader033/viewer/2022061505/56813dcb550346895da793f2/html5/thumbnails/1.jpg)
Invariant Method
Lecture 7
1 2 3 4
5 6 7 8
9 10 11 12
13 14 15
1 2 3 4
5 6 7 8
9 10 11 12
13 15 14
![Page 2: Invariant Method](https://reader033.vdocuments.us/reader033/viewer/2022061505/56813dcb550346895da793f2/html5/thumbnails/2.jpg)
Domino Puzzle
An 8x8 chessboard, 32 pieces of dominos
Can we fill the chessboard?
![Page 3: Invariant Method](https://reader033.vdocuments.us/reader033/viewer/2022061505/56813dcb550346895da793f2/html5/thumbnails/3.jpg)
Domino Puzzle
An 8x8 chessboard, 32 pieces of dominos
Easy!
![Page 4: Invariant Method](https://reader033.vdocuments.us/reader033/viewer/2022061505/56813dcb550346895da793f2/html5/thumbnails/4.jpg)
Domino Puzzle
An 8x8 chessboard with two holes, 31 pieces of dominos
Can we fill the chessboard?
Easy!
![Page 5: Invariant Method](https://reader033.vdocuments.us/reader033/viewer/2022061505/56813dcb550346895da793f2/html5/thumbnails/5.jpg)
Domino Puzzle
An 8x8 chessboard with two holes, 31 pieces of dominos
Can we fill the chessboard?
Easy??
![Page 6: Invariant Method](https://reader033.vdocuments.us/reader033/viewer/2022061505/56813dcb550346895da793f2/html5/thumbnails/6.jpg)
Domino Puzzle
An 4x4 chessboard with two holes, 7 pieces of dominos
Can we fill the chessboard?
Impossible!
![Page 7: Invariant Method](https://reader033.vdocuments.us/reader033/viewer/2022061505/56813dcb550346895da793f2/html5/thumbnails/7.jpg)
Domino Puzzle
An 8x8 chessboard with two holes, 31 pieces of dominos
Can we fill the chessboard?
Then what??
![Page 8: Invariant Method](https://reader033.vdocuments.us/reader033/viewer/2022061505/56813dcb550346895da793f2/html5/thumbnails/8.jpg)
Another Chessboard Problem
?
A rook can only move along a diagonal
Can a rook move from its current position to the question mark?
![Page 9: Invariant Method](https://reader033.vdocuments.us/reader033/viewer/2022061505/56813dcb550346895da793f2/html5/thumbnails/9.jpg)
Another Chessboard Problem
?
A rook can only move along a diagonal
Can a rook move from its current position to the question mark?
Impossible!
Why?
![Page 10: Invariant Method](https://reader033.vdocuments.us/reader033/viewer/2022061505/56813dcb550346895da793f2/html5/thumbnails/10.jpg)
Another Chessboard Problem
?
1. The rook is in a blue
position.
2. A blue position can only
move to a blue position by
diagonal moves.
3. The question mark is in a
white position.
4. So it is impossible for the
rook to go there.
Invariant!
This is a very simple example of the invariant method.
![Page 11: Invariant Method](https://reader033.vdocuments.us/reader033/viewer/2022061505/56813dcb550346895da793f2/html5/thumbnails/11.jpg)
Domino Puzzle
An 8x8 chessboard with two holes, 31 pieces of dominos
Can we fill the chessboard?
![Page 12: Invariant Method](https://reader033.vdocuments.us/reader033/viewer/2022061505/56813dcb550346895da793f2/html5/thumbnails/12.jpg)
Domino Puzzle
1. Each domino will occupy one
white square and one blue
square.
2. There are 32 blue squares
but only 30 white squares.
3. So it is impossible to fill the
chessboard using only 31
dominos.
Invariant!
This is a simple example of the invariant method.
![Page 13: Invariant Method](https://reader033.vdocuments.us/reader033/viewer/2022061505/56813dcb550346895da793f2/html5/thumbnails/13.jpg)
Invariant Method
1. Find properties (the invariants) that are
satisfied throughout the whole process.
2. Show that the target do not satisfy the properties.
3. Conclude that the target is not achievable.
In the rook example, the invariant is the colour of the position of the rook.
In the domino example, the invariant is that
any placement of dominos will occupy the same
number of blue positions and white positions.
![Page 14: Invariant Method](https://reader033.vdocuments.us/reader033/viewer/2022061505/56813dcb550346895da793f2/html5/thumbnails/14.jpg)
The Possible
We just proved that if we take out two squares of the same colour, then it is impossible to finish.
What if we take out two squares of different colours?Would it be always possible to finish then?
Yes??
![Page 15: Invariant Method](https://reader033.vdocuments.us/reader033/viewer/2022061505/56813dcb550346895da793f2/html5/thumbnails/15.jpg)
Prove the Possible
Yes??
![Page 16: Invariant Method](https://reader033.vdocuments.us/reader033/viewer/2022061505/56813dcb550346895da793f2/html5/thumbnails/16.jpg)
Prove the Possible
The secret.
![Page 17: Invariant Method](https://reader033.vdocuments.us/reader033/viewer/2022061505/56813dcb550346895da793f2/html5/thumbnails/17.jpg)
Prove the Possible
The secret.
![Page 18: Invariant Method](https://reader033.vdocuments.us/reader033/viewer/2022061505/56813dcb550346895da793f2/html5/thumbnails/18.jpg)
Fifteen Puzzle
1 2 3 4
5 6 7 8
9 10 11 12
13 14 15
Move: can move a square adjacent to the empty square
to the empty square.
![Page 19: Invariant Method](https://reader033.vdocuments.us/reader033/viewer/2022061505/56813dcb550346895da793f2/html5/thumbnails/19.jpg)
Fifteen Puzzle
1 2 3 4
5 6 7 8
9 10 11 12
13 14 15
1 2 3 4
5 6 7 8
9 10 11 12
13 15 14
Initial configuration Target configuration
Is there a sequence of moves that allows you to start
from the initial configuration to the target
configuration?
![Page 20: Invariant Method](https://reader033.vdocuments.us/reader033/viewer/2022061505/56813dcb550346895da793f2/html5/thumbnails/20.jpg)
Invariant Method
1. Find properties (the invariants) that are
satisfied throughout the whole process.
2. Show that the target do not satisfy the properties.
3. Conclude that the target is not achievable.
What is an invariant in this game??
This is usually the hardest part of the proof.
![Page 21: Invariant Method](https://reader033.vdocuments.us/reader033/viewer/2022061505/56813dcb550346895da793f2/html5/thumbnails/21.jpg)
Hint
1 2 3 4
5 6 7 8
9 10 11 12
13 14 15
1 2 3 4
5 6 7 8
9 10 11 12
13 15 14
Initial configuration Target configuration
((1,2,3,…,14,15),(4,4)) ((1,2,3,…,15,14),(4,4))
Hint: the two states have different parity.
![Page 22: Invariant Method](https://reader033.vdocuments.us/reader033/viewer/2022061505/56813dcb550346895da793f2/html5/thumbnails/22.jpg)
Parity
Given a sequence, a pair is “out-of-order” if the first element is larger.
For example, the sequence (1,2,4,5,3) has two out-of-order pairs, (4,3) and (5,3).
Given a state S = ((a1,a2,…,a15),(i,j))
Parity of S = (number of out-of-order pairs + i) mod 2
row number of the empty square
![Page 23: Invariant Method](https://reader033.vdocuments.us/reader033/viewer/2022061505/56813dcb550346895da793f2/html5/thumbnails/23.jpg)
Hint
1 2 3 4
5 6 7 8
9 10 11 12
13 14 15
1 2 3 4
5 6 7 8
9 10 11 12
13 15 14
Initial configuration Target configuration
((1,2,3,…,14,15),(4,4)) ((1,2,3,…,15,14),(4,4))
Clearly, the two states have different parity.
Parity of S = (number of out-of-order pairs + i) mod 2
![Page 24: Invariant Method](https://reader033.vdocuments.us/reader033/viewer/2022061505/56813dcb550346895da793f2/html5/thumbnails/24.jpg)
Invariant Method
1. Find properties (the invariants) that are
satisfied throughout the whole process.
2. Show that the target do not satisfy the properties.
3. Conclude that the target is not achievable.
Invariant = parity of state
Claim: Any move will preserve the parity of the state.
Proving the claim will finish the impossibility proof.
Parity is even
Parity is odd
![Page 25: Invariant Method](https://reader033.vdocuments.us/reader033/viewer/2022061505/56813dcb550346895da793f2/html5/thumbnails/25.jpg)
Proving the Invariant
Claim: Any move will preserve the parity of the state.
Parity of S = (number of out-of-order pairs + i) mod 2
? ? ? ?
? a ?
? ? ? ?
? ? ? ?
? ? ? ?
? a ?
? ? ? ?
? ? ? ?
Horizontal movement does not change anything…
![Page 26: Invariant Method](https://reader033.vdocuments.us/reader033/viewer/2022061505/56813dcb550346895da793f2/html5/thumbnails/26.jpg)
Proving the Invariant
Claim: Any move will preserve the parity of the state.
Parity of S = (number of out-of-order pairs + i) mod 2
? ? ? ?
? a b1 b2
b3 ? ?
? ? ? ?
? ? ? ?
? b1 b2
b3 a ? ?
? ? ? ?
If there are (0,1,2,3) out-of-order pairs in the current state,
there will be (3,2,1,0) out-of-order pairs in the next state.
Row number has changed by 1
So the parity stays the same! We’ve proved the claim.
Difference
is 1 or 3.
![Page 27: Invariant Method](https://reader033.vdocuments.us/reader033/viewer/2022061505/56813dcb550346895da793f2/html5/thumbnails/27.jpg)
Fifteen Puzzle
1 2 3 4
5 6 7 8
9 10 11 12
13 14 15
15 14 13 12
11 10 9 8
7 6 5 4
3 2 1
Initial configuration Target configuration
Is there a sequence of moves that allows you to start
from the initial configuration to the target
configuration?
This is a standard example of the invariant method.