design of geometric puzzles marc van kreveld center for geometry, imaging and virtual environments...

55
Design of Geometric Puzzles Marc van Kreveld Center for Geometry, Imaging and Virtual Environments Utrecht University http://www.cs.uu.nl/~marc/composable-art/

Post on 15-Jan-2016

214 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Design of Geometric Puzzles Marc van Kreveld Center for Geometry, Imaging and Virtual Environments Utrecht University marc/composable-art

Design of Geometric Puzzles

Marc van KreveldCenter for Geometry, Imaging and

Virtual Environments

Utrecht University

http://www.cs.uu.nl/~marc/composable-art/

Page 2: Design of Geometric Puzzles Marc van Kreveld Center for Geometry, Imaging and Virtual Environments Utrecht University marc/composable-art

Two warnings

• This is not computational geometry• This talk involves user participation

Page 3: Design of Geometric Puzzles Marc van Kreveld Center for Geometry, Imaging and Virtual Environments Utrecht University marc/composable-art

Overview

• Classical puzzles: cube dissections • New cube dissections• Design of a ‘most difficult’ puzzle• Some more puzzles• The present• The future

Page 4: Design of Geometric Puzzles Marc van Kreveld Center for Geometry, Imaging and Virtual Environments Utrecht University marc/composable-art

Two famous cube dissections

Page 5: Design of Geometric Puzzles Marc van Kreveld Center for Geometry, Imaging and Virtual Environments Utrecht University marc/composable-art

Puzzles and blocks

Page 6: Design of Geometric Puzzles Marc van Kreveld Center for Geometry, Imaging and Virtual Environments Utrecht University marc/composable-art

Naef - cubicus

Page 7: Design of Geometric Puzzles Marc van Kreveld Center for Geometry, Imaging and Virtual Environments Utrecht University marc/composable-art

New cube dissection

• 6 pieces: 2 of 3 types• 2 types are

mirrored

Page 8: Design of Geometric Puzzles Marc van Kreveld Center for Geometry, Imaging and Virtual Environments Utrecht University marc/composable-art
Page 9: Design of Geometric Puzzles Marc van Kreveld Center for Geometry, Imaging and Virtual Environments Utrecht University marc/composable-art
Page 10: Design of Geometric Puzzles Marc van Kreveld Center for Geometry, Imaging and Virtual Environments Utrecht University marc/composable-art

Variation: 8 pieces

Page 11: Design of Geometric Puzzles Marc van Kreveld Center for Geometry, Imaging and Virtual Environments Utrecht University marc/composable-art
Page 12: Design of Geometric Puzzles Marc van Kreveld Center for Geometry, Imaging and Virtual Environments Utrecht University marc/composable-art

Idea for a puzzle

• 8 pieces, 1 for each corner of a cube

• Adjacent pieces must fit in their shared edge

• Every piece has 1 corner and 3 half-edges

Page 13: Design of Geometric Puzzles Marc van Kreveld Center for Geometry, Imaging and Virtual Environments Utrecht University marc/composable-art
Page 14: Design of Geometric Puzzles Marc van Kreveld Center for Geometry, Imaging and Virtual Environments Utrecht University marc/composable-art
Page 15: Design of Geometric Puzzles Marc van Kreveld Center for Geometry, Imaging and Virtual Environments Utrecht University marc/composable-art

Requirements of the puzzle

• All 8 pieces different • No piece should be rotationally

symmetric • As difficult as possible (unique

solution)

Does such a puzzle exist?

And how do we find it?

Page 16: Design of Geometric Puzzles Marc van Kreveld Center for Geometry, Imaging and Virtual Environments Utrecht University marc/composable-art

Analysis of the pieces

• How many different pieces?– There are 4 possibilities for half-edges

call them types A, B, C, D

A

C

B

D

A

Page 17: Design of Geometric Puzzles Marc van Kreveld Center for Geometry, Imaging and Virtual Environments Utrecht University marc/composable-art

Analysis of the pieces

• The type of a piece (BDD):

• Choose the alphabetically smallest type(not DDB or DBD, but BDD)

Page 18: Design of Geometric Puzzles Marc van Kreveld Center for Geometry, Imaging and Virtual Environments Utrecht University marc/composable-art

Exercise

• Which pieces (types) are these two?

Page 19: Design of Geometric Puzzles Marc van Kreveld Center for Geometry, Imaging and Virtual Environments Utrecht University marc/composable-art

Assignment (2 minutes)

• How many different pieces exist?At most 4 x 4 x 4 = 64, but exactly?

Hint:– How many with 3 letters the same?– How many with 2 letters the same?– How many with 3 letters different? +

AAA, AAB, AAC, AAD, ABA, …

the same

Page 20: Design of Geometric Puzzles Marc van Kreveld Center for Geometry, Imaging and Virtual Environments Utrecht University marc/composable-art

Answer

• 3 letters the same: 4• 2 letters the same: 4 choices for

double letter, another 3 for single letter: 12

• 3 letters: 4 choices which letter not used, for each choice two mirrored versions (e.g. ABC and ACB): 8

+

24

Page 21: Design of Geometric Puzzles Marc van Kreveld Center for Geometry, Imaging and Virtual Environments Utrecht University marc/composable-art

Which types fit?

• A and D always fit; B and C always fit

• Nothing else will fit

Page 22: Design of Geometric Puzzles Marc van Kreveld Center for Geometry, Imaging and Virtual Environments Utrecht University marc/composable-art

Additional requirement

• Every type of half-edge - A, B, C and D - appears exactly 6 times in the puzzle

Page 23: Design of Geometric Puzzles Marc van Kreveld Center for Geometry, Imaging and Virtual Environments Utrecht University marc/composable-art

The pieces

• There are 24 different pieces, but 4 of these we don’t want

• There are ( ) = 124,970 sets of 8 different pieces. Which set fits in one unique way?

208

Page 24: Design of Geometric Puzzles Marc van Kreveld Center for Geometry, Imaging and Virtual Environments Utrecht University marc/composable-art

A puzzle solver?

• For all 8 pieces: Place the first piece– 2nd piece: 7 positions, 3 orientations– 3rd piece: 6 positions, 3 orientations– …

• So: 7! · 37 = 11,022,480 ways to fit• All 125.970 candidate puzzles:

1,388,501,805,600 ways to test

Page 25: Design of Geometric Puzzles Marc van Kreveld Center for Geometry, Imaging and Virtual Environments Utrecht University marc/composable-art

Different approach

• Take a cube a split all 12 edges in the 4 possible ways

Page 26: Design of Geometric Puzzles Marc van Kreveld Center for Geometry, Imaging and Virtual Environments Utrecht University marc/composable-art

Different approach

• When we know how the 12 edges are split, then we know the 8 pieces; this gives the 412 = 16,777,216 solutions ofall cube puzzles!

– Test every piece for: not AAA, BBB, CCC, DDD– Test every pair for being different– Test whether A, B, C and D appear 6 x each

Page 27: Design of Geometric Puzzles Marc van Kreveld Center for Geometry, Imaging and Virtual Environments Utrecht University marc/composable-art

Different approach

• There are 1,023,360 solutions of puzzles, according to the computer program

• Final requirement: Unique solution Find different solutions that use the same 8 pieces; such puzzles are not uniquely solvable

Page 28: Design of Geometric Puzzles Marc van Kreveld Center for Geometry, Imaging and Virtual Environments Utrecht University marc/composable-art

Results

• The 1,023,360 solutions are of 2290 puzzles that fit 3 requirements

• The minimum is 24 solutions(34 puzzles)

• The maximum is 1656 solutions(4 puzzles)

24 solutions 1 solution

Page 29: Design of Geometric Puzzles Marc van Kreveld Center for Geometry, Imaging and Virtual Environments Utrecht University marc/composable-art

The easiest puzzle

• With 1656 69 solutions

Page 30: Design of Geometric Puzzles Marc van Kreveld Center for Geometry, Imaging and Virtual Environments Utrecht University marc/composable-art

Question (1 minute)

• All 34 most difficult puzzles use the pieces AAD, ADD, BBC and BCC

Is this logical? Explain

Note: All 4 easiest puzzles use the pieces AAB, ABB, CCD and CDD, or

AAC, ACC, BBD and BDD

Page 31: Design of Geometric Puzzles Marc van Kreveld Center for Geometry, Imaging and Virtual Environments Utrecht University marc/composable-art

Results

• 34 different puzzles are uniquely solvable:

AAB, AAD, ABC, ADD, BBC, BCC, BDC, CDD

AAC, AAD, ACB, ADD, BBC, BCC, BCD, BDD

AAD, ACB, ACD, ADB, ADD, BBC, BCC, BDC

+ another 31 puzzles

Page 32: Design of Geometric Puzzles Marc van Kreveld Center for Geometry, Imaging and Virtual Environments Utrecht University marc/composable-art

… then I made one of these puzzles …

Page 33: Design of Geometric Puzzles Marc van Kreveld Center for Geometry, Imaging and Virtual Environments Utrecht University marc/composable-art

Results

• 34 different puzzles are uniquely solvable:

AAB, AAD, ABC, ADD, BBC, BCC, BDC, CDD

AAC, AAD, ACB, ADD, BBC, BCC, BCD, BDD

AAD, ACB, ACD, ADB, ADD, BBC, BCC, BDC

B CC B

+ another 31 puzzles

Page 34: Design of Geometric Puzzles Marc van Kreveld Center for Geometry, Imaging and Virtual Environments Utrecht University marc/composable-art

Results

• There are 5 equivalence classes in the 34 uniquely solvable puzzles

But: is there any difference in difficulty?

Page 35: Design of Geometric Puzzles Marc van Kreveld Center for Geometry, Imaging and Virtual Environments Utrecht University marc/composable-art

Towards a definition of difficulty

• How does a puzzler solve such a puzzle?

Probably:start with the bottom 4 pieces = 1 loop / lower face of the cube

Page 36: Design of Geometric Puzzles Marc van Kreveld Center for Geometry, Imaging and Virtual Environments Utrecht University marc/composable-art
Page 37: Design of Geometric Puzzles Marc van Kreveld Center for Geometry, Imaging and Virtual Environments Utrecht University marc/composable-art

Towards a definition of difficulty

• After making the bottom loop, it is only a puzzle with 4 pieces

Difficulty puzzle =No. of good loops

Total no. of loops

Page 38: Design of Geometric Puzzles Marc van Kreveld Center for Geometry, Imaging and Virtual Environments Utrecht University marc/composable-art

Assignment (5 minutes)

• Make a (crude) estimate of the difficulty of the most difficult puzzle

Hint: For the total no. of loops, consider a ‘random’ puzzle instead.Recall: There are 6 each of A, B, C and D

Page 39: Design of Geometric Puzzles Marc van Kreveld Center for Geometry, Imaging and Virtual Environments Utrecht University marc/composable-art

Answer• No. of good loops: 6• Estimate total no. of loops ‘random’ puzzle:

– Place a piece, say, with AB on the table– About 5 - 6 half-edges will fit the A, say, 5.25– About 4 - 5 half-edges will fit the B, say, 4.5– 4th piece of the loop must fit on 2 sides: probability 1/16;

the 5 remaining pieces have 5 x 3 = 15 ordered pairs– This gives an estimate of 5.25 x 4.5 x 15/16 = 22 loops– There are 8 x 3 = 24 choices for the first pair (AB)– We over-count by a factor 4– So estimated 22 x 24/4 = 132 loops in a puzzle

Difficulty puzzle 132/6 22

Page 40: Design of Geometric Puzzles Marc van Kreveld Center for Geometry, Imaging and Virtual Environments Utrecht University marc/composable-art

Computation of difficulty

• With a program: the 5 non-equivalent puzzles have 107, 116, 116, 118, and 122 loops

• Easiest puzzles & maximum: 230 loops

Difficultymost difficult puzzle =

No. of good loops

Total no. of loops=

6

122

Page 41: Design of Geometric Puzzles Marc van Kreveld Center for Geometry, Imaging and Virtual Environments Utrecht University marc/composable-art

… I made one of the easiest of the uniquely solvable puzzles !

Page 42: Design of Geometric Puzzles Marc van Kreveld Center for Geometry, Imaging and Virtual Environments Utrecht University marc/composable-art

How about 6 types?

• To be named A, B, C, D, E, and F:

E and F havediagonal pinsand fit only oneach other

Page 43: Design of Geometric Puzzles Marc van Kreveld Center for Geometry, Imaging and Virtual Environments Utrecht University marc/composable-art

Question

• What happens: still puzzles that fit all requirements (now equal usage of A, B, C, D, E and F)?

• Is the new most difficult puzzle more difficult or easier?

Page 44: Design of Geometric Puzzles Marc van Kreveld Center for Geometry, Imaging and Virtual Environments Utrecht University marc/composable-art

More puzzles

Page 45: Design of Geometric Puzzles Marc van Kreveld Center for Geometry, Imaging and Virtual Environments Utrecht University marc/composable-art

A personal puzzle

Page 46: Design of Geometric Puzzles Marc van Kreveld Center for Geometry, Imaging and Virtual Environments Utrecht University marc/composable-art
Page 47: Design of Geometric Puzzles Marc van Kreveld Center for Geometry, Imaging and Virtual Environments Utrecht University marc/composable-art
Page 48: Design of Geometric Puzzles Marc van Kreveld Center for Geometry, Imaging and Virtual Environments Utrecht University marc/composable-art
Page 49: Design of Geometric Puzzles Marc van Kreveld Center for Geometry, Imaging and Virtual Environments Utrecht University marc/composable-art

Hinged puzzle

Page 50: Design of Geometric Puzzles Marc van Kreveld Center for Geometry, Imaging and Virtual Environments Utrecht University marc/composable-art

Gate puzzle

Page 51: Design of Geometric Puzzles Marc van Kreveld Center for Geometry, Imaging and Virtual Environments Utrecht University marc/composable-art
Page 52: Design of Geometric Puzzles Marc van Kreveld Center for Geometry, Imaging and Virtual Environments Utrecht University marc/composable-art

The present

36 squares 12 pieces needed

Page 53: Design of Geometric Puzzles Marc van Kreveld Center for Geometry, Imaging and Virtual Environments Utrecht University marc/composable-art

The future

• Ideas for new puzzles

24 different pieces

Page 54: Design of Geometric Puzzles Marc van Kreveld Center for Geometry, Imaging and Virtual Environments Utrecht University marc/composable-art

More future

• Based on the composable painting

Page 55: Design of Geometric Puzzles Marc van Kreveld Center for Geometry, Imaging and Virtual Environments Utrecht University marc/composable-art

The end

some puzzle jugs