Finding Optimal Solutions to the Twenty-Four Puzzle
Transcript of Finding Optimal Solutions to the Twenty-Four Puzzle
-
8/14/2019 Finding Optimal Solutions to the Twenty-Four Puzzle
1/6
" !$ #% &$ ' ( #) 01 2 #3 ' 4 57 69 8@ 5A B D CF ED $ #) & GI H9 & PQ PR ( 5
SU TW VY Xa `c bY df e gR hp i2 br q$ sY t2 u9 vB `c bY br w@ xy g ` wa i2 b
' $ Y Y B Q j W F k
l
Y mn W o $ j Y j zn {D o |a Y } o
{D o |a Y } o( z jY ~c n n
n R o ~ jY ~ ( k zk j k R o ~ jY ~ ( k
) 2 (
$ A n n R k a n ( B $ Q
2 D Y n U n n c Y n 2 -c n D W
W 2 ' c ( R Y n c -c W n -2 n W
W ' n ' n - n ( n
k -c n Q n n ( $ $
2 n ) a n ( B ( 2
n k -2 R A ( R ( n n R Q Q n
B Q n n U Y -c n " )
2 D n n Q n n D R k
n W a n k D -c ( R
n a n R ) Y n R k -
F n n ) k n
( Y (
r b i da a V Y TW i2
A o k Y } Y Y o( z o
j o
c }
a j $ W
n z
j mn c n Y }' o mn B j o o ( k o
Y W o o ( j
|Q ~2 | o j W j $ o (
k Y ) ( W o z
( j mk Y }) n n oW n F Y zk j ( F
Y j ~ |a k $ W
j o
n k j B mn W j $ jn jn W )
R Y j Y
j p oW U k
Y j Y o n ~
j oW U oF
W ( j W j }n $
) oR n o $ j k Y j n k } k
j " k j j W Y j } j k } Y j n z k ( j n
Y j ) jF $ Y Y 9 ) $ m o( ~
B oW j
oW jn n c
a c }
Y R n k j Y oc mn n ' Y Y k o zn
Y o jn j Y oB j Y ( k F Y Y k o( z' j
' k n n Y
Y n k j Y oa j $ o a n Q Y Y k o ~
Q Y U o oW j o j
oW jn n z n Y W j A o n Y W n Y o
W "
c }
Y j U Y
Y jn k
o
oW ( j
~p F W o % n Y n j oW n Y Y oB W
W
Y Y o Y }) W j mn Q Y Y } |R | j
j
j j B k oW j
Y oW c Y W ) Q n n ~
| o" j mn j W j k
U ' k Y |R p j } n W
a j W ( zD o oW n zD j a j j ' ( n n zk
Y Y oQ o j
j o$ Y ( j $
j Y B Y oW ( j
r Y
za j
j r n k j ~2 | Y W Y ( k oR j o W oa r Y
W o ) oW ( j
j W n Y o zc o j W } W n
Y W j c o j n ~
2 j
j
o' Y Y n W ( Y k W jA Y Y k B o W ( jn
B k Y ) ' 2 $ m o' W n
Y j D oW j n z Y D z Y Y o
Y o W ) oW j
F ) R F mn oR Y ( o
o j W B W ( jn
R }n j D o j z D z ( r o jA
o
n
j j ~
o
n '
oW W j n
1 2 3 4
5 6 7 8 9
10 11 12 13 14
15 16 17 18 19
20 21 22 23 24
} Y )
k Y Y
Y A F o }n k j D oW j W
o
o W o j A
) Y W j c o j n zc j
o
A n c ( jn
oW k Y }B W j n o
$ Y Y
W n j o z D ' D D zn j r r o2 n )
' W n k
W
R Y W mk n Y o' j ~
j } n
k k Y o
W j }n j r r oa
n o $ n Y j Y o n ~
j
j j k o j
Y oW F o$ n $ Y ( k
j k Y }) ( j
n z n Y k W }$
k Y ) a 2 } Y Y W oa
W o } j Y j n z j
) oW Y $ F }
o mn j Y o n 2 j
W o( ~2 k R Y ) n Y R j F mn a j j F n z j
j
j k o j mn m o j o
R ) ' c $ m o
( k ( % R o mn j }n m B n ~ R m o
j
Y oW R Y W zD | ) oR }n j j k ( W $ W Y W
j n Y W j Y oW n Y W zk Y R Y oW o ~
| U
j
j W j r oW j
Y W o j
oW n mn j r n Y o j o $
U W
a
n n ~ o Y n Y oW r j Y n
o2 Y W n Y
j o R k ( j k n z
' m ( z Y Y k
j oa o mn ( j oW }n Y Y
j k j } 2 mn o )
a Y Y n ~2 a
j
Q o j
oW jn R
' k n n Y
o$ j $ n oW B j n
W $ o' j }
j
j c
B W
Y ~
2 oW k
oW oW c j r n
k Y Y
Y oW j o n
n Y W j oW n Y Y o
j mn
n Y ~
$ j k o mn j Y Y o j o W }n Y j ( z
-
8/14/2019 Finding Optimal Solutions to the Twenty-Four Puzzle
2/6
j oW n mn Y j ~
W j o
j mn ) W Y Y W (
W
o o o o ~
oW B o oW $ Y F j oW ) $ Y Y W o ~
k Y
l
W j k j ' n k oW j W n U
j )
o Y W
F k o ' F Y n oB j Y
$ oQ j o W B
j
R 2 n n '
j
W
Y ' j o }n j oW n mn (
~
o n oa j) W (
Y Y ' B k m n ( F Y Y r
Y } r Y Y j W ) Y Y k o " r Y
W o ) oW ( j
j k n j
Q n B ( n ~) j k z
j m $ k o m ( F n W B
o W Y W n Y o'
o Y W n Y ~
$ o ' %
n W j k B n k W Y n
oR j z
' m ( zD o jF Y
n W )
j j oc
o
Y o W o j Y j j
( j Y ( j j Y ( ~D |a n j $ Y oD R
o j c c
Y Y
Y z
$ n oW n Y o j j (
k
A o
j a Y
f
} j D o j o
} Y ) ~
Q bY i
d xU d
T k T a
a b T Y T V
" !$ #& %( '0 )2 14 35 #7 6 !9 8 @B AC %7 DE ) !G FH @ !G 8
oW $ o } Y j k ) $ mn ) k " j
j j k o
j j o
Y ( j n P I
Y W oW 3 Q j Y oW o z
j ( zD j R Q Y } ( n n ~ R j Y o
' $ oa j
c }n j n W " n c n Y F z Y j ' m oW ( ) W j m 2
} j Y o Y o( ~2 n 2 j $ Y n z
a ) U
Y B j Y o'
R W oR $ 2 F
j n r ( zk W ) m oW
z n Y A 2
A o ) Y o F mn R k n Y Q 2
A n
W z W j y
n
Q $ j o oR k k z j
j W ~
k
oW ' F mn o2 j W R Y n n Y k $ )
j
j
j k oW j c
a n z $ m o j jn Y k
j
j j k o j
n Y ' mk n j W }B jn k F o o Y n ~
|a o' j Y
j $ z( D
W n ) W j Y o2
o
$ ( R
j n k ( z Y R $ n W B F mn oR j $ jn k (
W "
j
j j p k o j n za oW mn W j ) B o
o) mn W o ( D zR j ' W o) ) o $ mn ) Y
W
W $ n j k ~" Y
F n z j $ W o) }n k j ' o n
j
j 1 j j n Y F " n I ( ~U k
B r W jF $ m o n W ( oW n mn j) 9 n P I j
m W j Y F mn o z j A
o ' ( Y ja $ n P I
j
n W n k j zn n
o o F mn o' j F jn k ( ) W B
j
j j k o j n z j F oW D Y oW m j k $ oW o Y ~
o) jn Y k W
j
j j k oW j
Y W oW
W ( k o
k Y ) Y Y k o2 } Y j R | Q n
Y R k B W n Y }
j $ k ' j } Y k ~
j Y k n j Y n F Y Y n $ Y Y }Q
Y ( j n I W o
oW oR k Y Y k } Y j k j n jA j a 2 ' z
' m ( z n 2 j Y 2 $ mn $ k j' j mn n ~c 7 S)
k W ) $ Y Y W Y }
o
o W ' k mn mn oc Y W ( n F Y Y W }
j o W n W } j o o Y W ) Y j n Y o 2 oa j) W
$ zk j F W $ j $ n F Y Y W }
Y W oW
mn j j)
W n
j o j ~
T '0 FH @C UV 3 WX % F4 AY %0 D5 ) !9 F` @ !9 8
Q Y Y
j $ k 2 W B
Y o W o j o ) n )
j oW a F mn o' j) oW n Y W zk
) Y oW W Y W
Y j Y
W $ oQ }n j n oW W n z
Y n W Y R
o j o n ~
Y o z
R j o F mn Q ) Y o '
a $ m
F R W }
( z
a
B ) W k ~
n z F ) ( k j W B
j oW $ m n zk
a
R A R ) Y o ' A
Y Y
2 Y ( ~ r
a j
j W j k oW j
oW a o
o n F Y Y W ( ) W )
' }n k j D n o W Y o( z Y Y oW o
) R W Q o
F $ o B Y $ z o) j
j W j " r oW j
n j $ $ Y Y j j' j
n }
2 Y Y c n W Y ~
r F j n zk Y o oR
) oa
n z o j k
j j k o j Y n jn n $ F Y Y j W jA j
Y }
Y Y n W Y ~
Y o( z 2
A oR Y n Q
$ n oW n Y $ z j F
B W R o Y
z
' a j $ jn Y ' $ m o W
a j
j j $ k oW j n zY j
oW D Y o W mn ) jn k F oW o Y n ~
' $ mn oB j o 3 j o j $ mn
F k ( z c j R j Y k ( a j n aU j k n
n
Y R oW j W o( ~
a c b ( ' B jn Y r W n j Y $ m o
o W o j m $ j k W W $ j W n a |R Y ~ k ) ( j
j W n ' | F
Y Y
Y j }n k
j W $ Y W $ o j o j k Y Y k o) j o
) Y W mk Y o
W j n z o j mk Y }$ j j W n j o Y a j n r a
j } Y k o j mk }n o $ Y Y k oa }n Y j ( ~
R j F Y F
R o j F k ( jA
R j oW ' $ m o( ~
2
j oW F mn a o jn k k $
$ R W n zk
Y r W j o
F mn ) Y o A
$ m B
) }
( zc
r ~ k $ j W k zc
j oW ) $ m o) jn k k "
W zY
Y Y j o $ m a ) Y oW
Q $ mn Q
W }
( z n
( r ~" ' n o k W }
j o
F mn o$ j p j Y U Y W Y $ F mn o
j
j W j
r oW j n ~ Y r }
oR r ( j) W $
B j oW R
W ) $ m o
j o n a o d bD ( W m B $
' k n n Y
Y ~
U Y W n 3
Y ( j n I j y j o
F mn o
j $ k o z j j k j j k $ o oW Y n z
) o Y o k a
k jn W n Y o ~2 Y j $ Y n zk j oW o Y F
j
' oc Y n 2
$ n oW Y $ z j
a
W Q o2 Y n ' )
R W n ) ~c
) a o2 F W o2 }n k j D n
$ z j F j) $ n I R
j Y n
R n zY
jn Y k W j $ m oa jn Y r ( k
B Y ( j I
n Y A Y oW ( R F mn c
' W ' ( z j Y } c R j o o
Y }
$ Y B Y ~ k $ j W k zY
$
oQ oQ }n k j D zD j F j I ( z
' $ jn Y k
W n j Y ( j I 2 F mn o n Y A Y oW ( Q $ m 2 Y
j
F
W n Y }
Y Y B Y ( ~
Y o zD
Q 2
o B k Y o Y Y z ' B j 0 e a jn Y F ' B F n W
F mn o n
$ j o $ mn zD o
j j Y k B
F mn o j ( j k " jn k ( k
Y ( j ) I
o W ~
r F j n zn j k $ jn Y k W j $ mn o j Y k ( n
R j o '
F mn o ) Y o j o
( W n ( j }k j Y oW Y ( j n P I o k
m n mk Y }
Y z' Y z j y ( o( ~U }n j z'
Y mn
F n W B
j n Y
Y oW o Y } Y oW ( D zc ' ) ) Y o R n %
Y
k jn W Y o ) j k j ) jn r $ o oW n ~
fh g i Y q pG r( sF t rv uw p$ x7 p H gY t pG r( s y i g n q
2 ( j k c j
n U
j j
Y oW j oW ( n
j o $ mn o
o n Y W n U o) j W ( Y k ( W n j a o j
~
F n oWd b
mn n f Y k n j
Y oW oW ( j
o
j ( W F o ( j
Q k Y Y } j oW n U (
j Y n n ~F | $ Y jn k
o o j
j
j F W n f
}n k j oW j oQ $ D zD j
Y Y k o
F
o oW ( j
j W oW ( D ~ |R o
W Y n
$ Y j oW j n z
Y W o F j Y j n Y o
jn k W B k W F Y
R F Y k o j Q ) j k o j
)
W F ( ~
o
Y W o ' mn j oc
jn k (
r oW j W n
) Y W j c o j F
) }n mn Y Y k z
-
8/14/2019 Finding Optimal Solutions to the Twenty-Four Puzzle
3/6
Y Y o'
r oW j Q 9
R $ '
R } j o j n z
a j $ j Y j W B jn k F o o Y
Y o W ~
" jF Y Y k n j 2 oW ( j
zc
Y W oW A Y n o
j j k oB $ Y Y W ( j oW }n ) }n k j 2 oW j W n ~ |a o) j o Y ( z
Y oW B j Y j W n j Y F ( ) W $ j n B j
mn j j }
o ~c
j k A n W Y k ( n j Y o j
z
' m ( z
Y W o R ) o ' B j Y j W ( F j
Y W j W j oR ' o j o zc ( r Y }
) n Y n W Y W oQ n
Y $ ( j n ~c
B j Y ( n n ' W W o oW ( k Y Y o
B Y U U j jn W n F }
) n U
W
Y o
Y }
oF F Y m ( W F $ o j
z
Y oW o n Y "
j
j j $ k o j
Y oW ' ~ q e o n ( j 2
oW F j c oW Y o n Y ) jn
m ( F
jA $ a $ Y
Y o W R o
j o ( j n P I ( ~
14 3& ) #X % )
! % F AY %0 D5 ) !9 F` @ !9 8
A Y Y a
j $ k W ) n Y
Y o W Q Y Y oW oa
Y o D
Y Y n ~' Y c j $ z
Q oc ) o
} j o zY Y a o $ W R
R
j
F oQ
) n oW W n z
w R
j mn R ) F mn $ n j )
W ( o
a n ~
o W ( Y o2 ' $ m oD
n z n Y a F mn n Y Y n o W z j R j Y n
c
F mn 2 j D ~c c
W o' k m n mn ( $ jA p n I z
) F mn o' j ( j k $ B Y k ( F n ( z j F Y
F n j $ j Y k ( ~ j 7 e Q ) k mn mn ( F jF n Y F
I Q c t e o o } j n o W ~
) o j $ $ j Y Y oR
$ F n z Y Y o oA
$ o
k mn m ( R ) j n Y $ n I ( ~c A jn z n
R j
W o j $ n o W Y ( D z2 j
$ ) o Y n z
Y $ m o j B jn Y r ( D zY oW n
w ) j
W o
j m a ) F mn W $ n W ( W n oW n F
~
o' Y j o ) j Y o W B
) ( Y z ( zY Y z j $ W o ~
R j Y Y o W )
$ j oa j oQ zk Y a
k jn
W )
o
Y W o
a j o 2 F mn o
o W o2 o
$ Y
j W j m n A
Q mn
( jn
o j Y j W n z
' R k
) j F o2 n
Y
Y W o ~
n W Y
Y oW $ j k W j jn Y Y
' mn j Y k j Q $ mn oB W "
j
j j k o j n z
' n ( jn
a
o " o) jn j k
W a
Y o( ~
oW a Y j F mn o ( Y W a
j j ( j o 2 Y
o F o oR oR }n k j o n z jF oW W j W n
j
Y Y Y oR j n n a 2 j k n f oW j W o( ~Q |9 o ( j
} j z
' m ( zn r o n } Y j W j j k n o j )
Y Q oW j o zk Y Y o2 Y j oW ( ) W j % o j o
j j W o
W
$ } j zD B j A j o ) j ( j B W
o W %
o n ~' n
' n r o( zY
oW ( j
o W k Y }) $ n W ( W
n oW W n
o( zD j
)
o
Y oW B j Y k oR Y j
F mn o )
$ n W R W
j Y F r ( W (
j j k o j $ Y Q oW j o ~
oW Y $ j k z '
j mn ' n Y oW k
W
j $ W o
W
j
j j " k o j
Y W o z j oW ( ( j
I W o( zY
a j o 2 F mn o zn j
n o( ~
Q j o
' $ j W k W Y k (
n '
oW a F n ~
x X i2 bk w@ ic q xU d T k T a Q bY T Y T V
y
o
j $ W o o Y f j )
$ n W
Y
Y W o z'
j Y ( j ) j n ( "
k j r oW ( D
jn W k o( ~ Y Y W
$ n z k W }n j Y }
j $ W o" W n }n
U k j jn r $ o oW
Y W o
oW F o ) n W R mn $ n W a k n j k o ( ( j o n } ~
mn zn j n
oW
Y o W o2 j k m ( R n j' }n k
j k
n W R
j D oD j }n R k n j k k k z( j Q
Y oW o j U j n j W j ( j W Y ( j U j Y Y ( D ~
' n n j j
j F
oW
Y oW o ' $ r o mn ( W n f
B } Y j 2
k zD
W ( j $
R
n F j oa k o m j W
R jn ( ~
) j oW o
n W jn k F o o Y
o W A Y W Y o
oQ
j a
j W B
B o W o 2 n j D o n Y W n Y o W $ o %
Y Y $ o z r mn ) k $ mk Y } Y o W j k W oc
n } j D Y W n Y
( j ( ~ Y a j F Y n zk 2
W $ m
k n U
j $ j W j n Y $ m (
k
F Y j Y o zc
F oW Y Y } n j o
j k ) W B F mn W $ j k $ jn jn k n oW W n j j k ) $ n z
j j o ) Y Y o W ) r Y k
o j F n oW n ~
k Y ) a $ m oR n Y W j o n m )
o o $ Y
( n o
j
j j ) k o j
' Y j
oW j W B
}n k j o j ~2
a
o
n jn n Y k o n
j k
Y W oW o n j k B n $ o( z a k k o 7 e r j
j k Y
j mn 2
j $ W o W j
j W j B k o j ~
D& @H 3 ' @ !G 8 ' T %( '0 ) #5 !$ # @ & % AC %7 DE ) !G FH @ !G 8y F
|Q j W j W mn r mn j W n j
j W j 9 k o j o
j o ) n )
a }n j k Y Y z Y Y Y Y oW o' n ) n A n Y
W j j F n ~2 Y ( jn
n oW o Y Y j W n c ( jn
k
mk k j 2 n z ) n W j o ( j
W n W ( o
j F n z }n n Y }" j a n
F o( zR j n Y n Y k Y }
F mn oR a
F ) " Y o ~
o oW ( j
z j o j
o) Y Y " r W $ Y ( k "
n oW n
$
k oW j
) n o W
) Y j Y D zD oW $ j c n
W oa j Q ( Y mn j k ( ~c k R
R n j n W o c
R o k Y }
W c Y j 2 k mn Y n z ' j R j' oW }n c o ( j
n c ( jn
W n z o j W }a n oc }n k j k o zn j W ( n
p j k $ m o'
R j R W ( Y ( W B F mn
mn W B
o n ~ Q n Y }a
oc j n o2 W o W o2 j
j Y 2
}n m o( z ( j
o o Y 2 n oW n R Y ( j
n z
W o j
j j k o j W n W oR }n j c o n ~
z
n Y }Q
j ( j
F mn Y R $ mn oD n Y 2 W z n j }n mn
oW j ) jn Y Y
) j
j j r oW j oR ' ( jn
W ) }n j j k $ o oW Y
Y o W n
oW j n ~ n o z
' a k 0 e 2 ( j A Y ( W B k
o ( j
o j o zk o
' ) j j o k W F
mn j Y o W n 1
Y Y z
Y ' B Y W o W ( a
oR j W F j W j o )
r n j k oW F ( j o n }" j o$ n oW o Y n za j j
r n j k r k k ' o ( j
~
) mn j Y
oA ( Y o W n a j
j j k o
j B o
j a oW Y }n } o W o jA Y
a } Y j ( j W n ~
j m Q n W ) Y j Y o k oR ( jn
W R $ oW n j W zY j
a j Y jn D
a o Y Y }
Y W oW oW F o }
n Y }
k jn n Y o '
R o( ~
R n k mk n Y o
Y oW o2 ( j
R j mn Y W Y o oQ n $ j o o Y
j o2 W o( ~c ) n
2 ' n k o( z 2 ( jn
j 2 D o( zk j
jn
) Y j W ) 2 n o W Y o
n Y F Y Y k k z
n j o j
W
A }n j c o n o( zc j n A n Y
F mn oR
$ ' o a k oW ( ~ $ j
o mn j
!# " % $ ' &) ( ) a
) ' W o
B } j
Y j n Y o ~) | oW j W )
o oW ( j
Y o o W o a
) n o
-
8/14/2019 Finding Optimal Solutions to the Twenty-Four Puzzle
4/6
W Y o)
' W o$ j
o n U
Y j Y D z
oW j n
2 o j ( Y mn j ~D |a }k j A n 2 c S k z
) ( jn
j R o j n W j oW Y }n o ( j
oW j W Y }% @
}n k j n oW n Y o zk
Y j $ j o
) o' }n k j Y n oW W n zn j o W n W a
a j W o a k o j o
j n
n o W Y o( ~
) } j c a
oR o ( j
o W
o
n W o F j
}n j oW j W " j n oW o Y
n oW W n Y o' c
Q o( z
W R n Y ) $ m oc c
Q
W o) k W o $ j Y k ( D ~ j r
o
j
o o R oW ( j
z n Y k Y } n )
oW B F mn o ~
k F o j o) a
o oW ( j
o$ j W $ Y k oW Y }n o
j Y $ k
F o Y oB a
' o) j
Y j Y D z
R o R
o R oW ( j
oW jn oa o
zk
F o
k Y ) 2 o( ~
j D c o
o ( j
oQ
zY n a ( j
j W o z n R j$ W $ n F Y Y
~
A o 2
o Y Y }F j Y o ( z n
( j
j ' 2 o' jn
n ) Y j n ) n oW W n Y o ~
n j F n oW j Y j o2 W o j n oW n Y o zn
2 j
o $ r oW j o n j c
) oW Y
j
j j k o
j o) W n
}n k j ' o Y o( ~ ' mn z2
j
k o$ B j o o
j W o k o j k
( k o)
$ n ) Y Y j
j W j k o j n ~
W o o
R ' ) o j A j ( j n P I ( ~
A o (
o
) W o j ( R jF W oR }n j c o n
j jn k 2 jR n W Y z j B
W 2
j
Y }n o
z n 2
j
j Y Y o W a z
R n W oW k Y }) n W Y ( ~
'
R j oW oD o' 2 j z
j j jn k
Y j Y B n oW n B
a } j k oW j W n ~
Q ( j o n )
2 j
o k o j F j "
B ) Y Y ( j
j W j
k oW j o o
j a
jn W k j k oQ j W oW o j
o j W o
W n
} j oW j n zn j
2 W o 2 F mn c o W a $ m
)
F ) W
n W Y ( ~
Y o( zc n F Y Y W }
j c
) j W oW r oW j o k jF oW F Y o j
k o m
W o j
j W j r oW j j Y }
j
W
Y o W a
j $ W o r o W ( j mn n z
m )
W k n j k o ( W ( j oW n Y Y } ~2 n
a
j $ W o
j B k o mn W ( k )
j W oW R o ( j
o ~
! # @ & %2 AY %0 D5 ) !9 F` @ !9 8 F
A Y Y Y oW n o
p W j n j W j
j k
k jn W n Y o '
o
Y W o oc W a n F Y Y 2 j j
F oW o Y
Y o W o W j W R n j% j W Y j R oW j W n ~ |a o
oW Y $ )
j
j mn ) ( $ Y ( j 2
j o ) W
k oW j oa j ) o W n W ( )
$ jA j ~ R m $ j j W k
j oW j n z ' k n F Y j D
j W oW k o j o n
n oW W n Y o R
W o( ~
$ Y Y W $
mn
j
Y oW z R
j W W n
R W o k ) } Y Y o
' zY j ) oW Y @
n W oW k Y }F j oW k o j o( z
j j )
j j r F o
W o W Y }
Y W o Q mn j Y ~
a oW
o Y Y $ ( j k z( W Y W o k j oW j W a j o
jR } j
jQ Y Y k n c ( jn
n zn j ) j ) ( k }
( j
j D o( z j
j oW a k o j n ~
2 ( A a oW ( j' oW c k }n o W n y
o }n j
z o R
j
Y R ' a ( r }n o j n Y ( W ( ) W ja n $ F n Q Y Y k n zk j R
oW Y
) j o
) o ( ( ( k }n oB oR j r F ( ~
o Y W n Y 1 oa j ( F
j Y B ' }
( F j
Y }F Y Y zD j j B oW n mn ( $ n z
o
a k Y ) ' r r oR
j jn k $ W n B j $ r }n
n n ~
Y o( z
o j Y k jn
Y oW } Y j $ j
B j Y j W ( D zk j F W Y Y o k Y $ j k W F n ~
A ! X % )
) % )C AY %0 D5 ) !9 F` @ !9 8y F
l
k j W z
F j W oW $ k o j o$ k Y B jn n Y k
n )
Y )
o W
j F k o r
o ( U j mn n ~ n R j $ Y n zc n o k
F ( j k
I oR oW k (
o F ( z
j Q n k R
$ W n ~
$ Y ( j nI
Y o W ) ' n Y jn
n Y $ m oR
j
j j U k o j a
oW W o( z
oW $ j c j W o j mn W o ( D z2 j '
) W oQ ) Y o
F mn c n D
2 ~
2 j o ' k o j ' Y ( j
j
a
o $ W o o F mn oR Y Y o
B j
j j " k o
j o( ~
}n j
oW k j W n
o oW j n F oa j
W j }n R W o zY
( j
( r }n
W j Y }
j mk Y }
' }
) ' z' }n Y Y }
j
j j k o j o( ~
j Y B j
Y } n U
oB } j
Y " n k j Y o n Y
k }n n z
j) W n j c }
R zD o j F ( k }n o
j mn j Y Y k n F $ ~
Y o zY
j W o k o j o
j Y W Y Y ) j W 2
Y ( j a nP I
Y W o ~
|Q oa j Y
' j F Y n zk n Y oW k
n
Y W o
W zY j F jR o j W )
j $ R W o j W W (
n oW n Y D z Y Y R
$ W A oQ Y n ~
Y
Y W o
' n jn Y n B F mn o W
j
j W j U k o j
$ W n z o )
j F W oA ) Y o Q $ mn
n W ( W ) j
W ~
} j
j Y W o j W
o o j n Y oW oW o2 j ( r }n ' '
Q j R
W o( zY j $ j F ( k } '
j ) o( zk ( j
j j ' ' zc a ' $ }n n F
j
j W j U k o j ~
r B n
o ( k } oR k
$ W zY ' B j n Y
oW ( Q n Y
z a j jn Y r W n ) 2 Y ) $ m o( ~
j k z(
Q
Q j oW k o j oa j Y W
a k
j $ k k U
j o $ m )
oW n Y W zQ
r o 0 e j Y W Y R
a j oW 2 ' $ m o( z oW a
oW k mn mn
B zY Y zY j W o( zk jn Y k W $ W B
$ R j o ~
n r B W j Y W Y
$ Y 2 ' R
oW
Y W o
W o( z ' ' Y
' r ( j j W oW k o j o2 Q k
W Y o W o( zY jn r Y Y o zY ~
( j n P I k
j $ Y R $ Q ( Y o o W Y o k j
o
W n }
} Q n j Y k j $ mn o( ~ ' $ n Y oW k
jn
n W Y W }n
n
jn j k R o( z
} a
A Y D ' Q 2
n W Y
Y W oW ~a j k z
j o ' $ m o
j $ k ( Y W o Y o k Y }
j ' mn F o)
j B j m n mn D ~
o n
Y }F j
Y } Y Y f o
k W }n j
j
} zk
W
jA o Y } a ( k }
Y Y ( W o F
W n ' $ Y Y k o( z j F Y k
n W Y j " o$
' $ Y W n ~
o( z' j
j mn
W " j }n ( k j Y Y W jn
}
k $ o n j
j
} Y Y zY j j '
o W mn j Y n ~c |Q o
n Y oW r
}
n k
Y o W o( z
n $ r c
( j Y Y } oW ( j
zc
) oW )
) k n k Y j Y n z j
n $ r F
) j
Y }$ j ( j o n z W Y W n
F n W jn Y j
Y oW R mn j Y o( ~
F m $
o) o) j } Y j
n W B
k o m
j F Y ) k j n jn k F o o Y
Y o W Y W
W n Y o ~c |a ) Y j W n j n $ o2 k mn m oW n mk Y } ) Y
W Y oW Y Y }n k j o( ~ j k jn k F oW o Y
Y W o o j k
oW W k Y o k Y }
Q o n Y W n ( j
k mk k j
-
8/14/2019 Finding Optimal Solutions to the Twenty-Four Puzzle
5/6
oW Y Y Y W n Y f o j z j }n n Y }
W j Y o
n
oW Y Y Y W n Y F o( ~A j ) Y W n n o Y }
Y o W o
j o ( F )
R o ) Y j Y Y o2 n o k j $ ' z
n z
F n ' o Y }n k j o( ~ |a o j Y
2 j F Y n zn Y o k j2 k
o
n U o
k Y Y } n ~
W j j oW ) n Y o
a n F ( D zk j F j ( n ) jn
Y o2
W $ jn $ Y o
~ 2 j
j
Y j $ Y ) Y Y oW o j
oW }n 2 n j j W F n ~ a j ) ) k W mn j ' n Y
p
Y j ' o n Y W n o$ W Y o k
oW n Y o
W ( Y ( U k ( jn
" k mk k j k z j oW Y
o) mn
j n Y o zc }n Y Y }$ W o Y n I W oB ' U
a n Y o ~
n Y } n Y 2 j Y Y k jn
z Y ' Y B Y o k j n j oc
Y o( zk $ Y Y W 2
oW n Y o n W ( A jn
j zn j
n F Y Y
j a o n o U oW Y $ F }
oW
mn j o' n a jA j W o R j W $ c
' n Y o ~
bY Q a T Q T VD ` y y i d 7
j n
oR j oa
Y W oW
Y o( zc ' j o Y oW ( j n
n W
}n j 2 W (
Y Y
W ) o }n Y j k ) o ( Y
r W F k o ~
|a k k
oW o j
z o
j oR |R Y z D } Y j W
B o j F r r B ) Y W W $ o j) } j
Y o( ~
n j F Y n z n o k j o j }n W U Y Y o jn n z
R F mn o
l
zY a z { ( zY j $ }
( z jn
$ m
Y } Y a Y 2 )
Q k j W ( $ k W ( ~2 k
j
Y $ m o mn o j z
j oW F Y a n $
j r Y
W o oW ( j
k Y
o ~F '
m ( z'
j $ Y
( k o W o j o$ j r Y
" jF }n W z j jF Y W ( jn r
oW B oW ( j
zc
o o) j
Y Y k o } Y j W ( j
( W k oa n a k Y j o zY D Y
( ' W F n ~
B k bD B n F Y Y ) '
Y W ( jn r
oW j k
oW a oW ( j
o j $ Q
Y oW j oQ
A j } Y r
o Y Y ~
"
$ } j F Y n z
F n j n j W o { }
j
l
k Q j W k m oW o$ ( j
~U |a k " } k r
k Y
W o o ( j
$ ) k j W n ' F ) B
j oW j W n j Y ( z j Y m $ ) ( k j j Y o
k mn W o n ~
oa j B k n k F Y k Y }F
R j oW n j
W n j Y Y ( $ j oa
o j W 2 jA Y o j W j
n ~
jn
Y
j oQ mn ) oW j W o( zc j W j c j Y oW R oW j W $ j
Y $ W ( Y W k oW j o za Y ) ( jn
j o ) F mn n ~y 2 jn
j Q
a jn
Y Y oW k oR j ) n j ( zk Y a
j
B k mn o A 2
A j o Q $ mn Q o k ( D ~
oa k o
n F Y Y c
k Y
W o o j
n
'
$ z j oW }n Y j k B W ( k W n z Y $ oW ' j W n
( $ Y Y
R Y jn k
o R oW ( j
~
o) k ( j j j ( Y
z j o$ k o
k j
j k n j a n n ~c r ( j z ' Y
n ) W j n Y Y $ j
W ( jn
r r )
$ } D ~
o j p r n Y k " o j k Y } j { n }
F mn o z( j k k z n k j o Y } 2 Y W zn j R
j
l
F mn o' n a j Q F $ mn o( z 2 j k k ~
o Y oa j j o
$ r n ( k jF mn o j % Y oW j W $ jn
Y n ~
Y j o j j oD j Y D n j o zn j Q ( j
oW Y Y }
oW j W ) Y k oB
B j o R $ m j Y Y ( D ~R
) j oW a $ m
j o W B
}
( zk j $ m o j W j ( Y jA $ m
W B
{ ( ~2 r F j n z
Q j o $ mn j o
R {D z
j $ m o j W j j $ m Q
' }
( ~ r
j o F mn j o
l
z
m ( zc
) n j j Y F mn
o) j Y
l
" F mn n ~ k F j n zD a
j o $ mn ) j o
Q z
Q n Y B j j Y c $ m o2 j n
Q ) $ m n ~
oF W o j j
j Y } Y j W " j o Y }
j
W B ( j
n k '
} D zY j
B j k Y
oW
oW ( j
k k
oa jn
Y a W Y Y oR $
z
o
R o j $ R j oa j Y W ( jn r
oW a oW ( j
~
o U W o j jn
Y o j y j Y W n j j
( j Y D z jF o j ( j k
W o ) o j
W k o m
r Y Y j W n j n ' o W Y } o( ~c )
o' j oW n zY jR Y W ( jn k
oW
oW ( j
$ k Y
' ) o o S W ) ( j W j D
k Y
j R oW Y } o W n Y oW a
j mn j
Y n ~ a R
jn
Y o Y o W ( D z
R o j F n oW Y mn
( j )
o Y }) W $ n k W n
k Y
W o R o ( j
~
oF (
Y Y j j Y ( "
n $ o( z
oW
j o
R o k Y } Y o ~2 | W ( W Y }$ k mn W o
j W n W o( zR
Y Y o
o Y y
o k Y }
Y o' o ' mn ' $ mn o n Y } z n W oW k Y } W W n j Y }
o2 ) jR R o n j ~
l
o Y } jQ Y W ( jn k
oW oW ( j
z
j Y W oW j R j
' n '
' k n Y
Y j o
n Y oW (
m a Y Y z n R o j W o( ~
oa jn
Y Q o
o ( F ) W j k Y
o Q o ( j
z ( W }) n k
j W n W o
j ( j ) k Y Y j W a Y Y k o( ~
R d bD (
o
r Y Y j W 2 Y Y Y }a o W a W ( k
j o k F Y c n F Y k
R D j r Y
W o 2 oW ( j
n
D W n
~
Q
o j B oW f n j oW j $ Y W mn ) z
' ( j oW o Y Y $ oQ n W ( zc k Y j Y k
Y } k ( W ( j oW (
Y Y Y } $ R | ) k jn W n oR
~ j Y ~ Y zc
$ j W }n $ Y W mn F k n $ Y }
j k Y Y ~
e w bY T Y `c a S 0 k a y
$ $ k | z' j k Y } Y a jn r mn j k j }n $
j
j j r oW j n z Y ( j I ( z j oW F mn o z
j y n W Y
o W o( zB j o B j o
W o j
jn
Y F Y Y } ~p r ' ' W n ( y
D k z2 Y $ Y F k j n j oA o ( j (
oW
Y oW o$ j
B k jn W n Y o zc j
)
j Y oW Y } j
} Y j j R k n k Y j F j
Y }B j }n n W
~
|Q o j W o W o B Y Y W n }n j z ' j p F n 9 ( n
j r n $ } Y j W ( F o n mn j Y Y oW j o
Y
Y n ~
$ Y W
Y F oA
F o k Y }
Y n zD j $ W o o j oW jn k j Y oa j Y ( r oW j o ~
|Q Y
Y a Y oW j o' a oW n mn Y j k z j
j m j }n 2 oW n Y W R Y }n
j o
~ ' F mn o z( j o $ j ( Q
j B j mn j } oW n Y W R Y }n
n ~ ' F mn o n
W
Y n ~
$ j mn j }n k Y ) R Y Y k ) } Y j W Y o
n Y o j j o j $ n oW jQ Y n z
o2 $ j
j Y ' Q
o }n Y j ( k R |R
o Y }) Y o
j
j W j k o j
o W ~
Y
k Y ( r }n n z
o j W a
W o j k Y
n @ Y oW j oa W ) R oW n mn ( F Y j ~
F
Y W Y ( U Y ) j W k n
' k n Y
Y n ~
j k n y o mn j Y 2 Y oW j oc }n Y j ( ~
r B
W B oa Y n W $ n o mn j j n F
W $ R F o n m
oW a Y W n Y F o( zn k bD W j n o | Q ' k
( j m ( A n B k bD Y Y Y o j o( z A n r c j
oW n mn )
$ j o n oR W o ( ~ |a 2 W " Y W n Y Y o j o
-
8/14/2019 Finding Optimal Solutions to the Twenty-Four Puzzle
6/6
~ Y j D k j Y k o R j ( Q Y j r n ~
n ( B ( F $ F ( Y ) ) $ q $
) B n
n (
n
n n
) ) B B ) $ $
( ( n ) n R Y )
v ( n F t (
n
q n R n F ( ) $ ) B ) ) B
$ B ( ) B n
n
n
( F ) ) )
( ) F ( ) F ( t $ $ B B ( n F n F
(
B $ a B B ) B B q $ ) Y R $
F n R
Y
( Y
( B ) B
B ) $ q ( F ( n )
Y ) $ v F
n
k n
Y R n F ( ) $ B ) B ) F (
$ q ) ) $ (
n
n
n
B ) $ B ) B B
) n F ( F t ) F ( $ w
A ( F (
(
n
n
n
B
B ( F ( ) B
( Y ) B ) B ) Q n ( F t
t
( F ) )
n ) $ $ q ) n F a B )
( ( F (
n (
n
j Y n
' k n Y Y Y W n Y 1 Y o j o( z Y Y k oa } Y j W ( D zD j F Y j Y o Y n F Y }n
o
' ) oW n mn $ Y j ~
j F R o
oR
B Y W n Y 1 k
oW j o( z o k S Y ~ Y jn
Y Y z ' }n mn
) k Y ) a ' Y Y k oR }n j ( j
n Y W j D oW n k
W Y }
~
W o j W o F @ $ W }
a j
W n W $ n W n zY
W Y W o k W }
Y j ~
o
Y j n z
B W oa 2
B } j o j W B }n Y W A Y
B o W ( k Y F j D n r ( ~
j mn j }n A n Y W j D oW
Y W U Y }n
n )
o U Y W n Y F o) o ( n ~ $ m o( ~
Y k R j o' W $ R zk Y Y o' n jB r Y
l
W j k j
' n W oW j n zD j } Y j W oB j n jF $ n F Y Y k oR
oW ( n D ~
j o oW Y Y k n y j n Y F
n Y W o
j ( F o W ) o n m n zD j F
$ o a k S Y oW n mn (
Y W n Y k n $ j Y 2
F n k
o( ~
o' o
W o oW
j r n
' k n n Y
Y o j oR $ oW n mn (
Y j k ~
i2 a VD W k T i2
"
j mn c Y R
oW Y j o Y n oD jQ n F Y
oW R 2 j k n f Y oW j oQ
' k n n Y
n z j
Y W n Y
j $ o B n A o j o ~
) Y j
Y }F j W
W n o$ Y ~ n Y z j
Y j ' o n Y W n Y o j mn j }n mn
n $ m o' Y } ~ R F Y ) k ) |R n j o j W
j A k o j zD
jF $ n W B ' j k $ oW o Y
Y o W Y W n za j j $
Y n F Y Y Y } k Y
j ) Y Y k o k
oW o j
~
F n o F j k
k Y n 2
oR j oR j$ }n j 2
n n
B j n j W Q k o m j j Y Y j n F j k $ oW o Y
Y o W o( ~ Y oW ( j Y o k Y } k mk k j oW Y Y } j o
oW n j W n zk Y j Y Y W j
Y o k W oR F n R $ R o Y r
} j o) oW ) j Y n Y oW k ~
o)
U j oB Y " j k
W n j j r o mn $ j
j j U k o j n z j Y }
a Y ( j n I zn j o c $ m o( z j B Y a
j
F k o F ( zk
Y
Y }) F n Q
j o j o ( j
oR
Y W n Y 1 o j n ~ 2 n Y oW k Y })
B F n Q o Y r
} j oR j j% $ zY m F n W ' Y
Y W o o j
k mn ( ~
| $ ' Y
Y W o Y n 9 W ( j oW o"
W F r r }n Y j W n k p jU n k Y n F j a j F n Y k ~
Q y
n
j D z $ } Y j r ( j o o
d bD ( W
W m ) Y j
Y } j k jF oW j 2 j F n Y k z k k Y } j
j o k $ Y W n W % $ Y W mn F k ( ~U Y ) o j Y W n Y F o( z $ n W
Y
o W o j U Y n o d b mn zB oW
Y k k o 0 e Q o ( j
k Y n Y }
mn n F a
n
n $ j 2 mn
( j D ~ |Q o) jn
Y oB } j oW j j }
n $ o$ j W jn Y k W o oW ( D z
' mn z o $ Y } o j )
mn $ k oR j
o W A Y W mn k j n F
n o A d b mn ~
o( zc j oR Y Y oW $ W ( j oW o( zc R
n $ o n
Y ( oW o j B j o d bD ( W m Y k F n W
k Y ( r }n $
" n y
n W ) F Y m (
Y oW o( ~
j mn $ k mn n ( j " j Y k jn
W k n Y }
oa j Y W n j j k ~
x V a i " d 5 0 2 y
oQ F j o o Y Y n W ( k Q Y R j k Y ( n n z
j j }n j k 2 n 1 Y W ' D k W j W n j ~
S D q b a V 7
Q k Y Y W } z ~ ' ~ zD j
~ R ~ oW n z
F R oW ( j
z
!% $ ( # & $ &) (z 2 n ~D n z ~2 z
j ~2 n z Y ~
(
~
a j Y o oW n z B ~ zk | ~ j ( zY j ~Q
Y Y } zY ' Y }) oW
Y n o W j Y ( F Y k oR k oR Y ' jn k F oW o Y
Y W o o z # & ! $ ! " ( &) ( z$ 2 ~ Y zn ~ zY ( n Y z
Y ~Y
n
~
a j ( z
~ ~ zc ~ ~c o oW n z2 j % Q ~ Q j
j z | j
j oW o n c
Y oW k W F j D $ Y Y p o
j
o( z& ( ') '0 '2 1 ! & (% $ ! ' & 3 &4 " 5 $ 6 " ( &) ( ' &
70 5 # !# & % $ ( z8 n ~n zY ~ Y zD n Y z Y ~ n
~
Q n z ~ ~ zY Q Y
oW W j mn k } ' |a Y
j n jn k F oW o Y W ' o j
z8 !% $ ( # & $ 9 &) ( z 2 ~
zY ~D zD ( n Y zk ~Y
n Y ~
j Y z % ~ z 2 | |a $ Y W mn ( F $ Q o ( j
j }n
z@ ! $ ( A & $ 9 # &) ( zB n ~
Y zk ~ zB Y Y
( n Y z Y ~
n n ~
j j k $ W z R ~ ~ zn j $ ~ r }n zC 7D & $E ' !
F $ G $ H & IP Q R ' ! $H S ' & T 7D V U $W 5 z
W k
a j zk c Y } k Y ' bD o( zY A ~ ~ zD ( n Y ~
( j W zX ~0 Y ` ! $ ( z |R Y k o k o k z ( jn k Y } z |B z
( ~
j ( z {2 ~ z j ~ ~ Q n z
Y } r Y Y j W Y Y k o2
k Y
oW ) o ( j
zb a !c ( &8 d e $! S g f $ ! ' & h 7D &
! &) ( 6 &i ! $ ( p & $ 9 # &) ( r qH s s h c tR u( vn z2 " j o
Y }n W n ~ R ~ zB Y n zn ~
n
n ~