SLIDE 1
Vadim Zaytsev, SWAT, CWI 2013
Alphametic Cryptarithms and Polychromatic Coppices
6th SATToSE 2013, Bern
Alphametic Cryptarithms and Polychromatic Coppices 6th SATToSE - - PowerPoint PPT Presentation
Alphametic Cryptarithms and Polychromatic Coppices 6th SATToSE - - PowerPoint PPT Presentation
Alphametic Cryptarithms and Polychromatic Coppices 6th SATToSE 2013, Bern Vadim Zaytsev, SWAT, CWI 2013 Henry Dudeney, 1924 Cryptarithms brain teasers obtained when digits in numerical calculations have been replaced by letters
SLIDE 2
SLIDE 3
Cryptarithms
brain teasers obtained when digits in numerical calculations have been replaced by letters
http://www.cut-the-knot.org/cryptarithms/st_crypto.shtml http://en.wikipedia.org/wiki/File:Henry_Dudeney.jpg
Henry Dudeney, 1924
SLIDE 4
Alphametics
cryptarithms in which letters form meaningful words,
- ften in meaningful phrases.
http://www.cut-the-knot.org/cryptarithms/st_crypto.shtml http://www.amazon.com/Mathematical-Brain-Teasers-James-H-Hunter/dp/0486233472
James Hunter, 1955
SLIDE 5
Send more money!
SEND MORE MONEY
+
SLIDE 6
!"#$%&$'()%**%+,)- ./
!"#$%&'()$*")+,-%.+/
!"#$%& !"#$%&'()* ()*+$%(* $%(*+%,* %,*--'(),./01)/0,)2345 '''.('6'578'98':8';8'<8'=8'>8'?8'@8'ABC '''1)*"1, 1)*"1,'5+D8E8F8G8/8H8I8J-'K' ''' '''%,* %,*'D'LM'.(8' ''' '''%,* %,*'E'LM'.('M'5DB8' ''' '''%,* %,*'F'LM'.('M'5D8'EB8 ''' '''%,* %,*'G'LM'.('M'5D8'E8'FB8 ''' '''%,* %,*'/'LM'.('M'5D8'E8'F8'GB8 ''' '''%,* %,*'H'LM'.('M'5D8'E8'F8'G8'/B8 ''' '''%,* %,*'I'LM'.('M'5D8'E8'F8'G8'/8'HB8 ''' '''%,* %,*'J'LM'.('M'5D8'E8'F8'G8'/8'H8'IB8 ''' '''D'N6'78'/'N6'78 ''' '''''''''''''''3D'O'9777'P'E'O'977'P'F'O'97'P'G4'P ''' '''''''''''''''3/'O'9777'P'H'O'977'P'I'O'97'P'E4'66 ''' '''3/'O'97777'P'H'O'9777'P'F'O'977'P'E'O'97'P'J4BC B
1Q(&Q$R(),./01)/0,)234 ()*+$%(*+%,*--S'5+A8=8>8?89878@8:-B
"""""""#"0"1"2 3""""4"5"6"0 7"4"5"1"0"8
9:;9<:<== >+?'./(%.+/)@
Slides courtesy of Prof. Dr. Paul Klint
SLIDE 7
Send more money!
9567 1085 10652
+
SLIDE 8
Green and orange are colours
GREEN ORANGE COLORS
+
SLIDE 9
Green and orange are colours
set[list[int]] colors(){ ds = {*[0..9]}; return {[G,R,E,N,O,A,C,L,R,S] | int G <- ds, int R <- ds - {G}, int E <- ds - {G,R}, int N <- ds - {G,R,E}, int O <- ds - {G,R,E,N}, int A <- ds - {G,R,E,N,O}, int C <- ds - {G,R,E,N,O,A}, int L <- ds - {G,R,E,N,O,A,C}, int R <- ds - {G,R,E,N,O,A,C,L}, int S <- ds - {G,R,E,N,O,A,C,L,R}, G != 0, O != 0, C != 0, (G * 10000 + R * 1000 + E * 100 + E * 10 + N) + (O * 100000 + R * 10000 + A * 1000 + N * 100 + G * 10 + E) == (C * 100000 + O * 10000 + L * 1000 + O * 100 + R * 10 + S)}; }
SLIDE 10
Green and orange are colours
83446 135684 219130
+
SLIDE 11
Green and orange are colours
GREEN ORANGE COLOURS
+
SLIDE 12
Polychromatic
having or exhibiting a variety of colours. Origin: 1840
http://dictionary.reference.com/browse/Polychromatic http://commons.wikimedia.org/wiki/File:Double_slit_x-ray_simulation_polychromatic_false-color.jpg
SLIDE 13
Coppice
a thicket, grove, or growth of small trees First Known Use: 1534
http://www.merriam-webster.com/dictionary/coppice http://commons.wikimedia.org/wiki/File:Baden%27s_Clump_-_geograph.org.uk_-_489536.jpg
SLIDE 14
!"#$%&'("#)"*+',$+-.(/)'0+12+344+5%16$7'& 89
!"#"$%&'$%%()*!"#$$
+ ,
- .
/
!"#" !"#"$%&'(($)$*("+,-.#
- .#$/0
$$$$$$$$$$$1$'(!,%&'(($*(+#2$%&'(($'-34#0$ $$$$$$$$$$$1$5*"67,%&'(($*(+#2$%&'(($'-34#08 $$$$$$$$$$$$$$$$$ 9:5*-6 9:5*-6$%&'(($'5$)$ $$$$$$$'(!,5*"67,*("+,;02$'(!,*("+,<02$*("+,=0002 $$$$$$$$$$$5*"67,*("+,>02$*("+,?0008
Slides courtesy of Prof. Dr. Paul Klint
SLIDE 15
!"#$%&'("#)"*+',$+-.(/)'0+12+344+5%16$7'& 89
!"#$%&$'()*+,-(."/012(3
!"#$%& !"#$%&'%() %()'&()*$+&,-./0122')34 '''56%)&7 56%)&7.)3'4 '''''&+52 &+52'$2+8.93:'''' 12)"1( 12)"1(';< '''''&+52 &+52'#$+&,.$=13:' 12)"1( 12)"1('-'>'&()*$+&,-.$3'>'&()*$+&,-.13< '''''&+52 &+52'12?.$=13:' 12)"1( 12)"1('&()*$+&,-.$3'>'&()*$+&,-.13< '''@< @ &()*$+&,-.'''''''''''''''''3''AAB'C 3 4 5 6 7
Slides courtesy of Prof. Dr. Paul Klint
SLIDE 16
!"#$%&'("#)"*+',$+-.(/)'0+12+344+5%16$7'& 89
!"#$%&$'()*+,-(."/012(3
!"#$%& !"#$%&'%() %()'&()*$+&,-./0122')34 '''56%)&7 56%)&7.)3'4 '''''&+52 &+52'$2+8.93:'''' 12)"1( 12)"1(';< '''''&+52 &+52'#$+&,.$=13:' 12)"1( 12)"1('-'>'&()*$+&,-.$3'>'&()*$+&,-.13< '''''&+52 &+52'12?.$=13:' 12)"1( 12)"1('&()*$+&,-.$3'>'&()*$+&,-.13< '''@< @ &()*$+&,-.'''''''''''''''''3''AAB'C 3 4 5 6 7
Slides courtesy of Prof. Dr. Paul Klint
SLIDE 17
!"#$%&'("#)"*+',$+-.(/)'0+12+344+5%16$7'& 89
!"#$%&$'()*+,-(."/012(3
!"#$%& !"#$%&'%() %()'&()*$+&,-./0122')34 '''%() %()'&'5'67 '''8%9%) 8%9%).)3'4 '''''&+92 &+92'#$+&,.:;:3<'&'5'&'='>7 '''?7 '''12)"1( 12)"1('&7 ? &()*$+&,-.'''''''''''''''''3''55@'- 4 5 6 3 7
Slides courtesy of Prof. Dr. Paul Klint
SLIDE 18
!"#$%&'("#)"*+',$+-.(/)'0+12+344+5%16$7'& 89
!"#$%&$'()*+,-(."/012(3
!"#$%& !"#$%&'%() %()'&()*$+&,-./0122')34 '''%() %()'&'5'67 '''8%9%) 8%9%).)3'4 '''''&+92 &+92'#$+&,.:;:3<'&'5'&'='>7 '''?7 '''12)"1( 12)"1('&7 ? &()*$+&,-.'''''''''''''''''3''55@'- 4 5 6 3 7
Slides courtesy of Prof. Dr. Paul Klint
SLIDE 19
!"#$%&'("#)"*+',$+-.(/)'0+12+344+5%16$7'& 88
!"#$%&$'()*+,-(."/012(3
!"#$%& !"#$%&'%() %()'&()*$+&,-./0122')3'4'5%62.'7('8'9(:#$+&,.;<;3':4')='3> &()*$+&,-.'''''''''''''''''3''44?'@ 4 5 6 7 3 (((8009(:+%,;("<()(<"=(1#>%=001(
#$+&,.;<;3(+$/(>&$/(0+,;(%"((
(((((!"**0,%(&$(*&1%(,":9=0;0$1&"$(+$/(/0%0=:&$0(1&?0 ((( @+%%0=$(:+%,;(A&%;( 1#>B0,%() 7(A('8'('BC'7D'EE'FD==
SLIDE 20
To summarise
http://commons.wikimedia.org/wiki/File:Torii_kiyoshige_bando_hikosaburo_ii.jpg
SLIDE 21
To summarise
- Rascal is a language
workbench
- Sets, relations, maps…
- Grammars, ADTs…
- Cool comprehensions
- Cool pattern matching
- Many more features
- http://www.rascal-mpl.org/
SLIDE 22
Questions?
http://www.rascal-mpl.org