cws/cw03.tex
author Christian Urban <urbanc@in.tum.de>
Thu, 06 Dec 2018 22:51:46 +0000
changeset 237 db4d2fcd8063
parent 216 8c868feb917b
child 265 59779ce322a6
permissions -rw-r--r--
updated
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
6
aae256985251 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     1
\documentclass{article}
aae256985251 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     2
\usepackage{chessboard}
aae256985251 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     3
\usepackage[LSBC4,T1]{fontenc}
149
3a6f51bc6121 updated
Christian Urban <urbanc@in.tum.de>
parents: 148
diff changeset
     4
\let\clipbox\relax
39
c6fe374a5fca updated
Christian Urban <urbanc@in.tum.de>
parents: 38
diff changeset
     5
\usepackage{../style}
213
f968188d4a9b updated
Christian Urban <urbanc@in.tum.de>
parents: 212
diff changeset
     6
\usepackage{../langs}
166
780c40aaad27 updated
Christian Urban <urbanc@in.tum.de>
parents: 163
diff changeset
     7
\usepackage{disclaimer}
6
aae256985251 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     8
aae256985251 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     9
\begin{document}
aae256985251 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    10
aae256985251 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    11
\setchessboard{smallboard,
45
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
    12
               zero,
6
aae256985251 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    13
               showmover=false,
aae256985251 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    14
               boardfontencoding=LSBC4,
aae256985251 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    15
               hlabelformat=\arabic{ranklabel},
aae256985251 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    16
               vlabelformat=\arabic{filelabel}}
aae256985251 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    17
45
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
    18
\mbox{}\\[-18mm]\mbox{}
6
aae256985251 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    19
213
f968188d4a9b updated
Christian Urban <urbanc@in.tum.de>
parents: 212
diff changeset
    20
\section*{Coursework 8 (Scala)}
6
aae256985251 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    21
50
9891c9fac37e updated
Christian Urban <urbanc@in.tum.de>
parents: 48
diff changeset
    22
This coursework is worth 10\%. It is about searching and
212
4bda49ec24da updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
    23
backtracking. The first part is due on 29 November at 11pm; the
4bda49ec24da updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
    24
second, more advanced part, is due on 20 December at 11pm. You are
50
9891c9fac37e updated
Christian Urban <urbanc@in.tum.de>
parents: 48
diff changeset
    25
asked to implement Scala programs that solve various versions of the
212
4bda49ec24da updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
    26
\textit{Knight's Tour Problem} on a chessboard. Note the second, more
4bda49ec24da updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
    27
advanced, part might include material you have not yet seen in the
213
f968188d4a9b updated
Christian Urban <urbanc@in.tum.de>
parents: 212
diff changeset
    28
first three lectures. \bigskip
50
9891c9fac37e updated
Christian Urban <urbanc@in.tum.de>
parents: 48
diff changeset
    29
166
780c40aaad27 updated
Christian Urban <urbanc@in.tum.de>
parents: 163
diff changeset
    30
\IMPORTANT{}
144
716042628398 updated
Christian Urban <urbanc@in.tum.de>
parents: 110
diff changeset
    31
Also note that the running time of each part will be restricted to a
213
f968188d4a9b updated
Christian Urban <urbanc@in.tum.de>
parents: 212
diff changeset
    32
maximum of 30 seconds on my laptop: If you calculate a result once,
144
716042628398 updated
Christian Urban <urbanc@in.tum.de>
parents: 110
diff changeset
    33
try to avoid to calculate the result again. Feel free to copy any code
716042628398 updated
Christian Urban <urbanc@in.tum.de>
parents: 110
diff changeset
    34
you need from files \texttt{knight1.scala}, \texttt{knight2.scala} and
716042628398 updated
Christian Urban <urbanc@in.tum.de>
parents: 110
diff changeset
    35
\texttt{knight3.scala}.
39
c6fe374a5fca updated
Christian Urban <urbanc@in.tum.de>
parents: 38
diff changeset
    36
166
780c40aaad27 updated
Christian Urban <urbanc@in.tum.de>
parents: 163
diff changeset
    37
\DISCLAIMER{}
39
c6fe374a5fca updated
Christian Urban <urbanc@in.tum.de>
parents: 38
diff changeset
    38
c6fe374a5fca updated
Christian Urban <urbanc@in.tum.de>
parents: 38
diff changeset
    39
\subsection*{Background}
c6fe374a5fca updated
Christian Urban <urbanc@in.tum.de>
parents: 38
diff changeset
    40
c6fe374a5fca updated
Christian Urban <urbanc@in.tum.de>
parents: 38
diff changeset
    41
The \textit{Knight's Tour Problem} is about finding a tour such that
110
62389faa66e4 updated
Christian Urban <urbanc@in.tum.de>
parents: 86
diff changeset
    42
the knight visits every field on an $n\times n$ chessboard once. For
62389faa66e4 updated
Christian Urban <urbanc@in.tum.de>
parents: 86
diff changeset
    43
example on a $5\times 5$ chessboard, a knight's tour is:
45
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
    44
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
    45
\chessboard[maxfield=d4, 
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
    46
            pgfstyle= {[base,at={\pgfpoint{0pt}{-0.5ex}}]text},
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
    47
            text = \small 24, markfield=Z4,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
    48
            text = \small 11, markfield=a4,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
    49
            text = \small  6, markfield=b4,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
    50
            text = \small 17, markfield=c4,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
    51
            text = \small  0, markfield=d4,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
    52
            text = \small 19, markfield=Z3,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
    53
            text = \small 16, markfield=a3,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
    54
            text = \small 23, markfield=b3,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
    55
            text = \small 12, markfield=c3,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
    56
            text = \small  7, markfield=d3,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
    57
            text = \small 10, markfield=Z2,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
    58
            text = \small  5, markfield=a2,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
    59
            text = \small 18, markfield=b2,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
    60
            text = \small  1, markfield=c2,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
    61
            text = \small 22, markfield=d2,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
    62
            text = \small 15, markfield=Z1,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
    63
            text = \small 20, markfield=a1,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
    64
            text = \small  3, markfield=b1,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
    65
            text = \small  8, markfield=c1,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
    66
            text = \small 13, markfield=d1,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
    67
            text = \small  4, markfield=Z0,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
    68
            text = \small  9, markfield=a0,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
    69
            text = \small 14, markfield=b0,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
    70
            text = \small 21, markfield=c0,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
    71
            text = \small  2, markfield=d0
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
    72
           ]
144
716042628398 updated
Christian Urban <urbanc@in.tum.de>
parents: 110
diff changeset
    73
           
45
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
    74
\noindent
212
4bda49ec24da updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
    75
This tour starts in the right-upper corner, then moves to field
45
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
    76
$(3,2)$, then $(4,0)$ and so on. There are no knight's tours on
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
    77
$2\times 2$, $3\times 3$ and $4\times 4$ chessboards, but for every
74
fb2d8012ed08 updated
Christian Urban <urbanc@in.tum.de>
parents: 60
diff changeset
    78
bigger board there is. 
45
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
    79
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
    80
A knight's tour is called \emph{closed}, if the last step in the tour
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
    81
is within a knight's move to the beginning of the tour. So the above
110
62389faa66e4 updated
Christian Urban <urbanc@in.tum.de>
parents: 86
diff changeset
    82
knight's tour is \underline{not} closed because the last
45
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
    83
step on field $(0, 4)$ is not within the reach of the first step on
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
    84
$(4, 4)$. It turns out there is no closed knight's tour on a $5\times
50
9891c9fac37e updated
Christian Urban <urbanc@in.tum.de>
parents: 48
diff changeset
    85
5$ board. But there are on a $6\times 6$ board and on bigger ones, for
9891c9fac37e updated
Christian Urban <urbanc@in.tum.de>
parents: 48
diff changeset
    86
example
6
aae256985251 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    87
aae256985251 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    88
\chessboard[maxfield=e5, 
147
72f7dd1a3754 updated
Christian Urban <urbanc@in.tum.de>
parents: 145
diff changeset
    89
            pgfstyle={[base,at={\pgfpoint{0pt}{-0.5ex}}]text},
45
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
    90
            text = \small 10, markfield=Z5,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
    91
            text = \small  5, markfield=a5,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
    92
            text = \small 18, markfield=b5,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
    93
            text = \small 25, markfield=c5,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
    94
            text = \small 16, markfield=d5,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
    95
            text = \small  7, markfield=e5,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
    96
            text = \small 31, markfield=Z4,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
    97
            text = \small 26, markfield=a4,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
    98
            text = \small  9, markfield=b4,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
    99
            text = \small  6, markfield=c4,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   100
            text = \small 19, markfield=d4,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   101
            text = \small 24, markfield=e4,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   102
            % 4  11  30  17   8  15 
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   103
            text = \small  4, markfield=Z3,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   104
            text = \small 11, markfield=a3,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   105
            text = \small 30, markfield=b3,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   106
            text = \small 17, markfield=c3,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   107
            text = \small  8, markfield=d3,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   108
            text = \small 15, markfield=e3,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   109
            %29  32  27   0  23  20 
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   110
            text = \small 29, markfield=Z2,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   111
            text = \small 32, markfield=a2,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   112
            text = \small 27, markfield=b2,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   113
            text = \small  0, markfield=c2,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   114
            text = \small 23, markfield=d2,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   115
            text = \small 20, markfield=e2,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   116
            %12   3  34  21  14   1 
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   117
            text = \small 12, markfield=Z1,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   118
            text = \small  3, markfield=a1,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   119
            text = \small 34, markfield=b1,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   120
            text = \small 21, markfield=c1,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   121
            text = \small 14, markfield=d1,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   122
            text = \small  1, markfield=e1,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   123
            %33  28  13   2  35  22 
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   124
            text = \small 33, markfield=Z0,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   125
            text = \small 28, markfield=a0,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   126
            text = \small 13, markfield=b0,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   127
            text = \small  2, markfield=c0,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   128
            text = \small 35, markfield=d0,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   129
            text = \small 22, markfield=e0,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   130
            vlabel=false,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   131
            hlabel=false
6
aae256985251 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   132
           ]
aae256985251 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   133
45
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   134
6
aae256985251 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   135
\noindent
45
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   136
where the 35th move can join up again with the 0th move.
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   137
48
7a6a75ea9738 updated
Christian Urban <urbanc@in.tum.de>
parents: 46
diff changeset
   138
If you cannot remember how a knight moves in chess, or never played
45
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   139
chess, below are all potential moves indicated for two knights, one on
48
7a6a75ea9738 updated
Christian Urban <urbanc@in.tum.de>
parents: 46
diff changeset
   140
field $(2, 2)$ (blue moves) and another on $(7, 7)$ (red moves):
39
c6fe374a5fca updated
Christian Urban <urbanc@in.tum.de>
parents: 38
diff changeset
   141
213
f968188d4a9b updated
Christian Urban <urbanc@in.tum.de>
parents: 212
diff changeset
   142
{\chessboard[maxfield=g7,
45
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   143
            color=blue!50,
6
aae256985251 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   144
            linewidth=0.2em,
aae256985251 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   145
            shortenstart=0.5ex,
aae256985251 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   146
            shortenend=0.5ex,
aae256985251 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   147
            markstyle=cross,
45
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   148
            markfields={a4, c4, Z3, d3, Z1, d1, a0, c0},
6
aae256985251 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   149
            color=red!50,
45
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   150
            markfields={f5, e6},
213
f968188d4a9b updated
Christian Urban <urbanc@in.tum.de>
parents: 212
diff changeset
   151
            setpieces={Ng7, Nb2},
f968188d4a9b updated
Christian Urban <urbanc@in.tum.de>
parents: 212
diff changeset
   152
            boardfontsize=12pt,labelfontsize=9pt]}
f968188d4a9b updated
Christian Urban <urbanc@in.tum.de>
parents: 212
diff changeset
   153
f968188d4a9b updated
Christian Urban <urbanc@in.tum.de>
parents: 212
diff changeset
   154
\subsection*{Reference Implementation}
f968188d4a9b updated
Christian Urban <urbanc@in.tum.de>
parents: 212
diff changeset
   155
216
8c868feb917b updated
Christian Urban <urbanc@in.tum.de>
parents: 213
diff changeset
   156
This Scala assignment comes with three reference implementations in form of
8c868feb917b updated
Christian Urban <urbanc@in.tum.de>
parents: 213
diff changeset
   157
\texttt{jar}-files. This allows you to run any test cases on your own
213
f968188d4a9b updated
Christian Urban <urbanc@in.tum.de>
parents: 212
diff changeset
   158
computer. For example you can call Scala on the command line with the
f968188d4a9b updated
Christian Urban <urbanc@in.tum.de>
parents: 212
diff changeset
   159
option \texttt{-cp knight1.jar} and then query any function from the
216
8c868feb917b updated
Christian Urban <urbanc@in.tum.de>
parents: 213
diff changeset
   160
\texttt{knight1.scala} template file. As usual you have to
8c868feb917b updated
Christian Urban <urbanc@in.tum.de>
parents: 213
diff changeset
   161
prefix the calls with \texttt{CW8a}, \texttt{CW8b} and \texttt{CW8c}.
8c868feb917b updated
Christian Urban <urbanc@in.tum.de>
parents: 213
diff changeset
   162
Since some of the calls are time sensitive, I included some timing
8c868feb917b updated
Christian Urban <urbanc@in.tum.de>
parents: 213
diff changeset
   163
information. For example
213
f968188d4a9b updated
Christian Urban <urbanc@in.tum.de>
parents: 212
diff changeset
   164
f968188d4a9b updated
Christian Urban <urbanc@in.tum.de>
parents: 212
diff changeset
   165
\begin{lstlisting}[language={},numbers=none,basicstyle=\ttfamily\small]
f968188d4a9b updated
Christian Urban <urbanc@in.tum.de>
parents: 212
diff changeset
   166
$ scala -cp knight1.jar
f968188d4a9b updated
Christian Urban <urbanc@in.tum.de>
parents: 212
diff changeset
   167
scala> CW8a.enum_tours(5, List((0, 0))).length
f968188d4a9b updated
Christian Urban <urbanc@in.tum.de>
parents: 212
diff changeset
   168
Time needed: 1.722 secs.
f968188d4a9b updated
Christian Urban <urbanc@in.tum.de>
parents: 212
diff changeset
   169
res0: Int = 304
f968188d4a9b updated
Christian Urban <urbanc@in.tum.de>
parents: 212
diff changeset
   170
f968188d4a9b updated
Christian Urban <urbanc@in.tum.de>
parents: 212
diff changeset
   171
scala> CW8a.print_board(8, CW8a.first_tour(8, List((0, 0))).get)
f968188d4a9b updated
Christian Urban <urbanc@in.tum.de>
parents: 212
diff changeset
   172
Time needed: 15.411 secs.
f968188d4a9b updated
Christian Urban <urbanc@in.tum.de>
parents: 212
diff changeset
   173
f968188d4a9b updated
Christian Urban <urbanc@in.tum.de>
parents: 212
diff changeset
   174
 51  46  55  44  53   4  21  12 
f968188d4a9b updated
Christian Urban <urbanc@in.tum.de>
parents: 212
diff changeset
   175
 56  43  52   3  22  13  24   5 
f968188d4a9b updated
Christian Urban <urbanc@in.tum.de>
parents: 212
diff changeset
   176
 47  50  45  54  25  20  11  14 
f968188d4a9b updated
Christian Urban <urbanc@in.tum.de>
parents: 212
diff changeset
   177
 42  57   2  49  40  23   6  19 
f968188d4a9b updated
Christian Urban <urbanc@in.tum.de>
parents: 212
diff changeset
   178
 35  48  41  26  61  10  15  28 
f968188d4a9b updated
Christian Urban <urbanc@in.tum.de>
parents: 212
diff changeset
   179
 58   1  36  39  32  27  18   7 
f968188d4a9b updated
Christian Urban <urbanc@in.tum.de>
parents: 212
diff changeset
   180
 37  34  31  60   9  62  29  16 
f968188d4a9b updated
Christian Urban <urbanc@in.tum.de>
parents: 212
diff changeset
   181
  0  59  38  33  30  17   8  63 
f968188d4a9b updated
Christian Urban <urbanc@in.tum.de>
parents: 212
diff changeset
   182
\end{lstlisting}%$
f968188d4a9b updated
Christian Urban <urbanc@in.tum.de>
parents: 212
diff changeset
   183
f968188d4a9b updated
Christian Urban <urbanc@in.tum.de>
parents: 212
diff changeset
   184
f968188d4a9b updated
Christian Urban <urbanc@in.tum.de>
parents: 212
diff changeset
   185
\subsection*{Hints}
f968188d4a9b updated
Christian Urban <urbanc@in.tum.de>
parents: 212
diff changeset
   186
f968188d4a9b updated
Christian Urban <urbanc@in.tum.de>
parents: 212
diff changeset
   187
\noindent
f968188d4a9b updated
Christian Urban <urbanc@in.tum.de>
parents: 212
diff changeset
   188
\textbf{Part 1} useful list functions: \texttt{.contains(..)} checks
f968188d4a9b updated
Christian Urban <urbanc@in.tum.de>
parents: 212
diff changeset
   189
whether an element is in a list, \texttt{.flatten} turns a list of
f968188d4a9b updated
Christian Urban <urbanc@in.tum.de>
parents: 212
diff changeset
   190
lists into just a list, \texttt{\_::\_} puts an element on the head of
f968188d4a9b updated
Christian Urban <urbanc@in.tum.de>
parents: 212
diff changeset
   191
the list, \texttt{.head} gives you the first element of a list (make
f968188d4a9b updated
Christian Urban <urbanc@in.tum.de>
parents: 212
diff changeset
   192
sure the list is not \texttt{Nil}); a useful option function:
f968188d4a9b updated
Christian Urban <urbanc@in.tum.de>
parents: 212
diff changeset
   193
\texttt{.isDefined} returns true, if an option is \texttt{Some(..)};
f968188d4a9b updated
Christian Urban <urbanc@in.tum.de>
parents: 212
diff changeset
   194
anonymous functions can be constructed using \texttt{(x:Int) => ...},
216
8c868feb917b updated
Christian Urban <urbanc@in.tum.de>
parents: 213
diff changeset
   195
this function takes an \texttt{Int} as an argument.\medskip
45
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   196
212
4bda49ec24da updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   197
4bda49ec24da updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   198
\noindent
213
f968188d4a9b updated
Christian Urban <urbanc@in.tum.de>
parents: 212
diff changeset
   199
\textbf{Part 2} a useful list function: \texttt{.sortBy} sorts a list
212
4bda49ec24da updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   200
according to a component given by the function; a function can be
216
8c868feb917b updated
Christian Urban <urbanc@in.tum.de>
parents: 213
diff changeset
   201
tested to be tail-recursive by annotation \texttt{@tailrec}, which is
8c868feb917b updated
Christian Urban <urbanc@in.tum.de>
parents: 213
diff changeset
   202
made available by importing \texttt{scala.annotation.tailrec}.\medskip
212
4bda49ec24da updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   203
213
f968188d4a9b updated
Christian Urban <urbanc@in.tum.de>
parents: 212
diff changeset
   204
f968188d4a9b updated
Christian Urban <urbanc@in.tum.de>
parents: 212
diff changeset
   205
f968188d4a9b updated
Christian Urban <urbanc@in.tum.de>
parents: 212
diff changeset
   206
f968188d4a9b updated
Christian Urban <urbanc@in.tum.de>
parents: 212
diff changeset
   207
\subsection*{Part 1 (6 Marks)}
45
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   208
48
7a6a75ea9738 updated
Christian Urban <urbanc@in.tum.de>
parents: 46
diff changeset
   209
You are asked to implement the knight's tour problem such that the
7a6a75ea9738 updated
Christian Urban <urbanc@in.tum.de>
parents: 46
diff changeset
   210
dimension of the board can be changed.  Therefore most functions will
50
9891c9fac37e updated
Christian Urban <urbanc@in.tum.de>
parents: 48
diff changeset
   211
take the dimension of the board as an argument.  The fun with this
60
f099bcf9cff1 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 59
diff changeset
   212
problem is that even for small chessboard dimensions it has already an
f099bcf9cff1 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 59
diff changeset
   213
incredibly large search space---finding a tour is like finding a
50
9891c9fac37e updated
Christian Urban <urbanc@in.tum.de>
parents: 48
diff changeset
   214
needle in a haystack. In the first task we want to see how far we get
9891c9fac37e updated
Christian Urban <urbanc@in.tum.de>
parents: 48
diff changeset
   215
with exhaustively exploring the complete search space for small
48
7a6a75ea9738 updated
Christian Urban <urbanc@in.tum.de>
parents: 46
diff changeset
   216
chessboards.\medskip
6
aae256985251 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   217
48
7a6a75ea9738 updated
Christian Urban <urbanc@in.tum.de>
parents: 46
diff changeset
   218
\noindent
7a6a75ea9738 updated
Christian Urban <urbanc@in.tum.de>
parents: 46
diff changeset
   219
Let us first fix the basic datastructures for the implementation.  The
213
f968188d4a9b updated
Christian Urban <urbanc@in.tum.de>
parents: 212
diff changeset
   220
board dimension is an integer.
f968188d4a9b updated
Christian Urban <urbanc@in.tum.de>
parents: 212
diff changeset
   221
A \emph{position} (or field) on the chessboard is
48
7a6a75ea9738 updated
Christian Urban <urbanc@in.tum.de>
parents: 46
diff changeset
   222
a pair of integers, like $(0, 0)$. A \emph{path} is a list of
7a6a75ea9738 updated
Christian Urban <urbanc@in.tum.de>
parents: 46
diff changeset
   223
positions. The first (or 0th move) in a path is the last element in
7a6a75ea9738 updated
Christian Urban <urbanc@in.tum.de>
parents: 46
diff changeset
   224
this list; and the last move in the path is the first element. For
7a6a75ea9738 updated
Christian Urban <urbanc@in.tum.de>
parents: 46
diff changeset
   225
example the path for the $5\times 5$ chessboard above is represented
7a6a75ea9738 updated
Christian Urban <urbanc@in.tum.de>
parents: 46
diff changeset
   226
by
6
aae256985251 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   227
45
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   228
\[
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   229
\texttt{List($\underbrace{\texttt{(0, 4)}}_{24}$,
48
7a6a75ea9738 updated
Christian Urban <urbanc@in.tum.de>
parents: 46
diff changeset
   230
  $\underbrace{\texttt{(2, 3)}}_{23}$, ...,
7a6a75ea9738 updated
Christian Urban <urbanc@in.tum.de>
parents: 46
diff changeset
   231
  $\underbrace{\texttt{(3, 2)}}_1$, $\underbrace{\texttt{(4, 4)}}_0$)}
45
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   232
\]
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   233
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   234
\noindent
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   235
Suppose the dimension of a chessboard is $n$, then a path is a
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   236
\emph{tour} if the length of the path is $n \times n$, each element
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   237
occurs only once in the path, and each move follows the rules of how a
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   238
knight moves (see above for the rules).
6
aae256985251 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   239
aae256985251 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   240
45
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   241
\subsubsection*{Tasks (file knight1.scala)}
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   242
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   243
\begin{itemize}
212
4bda49ec24da updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   244
\item[(1)] Implement an \texttt{is\_legal} function that takes a
166
780c40aaad27 updated
Christian Urban <urbanc@in.tum.de>
parents: 163
diff changeset
   245
  dimension, a path and a position as arguments and tests whether the
50
9891c9fac37e updated
Christian Urban <urbanc@in.tum.de>
parents: 48
diff changeset
   246
  position is inside the board and not yet element in the
9891c9fac37e updated
Christian Urban <urbanc@in.tum.de>
parents: 48
diff changeset
   247
  path. \hfill[1 Mark]
45
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   248
212
4bda49ec24da updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   249
\item[(2)] Implement a \texttt{legal\_moves} function that calculates for a
48
7a6a75ea9738 updated
Christian Urban <urbanc@in.tum.de>
parents: 46
diff changeset
   250
  position all legal onward moves. If the onward moves are
45
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   251
  placed on a circle, you should produce them starting from
145
d306102fd33b updated
Christian Urban <urbanc@in.tum.de>
parents: 144
diff changeset
   252
  ``12-o'clock'' following in clockwise order.  For example on an
166
780c40aaad27 updated
Christian Urban <urbanc@in.tum.de>
parents: 163
diff changeset
   253
  $8\times 8$ board for a knight at position $(2, 2)$ and otherwise
48
7a6a75ea9738 updated
Christian Urban <urbanc@in.tum.de>
parents: 46
diff changeset
   254
  empty board, the legal-moves function should produce the onward
50
9891c9fac37e updated
Christian Urban <urbanc@in.tum.de>
parents: 48
diff changeset
   255
  positions in this order:
6
aae256985251 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   256
45
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   257
  \begin{center}
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   258
  \texttt{List((3,4), (4,3), (4,1), (3,0), (1,0), (0,1), (0,3), (1,4))}
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   259
  \end{center}
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   260
50
9891c9fac37e updated
Christian Urban <urbanc@in.tum.de>
parents: 48
diff changeset
   261
  If the board is not empty, then maybe some of the moves need to be
9891c9fac37e updated
Christian Urban <urbanc@in.tum.de>
parents: 48
diff changeset
   262
  filtered out from this list.  For a knight on field $(7, 7)$ and an
9891c9fac37e updated
Christian Urban <urbanc@in.tum.de>
parents: 48
diff changeset
   263
  empty board, the legal moves are
45
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   264
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   265
  \begin{center}
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   266
  \texttt{List((6,5), (5,6))}
48
7a6a75ea9738 updated
Christian Urban <urbanc@in.tum.de>
parents: 46
diff changeset
   267
  \end{center}
7a6a75ea9738 updated
Christian Urban <urbanc@in.tum.de>
parents: 46
diff changeset
   268
  \mbox{}\hfill[1 Mark]
45
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   269
212
4bda49ec24da updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   270
\item[(3)] Implement two recursive functions (\texttt{count\_tours} and
166
780c40aaad27 updated
Christian Urban <urbanc@in.tum.de>
parents: 163
diff changeset
   271
  \texttt{enum\_tours}). They each take a dimension and a path as
110
62389faa66e4 updated
Christian Urban <urbanc@in.tum.de>
parents: 86
diff changeset
   272
  arguments. They exhaustively search for tours starting
62389faa66e4 updated
Christian Urban <urbanc@in.tum.de>
parents: 86
diff changeset
   273
  from the given path. The first function counts all possible 
50
9891c9fac37e updated
Christian Urban <urbanc@in.tum.de>
parents: 48
diff changeset
   274
  tours (there can be none for certain board sizes) and the second
216
8c868feb917b updated
Christian Urban <urbanc@in.tum.de>
parents: 213
diff changeset
   275
  collects all tours in a list of paths. These functions will be
8c868feb917b updated
Christian Urban <urbanc@in.tum.de>
parents: 213
diff changeset
   276
  called with a path containing a single position---the starting field.
8c868feb917b updated
Christian Urban <urbanc@in.tum.de>
parents: 213
diff changeset
   277
  They are expected to extend this path so as to find all tours starting
8c868feb917b updated
Christian Urban <urbanc@in.tum.de>
parents: 213
diff changeset
   278
  from the given position.\\
8c868feb917b updated
Christian Urban <urbanc@in.tum.de>
parents: 213
diff changeset
   279
  \mbox{}\hfill[2 Marks]
45
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   280
\end{itemize}
6
aae256985251 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   281
212
4bda49ec24da updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   282
\noindent \textbf{Test data:} For the marking, the functions in (3)
50
9891c9fac37e updated
Christian Urban <urbanc@in.tum.de>
parents: 48
diff changeset
   283
will be called with board sizes up to $5 \times 5$. If you search
110
62389faa66e4 updated
Christian Urban <urbanc@in.tum.de>
parents: 86
diff changeset
   284
for tours on a $5 \times 5$ board starting only from field $(0, 0)$,
50
9891c9fac37e updated
Christian Urban <urbanc@in.tum.de>
parents: 48
diff changeset
   285
there are 304 of tours. If you try out every field of a $5 \times
110
62389faa66e4 updated
Christian Urban <urbanc@in.tum.de>
parents: 86
diff changeset
   286
5$-board as a starting field and add up all tours, you obtain
48
7a6a75ea9738 updated
Christian Urban <urbanc@in.tum.de>
parents: 46
diff changeset
   287
1728. A $6\times 6$ board is already too large to be searched
110
62389faa66e4 updated
Christian Urban <urbanc@in.tum.de>
parents: 86
diff changeset
   288
exhaustively.\footnote{For your interest, the number of tours on
48
7a6a75ea9738 updated
Christian Urban <urbanc@in.tum.de>
parents: 46
diff changeset
   289
  $6\times 6$, $7\times 7$ and $8\times 8$ are 6637920, 165575218320,
213
f968188d4a9b updated
Christian Urban <urbanc@in.tum.de>
parents: 212
diff changeset
   290
  19591828170979904, respectively.}\smallskip
148
ead6089209ba updated
Christian Urban <urbanc@in.tum.de>
parents: 147
diff changeset
   291
212
4bda49ec24da updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   292
45
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   293
213
f968188d4a9b updated
Christian Urban <urbanc@in.tum.de>
parents: 212
diff changeset
   294
\subsubsection*{Tasks (cont.)}
45
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   295
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   296
\begin{itemize}
212
4bda49ec24da updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   297
\item[(4)] Implement a \texttt{first}-function. This function takes a list of
166
780c40aaad27 updated
Christian Urban <urbanc@in.tum.de>
parents: 163
diff changeset
   298
  positions and a function $f$ as arguments; $f$ is the name we give to
780c40aaad27 updated
Christian Urban <urbanc@in.tum.de>
parents: 163
diff changeset
   299
  this argument). The function $f$ takes a position as argument and
780c40aaad27 updated
Christian Urban <urbanc@in.tum.de>
parents: 163
diff changeset
   300
  produces an optional path. So $f$'s type is \texttt{Pos =>
780c40aaad27 updated
Christian Urban <urbanc@in.tum.de>
parents: 163
diff changeset
   301
    Option[Path]}. The idea behind the \texttt{first}-function is as follows:
45
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   302
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   303
  \[
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   304
  \begin{array}{lcl}
48
7a6a75ea9738 updated
Christian Urban <urbanc@in.tum.de>
parents: 46
diff changeset
   305
  \textit{first}(\texttt{Nil}, f) & \dn & \texttt{None}\\  
7a6a75ea9738 updated
Christian Urban <urbanc@in.tum.de>
parents: 46
diff changeset
   306
  \textit{first}(x\!::\!xs, f) & \dn & \begin{cases}
45
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   307
    f(x) & \textit{if}\;f(x) \not=\texttt{None}\\
48
7a6a75ea9738 updated
Christian Urban <urbanc@in.tum.de>
parents: 46
diff changeset
   308
    \textit{first}(xs, f) & \textit{otherwise}\\
45
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   309
                              \end{cases}
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   310
  \end{array}
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   311
  \]
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   312
48
7a6a75ea9738 updated
Christian Urban <urbanc@in.tum.de>
parents: 46
diff changeset
   313
  \noindent That is, we want to find the first position where the
166
780c40aaad27 updated
Christian Urban <urbanc@in.tum.de>
parents: 163
diff changeset
   314
  result of $f$ is not \texttt{None}, if there is one. Note that
780c40aaad27 updated
Christian Urban <urbanc@in.tum.de>
parents: 163
diff changeset
   315
  `inside' \texttt{first}, you do not (need to) know anything about
780c40aaad27 updated
Christian Urban <urbanc@in.tum.de>
parents: 163
diff changeset
   316
  the argument $f$ except its type, namely \texttt{Pos =>
213
f968188d4a9b updated
Christian Urban <urbanc@in.tum.de>
parents: 212
diff changeset
   317
    Option[Path]}. If you want to find out what the result of $f$ is
f968188d4a9b updated
Christian Urban <urbanc@in.tum.de>
parents: 212
diff changeset
   318
  on a particular argument, say $x$, you can just write $f(x)$. 
f968188d4a9b updated
Christian Urban <urbanc@in.tum.de>
parents: 212
diff changeset
   319
  There is one additional point however you should
166
780c40aaad27 updated
Christian Urban <urbanc@in.tum.de>
parents: 163
diff changeset
   320
  take into account when implementing \texttt{first}: you will need to
780c40aaad27 updated
Christian Urban <urbanc@in.tum.de>
parents: 163
diff changeset
   321
  calculate what the result of $f(x)$ is; your code should do this
780c40aaad27 updated
Christian Urban <urbanc@in.tum.de>
parents: 163
diff changeset
   322
  only \textbf{once} and for as \textbf{few} elements in the list as
780c40aaad27 updated
Christian Urban <urbanc@in.tum.de>
parents: 163
diff changeset
   323
  possible! Do not calculate $f(x)$ for all elements and then see which 
780c40aaad27 updated
Christian Urban <urbanc@in.tum.de>
parents: 163
diff changeset
   324
  is the first \texttt{Some}.\\\mbox{}\hfill[1 Mark]
48
7a6a75ea9738 updated
Christian Urban <urbanc@in.tum.de>
parents: 46
diff changeset
   325
  
212
4bda49ec24da updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   326
\item[(5)] Implement a \texttt{first\_tour} function that uses the
213
f968188d4a9b updated
Christian Urban <urbanc@in.tum.de>
parents: 212
diff changeset
   327
  \texttt{first}-function from (4), and searches recursively for single tour.
166
780c40aaad27 updated
Christian Urban <urbanc@in.tum.de>
parents: 163
diff changeset
   328
  As there might not be such a tour at all, the \texttt{first\_tour} function
780c40aaad27 updated
Christian Urban <urbanc@in.tum.de>
parents: 163
diff changeset
   329
  needs to return a value of type
212
4bda49ec24da updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   330
  \texttt{Option[Path]}.\\\mbox{}\hfill[1 Mark]
48
7a6a75ea9738 updated
Christian Urban <urbanc@in.tum.de>
parents: 46
diff changeset
   331
\end{itemize}
7a6a75ea9738 updated
Christian Urban <urbanc@in.tum.de>
parents: 46
diff changeset
   332
7a6a75ea9738 updated
Christian Urban <urbanc@in.tum.de>
parents: 46
diff changeset
   333
\noindent
166
780c40aaad27 updated
Christian Urban <urbanc@in.tum.de>
parents: 163
diff changeset
   334
\textbf{Testing:} The \texttt{first\_tour} function will be called with board
148
ead6089209ba updated
Christian Urban <urbanc@in.tum.de>
parents: 147
diff changeset
   335
sizes of up to $8 \times 8$.
ead6089209ba updated
Christian Urban <urbanc@in.tum.de>
parents: 147
diff changeset
   336
\bigskip
6
aae256985251 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   337
148
ead6089209ba updated
Christian Urban <urbanc@in.tum.de>
parents: 147
diff changeset
   338
ead6089209ba updated
Christian Urban <urbanc@in.tum.de>
parents: 147
diff changeset
   339
166
780c40aaad27 updated
Christian Urban <urbanc@in.tum.de>
parents: 163
diff changeset
   340
%%\newpage
213
f968188d4a9b updated
Christian Urban <urbanc@in.tum.de>
parents: 212
diff changeset
   341
\subsection*{Advanced Part 2 (4 Marks)}
45
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   342
145
d306102fd33b updated
Christian Urban <urbanc@in.tum.de>
parents: 144
diff changeset
   343
As you should have seen in Part 1, a naive search for tours beyond
d306102fd33b updated
Christian Urban <urbanc@in.tum.de>
parents: 144
diff changeset
   344
$8 \times 8$ boards and also searching for closed tours even on small
166
780c40aaad27 updated
Christian Urban <urbanc@in.tum.de>
parents: 163
diff changeset
   345
boards takes too much time. There is a heuristic, called \emph{Warnsdorf's
780c40aaad27 updated
Christian Urban <urbanc@in.tum.de>
parents: 163
diff changeset
   346
Rule} that can speed up finding a tour. This heuristic states that a
145
d306102fd33b updated
Christian Urban <urbanc@in.tum.de>
parents: 144
diff changeset
   347
knight is moved so that it always proceeds to the field from which the
48
7a6a75ea9738 updated
Christian Urban <urbanc@in.tum.de>
parents: 46
diff changeset
   348
knight will have the \underline{fewest} onward moves.  For example for
7a6a75ea9738 updated
Christian Urban <urbanc@in.tum.de>
parents: 46
diff changeset
   349
a knight on field $(1, 3)$, the field $(0, 1)$ has the fewest possible
7a6a75ea9738 updated
Christian Urban <urbanc@in.tum.de>
parents: 46
diff changeset
   350
onward moves, namely 2.
45
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   351
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   352
\chessboard[maxfield=g7,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   353
            pgfstyle= {[base,at={\pgfpoint{0pt}{-0.5ex}}]text},
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   354
            text = \small 3, markfield=Z5,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   355
            text = \small 7, markfield=b5,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   356
            text = \small 7, markfield=c4,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   357
            text = \small 7, markfield=c2,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   358
            text = \small 5, markfield=b1,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   359
            text = \small 2, markfield=Z1,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   360
            setpieces={Na3}]
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   361
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   362
\noindent
166
780c40aaad27 updated
Christian Urban <urbanc@in.tum.de>
parents: 163
diff changeset
   363
Warnsdorf's Rule states that the moves on the board above should be
50
9891c9fac37e updated
Christian Urban <urbanc@in.tum.de>
parents: 48
diff changeset
   364
tried in the order
45
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   365
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   366
\[
46
48d2cbe8ee5e updated
Christian Urban <urbanc@in.tum.de>
parents: 45
diff changeset
   367
(0, 1), (0, 5), (2, 1), (2, 5), (3, 4), (3, 2)
45
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   368
\]
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   369
46
48d2cbe8ee5e updated
Christian Urban <urbanc@in.tum.de>
parents: 45
diff changeset
   370
\noindent
60
f099bcf9cff1 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 59
diff changeset
   371
Whenever there are ties, the corresponding onward moves can be in any
45
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   372
order.  When calculating the number of onward moves for each field, we
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   373
do not count moves that revisit any field already visited.
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   374
213
f968188d4a9b updated
Christian Urban <urbanc@in.tum.de>
parents: 212
diff changeset
   375
\subsubsection*{Tasks (file knight2.scala)}
45
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   376
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   377
\begin{itemize}
212
4bda49ec24da updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   378
\item[(6)] Write a function \texttt{ordered\_moves} that calculates a list of
216
8c868feb917b updated
Christian Urban <urbanc@in.tum.de>
parents: 213
diff changeset
   379
  onward moves like in (2) but orders them according to 
166
780c40aaad27 updated
Christian Urban <urbanc@in.tum.de>
parents: 163
diff changeset
   380
  Warnsdorf’s Rule. That means moves with the fewest legal onward moves
86
f8a781322499 updated
Christian Urban <urbanc@in.tum.de>
parents: 79
diff changeset
   381
  should come first (in order to be tried out first). \hfill[1 Mark]
50
9891c9fac37e updated
Christian Urban <urbanc@in.tum.de>
parents: 48
diff changeset
   382
  
213
f968188d4a9b updated
Christian Urban <urbanc@in.tum.de>
parents: 212
diff changeset
   383
\item[(7)] Implement a \texttt{first\_closed\_tour\_heuristic}
f968188d4a9b updated
Christian Urban <urbanc@in.tum.de>
parents: 212
diff changeset
   384
  function that searches for a single
f968188d4a9b updated
Christian Urban <urbanc@in.tum.de>
parents: 212
diff changeset
   385
  \textbf{closed} tour on a $6\times 6$ board. It should try out
f968188d4a9b updated
Christian Urban <urbanc@in.tum.de>
parents: 212
diff changeset
   386
  onward moves according to
f968188d4a9b updated
Christian Urban <urbanc@in.tum.de>
parents: 212
diff changeset
   387
  the \texttt{ordered\_moves} function from (6). It is more likely to find
50
9891c9fac37e updated
Christian Urban <urbanc@in.tum.de>
parents: 48
diff changeset
   388
  a solution when started in the middle of the board (that is
86
f8a781322499 updated
Christian Urban <urbanc@in.tum.de>
parents: 79
diff changeset
   389
  position $(dimension / 2, dimension / 2)$). \hfill[1 Mark]
45
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   390
212
4bda49ec24da updated
Christian Urban <urbanc@in.tum.de>
parents: 202
diff changeset
   391
\item[(8)] Implement a \texttt{first\_tour\_heuristic} function
166
780c40aaad27 updated
Christian Urban <urbanc@in.tum.de>
parents: 163
diff changeset
   392
  for boards up to
213
f968188d4a9b updated
Christian Urban <urbanc@in.tum.de>
parents: 212
diff changeset
   393
  $30\times 30$.  It is the same function as in (7) but searches for
f968188d4a9b updated
Christian Urban <urbanc@in.tum.de>
parents: 212
diff changeset
   394
  tours (not just closed tours). It might be called with any field on the
216
8c868feb917b updated
Christian Urban <urbanc@in.tum.de>
parents: 213
diff changeset
   395
  board as starting field.\\
213
f968188d4a9b updated
Christian Urban <urbanc@in.tum.de>
parents: 212
diff changeset
   396
  %You have to be careful to write a
f968188d4a9b updated
Christian Urban <urbanc@in.tum.de>
parents: 212
diff changeset
   397
  %tail-recursive function of the \texttt{first\_tour\_heuristic} function
f968188d4a9b updated
Christian Urban <urbanc@in.tum.de>
parents: 212
diff changeset
   398
  %otherwise you will get problems with stack-overflows.\\
f968188d4a9b updated
Christian Urban <urbanc@in.tum.de>
parents: 212
diff changeset
   399
  \mbox{}\hfill[1 Mark]
f968188d4a9b updated
Christian Urban <urbanc@in.tum.de>
parents: 212
diff changeset
   400
\end{itemize}    
f968188d4a9b updated
Christian Urban <urbanc@in.tum.de>
parents: 212
diff changeset
   401
f968188d4a9b updated
Christian Urban <urbanc@in.tum.de>
parents: 212
diff changeset
   402
\subsubsection*{Task (file knight3.scala)}
f968188d4a9b updated
Christian Urban <urbanc@in.tum.de>
parents: 212
diff changeset
   403
\begin{itemize}
f968188d4a9b updated
Christian Urban <urbanc@in.tum.de>
parents: 212
diff changeset
   404
\item[(9)] Implement a function \texttt{tour\_on\_mega\_board} which is
216
8c868feb917b updated
Christian Urban <urbanc@in.tum.de>
parents: 213
diff changeset
   405
  the same function as in (8), \textbf{but} should be able to
8c868feb917b updated
Christian Urban <urbanc@in.tum.de>
parents: 213
diff changeset
   406
  deal with boards up to
8c868feb917b updated
Christian Urban <urbanc@in.tum.de>
parents: 213
diff changeset
   407
  $70\times 70$ \textbf{within 30 seconds} (on my laptop). This will be tested
213
f968188d4a9b updated
Christian Urban <urbanc@in.tum.de>
parents: 212
diff changeset
   408
  by starting from field $(0, 0)$. You have to be careful to
f968188d4a9b updated
Christian Urban <urbanc@in.tum.de>
parents: 212
diff changeset
   409
  write a tail-recursive function otherwise you will get problems
f968188d4a9b updated
Christian Urban <urbanc@in.tum.de>
parents: 212
diff changeset
   410
  with stack-overflows. Please observe the requirements about
f968188d4a9b updated
Christian Urban <urbanc@in.tum.de>
parents: 212
diff changeset
   411
  the submissions: no tricks involving \textbf{.par}.\medskip
f968188d4a9b updated
Christian Urban <urbanc@in.tum.de>
parents: 212
diff changeset
   412
216
8c868feb917b updated
Christian Urban <urbanc@in.tum.de>
parents: 213
diff changeset
   413
  The timelimit of 30 seconds is with respect to the laptop on which the
8c868feb917b updated
Christian Urban <urbanc@in.tum.de>
parents: 213
diff changeset
   414
  marking will happen. You can roughly estimate how well your
213
f968188d4a9b updated
Christian Urban <urbanc@in.tum.de>
parents: 212
diff changeset
   415
  implementation performs by running \texttt{knight3.jar} on your
216
8c868feb917b updated
Christian Urban <urbanc@in.tum.de>
parents: 213
diff changeset
   416
  computer. For example the reference implementation shows
8c868feb917b updated
Christian Urban <urbanc@in.tum.de>
parents: 213
diff changeset
   417
  on my laptop:
213
f968188d4a9b updated
Christian Urban <urbanc@in.tum.de>
parents: 212
diff changeset
   418
  
f968188d4a9b updated
Christian Urban <urbanc@in.tum.de>
parents: 212
diff changeset
   419
  \begin{lstlisting}[language={},numbers=none,basicstyle=\ttfamily\small]
f968188d4a9b updated
Christian Urban <urbanc@in.tum.de>
parents: 212
diff changeset
   420
$ scala -cp knight3.jar
f968188d4a9b updated
Christian Urban <urbanc@in.tum.de>
parents: 212
diff changeset
   421
  
f968188d4a9b updated
Christian Urban <urbanc@in.tum.de>
parents: 212
diff changeset
   422
scala> CW8c.tour_on_mega_board(70, List((0, 0)))
f968188d4a9b updated
Christian Urban <urbanc@in.tum.de>
parents: 212
diff changeset
   423
Time needed: 9.484 secs.
f968188d4a9b updated
Christian Urban <urbanc@in.tum.de>
parents: 212
diff changeset
   424
...<<long_list>>...
f968188d4a9b updated
Christian Urban <urbanc@in.tum.de>
parents: 212
diff changeset
   425
\end{lstlisting}%$
f968188d4a9b updated
Christian Urban <urbanc@in.tum.de>
parents: 212
diff changeset
   426
145
d306102fd33b updated
Christian Urban <urbanc@in.tum.de>
parents: 144
diff changeset
   427
  \mbox{}\hfill[1 Mark]
45
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   428
\end{itemize}  
148
ead6089209ba updated
Christian Urban <urbanc@in.tum.de>
parents: 147
diff changeset
   429
\bigskip
ead6089209ba updated
Christian Urban <urbanc@in.tum.de>
parents: 147
diff changeset
   430
ead6089209ba updated
Christian Urban <urbanc@in.tum.de>
parents: 147
diff changeset
   431
ead6089209ba updated
Christian Urban <urbanc@in.tum.de>
parents: 147
diff changeset
   432
6
aae256985251 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   433
aae256985251 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   434
\end{document}
aae256985251 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   435
aae256985251 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   436
%%% Local Variables: 
aae256985251 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   437
%%% mode: latex
aae256985251 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   438
%%% TeX-master: t
aae256985251 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   439
%%% End: