cws/cw02.tex
author Christian Urban <christian dot urban at kcl dot ac dot uk>
Wed, 11 Jan 2017 12:18:34 +0000
changeset 95 4fa7231fede7
parent 86 f8a781322499
child 110 62389faa66e4
permissions -rw-r--r--
added link file
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}
39
c6fe374a5fca updated
Christian Urban <urbanc@in.tum.de>
parents: 38
diff changeset
     4
\usepackage{../style}
6
aae256985251 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     5
aae256985251 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     6
\begin{document}
aae256985251 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     7
aae256985251 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     8
\setchessboard{smallboard,
45
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
     9
               zero,
6
aae256985251 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    10
               showmover=false,
aae256985251 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    11
               boardfontencoding=LSBC4,
aae256985251 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    12
               hlabelformat=\arabic{ranklabel},
aae256985251 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    13
               vlabelformat=\arabic{filelabel}}
aae256985251 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    14
45
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
    15
\mbox{}\\[-18mm]\mbox{}
6
aae256985251 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    16
36
f5ed0fef41b3 updated
Christian Urban <urbanc@in.tum.de>
parents: 6
diff changeset
    17
\section*{Coursework 7 (Scala, Knight's Tour)}
6
aae256985251 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    18
50
9891c9fac37e updated
Christian Urban <urbanc@in.tum.de>
parents: 48
diff changeset
    19
This coursework is worth 10\%. It is about searching and
9891c9fac37e updated
Christian Urban <urbanc@in.tum.de>
parents: 48
diff changeset
    20
backtracking. The first part is due on 23 November at 11pm; the
9891c9fac37e updated
Christian Urban <urbanc@in.tum.de>
parents: 48
diff changeset
    21
second, more advanced part, is due on 30 November at 11pm. You are
9891c9fac37e updated
Christian Urban <urbanc@in.tum.de>
parents: 48
diff changeset
    22
asked to implement Scala programs that solve various versions of the
79
2d57b0d43a0f updated
Christian Urban <urbanc@in.tum.de>
parents: 74
diff changeset
    23
\textit{Knight's Tour Problem} on a chessboard. Note the second part
2d57b0d43a0f updated
Christian Urban <urbanc@in.tum.de>
parents: 74
diff changeset
    24
might include material you have not yet seen in the first two
2d57b0d43a0f updated
Christian Urban <urbanc@in.tum.de>
parents: 74
diff changeset
    25
lectures.  Make sure the files you submit can be processed by just
2d57b0d43a0f updated
Christian Urban <urbanc@in.tum.de>
parents: 74
diff changeset
    26
calling \texttt{scala <<filename.scala>>}.\bigskip
50
9891c9fac37e updated
Christian Urban <urbanc@in.tum.de>
parents: 48
diff changeset
    27
9891c9fac37e updated
Christian Urban <urbanc@in.tum.de>
parents: 48
diff changeset
    28
\noindent
9891c9fac37e updated
Christian Urban <urbanc@in.tum.de>
parents: 48
diff changeset
    29
\textbf{Important:} Do not use any mutable data structures in your
74
fb2d8012ed08 updated
Christian Urban <urbanc@in.tum.de>
parents: 60
diff changeset
    30
submissions! They are not needed. This excludes the use of
50
9891c9fac37e updated
Christian Urban <urbanc@in.tum.de>
parents: 48
diff changeset
    31
\texttt{ListBuffer}s, for example. Do not use \texttt{return} in your
59
8e866d0af03a updated
Christian Urban <urbanc@in.tum.de>
parents: 50
diff changeset
    32
code! It has a different meaning in Scala, than in Java.
8e866d0af03a updated
Christian Urban <urbanc@in.tum.de>
parents: 50
diff changeset
    33
Do not use \texttt{var}! This declares a mutable variable. Feel free to
50
9891c9fac37e updated
Christian Urban <urbanc@in.tum.de>
parents: 48
diff changeset
    34
copy any code you need from files \texttt{knight1.scala},
9891c9fac37e updated
Christian Urban <urbanc@in.tum.de>
parents: 48
diff changeset
    35
\texttt{knight2.scala} and \texttt{knight3.scala}. Make sure the
9891c9fac37e updated
Christian Urban <urbanc@in.tum.de>
parents: 48
diff changeset
    36
functions you submit are defined on the ``top-level'' of Scala, not
86
f8a781322499 updated
Christian Urban <urbanc@in.tum.de>
parents: 79
diff changeset
    37
inside a class or object. Also note that the running time of
f8a781322499 updated
Christian Urban <urbanc@in.tum.de>
parents: 79
diff changeset
    38
each part will be restricted to a maximum of 360 seconds. 
f8a781322499 updated
Christian Urban <urbanc@in.tum.de>
parents: 79
diff changeset
    39
39
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
\subsection*{Disclaimer}
c6fe374a5fca updated
Christian Urban <urbanc@in.tum.de>
parents: 38
diff changeset
    42
c6fe374a5fca updated
Christian Urban <urbanc@in.tum.de>
parents: 38
diff changeset
    43
It should be understood that the work you submit represents
c6fe374a5fca updated
Christian Urban <urbanc@in.tum.de>
parents: 38
diff changeset
    44
your own effort. You have not copied from anyone else. An
c6fe374a5fca updated
Christian Urban <urbanc@in.tum.de>
parents: 38
diff changeset
    45
exception is the Scala code I showed during the lectures or
45
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
    46
uploaded to KEATS, which you can freely use.\medskip
39
c6fe374a5fca updated
Christian Urban <urbanc@in.tum.de>
parents: 38
diff changeset
    47
c6fe374a5fca updated
Christian Urban <urbanc@in.tum.de>
parents: 38
diff changeset
    48
\subsection*{Background}
c6fe374a5fca updated
Christian Urban <urbanc@in.tum.de>
parents: 38
diff changeset
    49
c6fe374a5fca updated
Christian Urban <urbanc@in.tum.de>
parents: 38
diff changeset
    50
The \textit{Knight's Tour Problem} is about finding a tour such that
74
fb2d8012ed08 updated
Christian Urban <urbanc@in.tum.de>
parents: 60
diff changeset
    51
the knight visits every field on an $n\times n$ chessboard once. Such
fb2d8012ed08 updated
Christian Urban <urbanc@in.tum.de>
parents: 60
diff changeset
    52
a tour is called \emph{open} tour. For example on a $5\times 5$
fb2d8012ed08 updated
Christian Urban <urbanc@in.tum.de>
parents: 60
diff changeset
    53
chessboard, an open  knight's tour is:
45
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
    54
39
c6fe374a5fca updated
Christian Urban <urbanc@in.tum.de>
parents: 38
diff changeset
    55
45
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
    56
\chessboard[maxfield=d4, 
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
    57
            pgfstyle= {[base,at={\pgfpoint{0pt}{-0.5ex}}]text},
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
    58
            text = \small 24, markfield=Z4,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
    59
            text = \small 11, markfield=a4,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
    60
            text = \small  6, markfield=b4,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
    61
            text = \small 17, markfield=c4,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
    62
            text = \small  0, markfield=d4,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
    63
            text = \small 19, markfield=Z3,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
    64
            text = \small 16, markfield=a3,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
    65
            text = \small 23, markfield=b3,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
    66
            text = \small 12, markfield=c3,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
    67
            text = \small  7, markfield=d3,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
    68
            text = \small 10, markfield=Z2,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
    69
            text = \small  5, markfield=a2,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
    70
            text = \small 18, markfield=b2,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
    71
            text = \small  1, markfield=c2,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
    72
            text = \small 22, markfield=d2,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
    73
            text = \small 15, markfield=Z1,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
    74
            text = \small 20, markfield=a1,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
    75
            text = \small  3, markfield=b1,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
    76
            text = \small  8, markfield=c1,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
    77
            text = \small 13, markfield=d1,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
    78
            text = \small  4, markfield=Z0,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
    79
            text = \small  9, markfield=a0,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
    80
            text = \small 14, markfield=b0,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
    81
            text = \small 21, markfield=c0,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
    82
            text = \small  2, markfield=d0
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
    83
           ]
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
    84
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
    85
\noindent
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
    86
The tour starts in the right-upper corner, then moves to field
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
    87
$(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
    88
$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
    89
bigger board there is. 
45
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
    90
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
    91
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
    92
is within a knight's move to the beginning of the tour. So the above
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
    93
knight's tour is \underline{not} closed (it is open) because the last
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
    94
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
    95
$(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
    96
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
    97
example
6
aae256985251 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    98
aae256985251 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    99
\chessboard[maxfield=e5, 
aae256985251 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   100
            pgfstyle= {[base,at={\pgfpoint{0pt}{-0.5ex}}]text},
45
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   101
            text = \small 10, markfield=Z5,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   102
            text = \small  5, markfield=a5,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   103
            text = \small 18, markfield=b5,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   104
            text = \small 25, markfield=c5,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   105
            text = \small 16, markfield=d5,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   106
            text = \small  7, markfield=e5,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   107
            text = \small 31, markfield=Z4,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   108
            text = \small 26, markfield=a4,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   109
            text = \small  9, markfield=b4,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   110
            text = \small  6, markfield=c4,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   111
            text = \small 19, markfield=d4,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   112
            text = \small 24, markfield=e4,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   113
            % 4  11  30  17   8  15 
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   114
            text = \small  4, markfield=Z3,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   115
            text = \small 11, markfield=a3,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   116
            text = \small 30, markfield=b3,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   117
            text = \small 17, markfield=c3,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   118
            text = \small  8, markfield=d3,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   119
            text = \small 15, markfield=e3,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   120
            %29  32  27   0  23  20 
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   121
            text = \small 29, markfield=Z2,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   122
            text = \small 32, markfield=a2,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   123
            text = \small 27, markfield=b2,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   124
            text = \small  0, markfield=c2,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   125
            text = \small 23, markfield=d2,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   126
            text = \small 20, markfield=e2,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   127
            %12   3  34  21  14   1 
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   128
            text = \small 12, markfield=Z1,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   129
            text = \small  3, markfield=a1,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   130
            text = \small 34, markfield=b1,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   131
            text = \small 21, markfield=c1,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   132
            text = \small 14, markfield=d1,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   133
            text = \small  1, markfield=e1,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   134
            %33  28  13   2  35  22 
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   135
            text = \small 33, markfield=Z0,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   136
            text = \small 28, markfield=a0,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   137
            text = \small 13, markfield=b0,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   138
            text = \small  2, markfield=c0,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   139
            text = \small 35, markfield=d0,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   140
            text = \small 22, markfield=e0,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   141
            vlabel=false,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   142
            hlabel=false
6
aae256985251 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   143
           ]
aae256985251 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   144
45
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   145
6
aae256985251 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   146
\noindent
45
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   147
where the 35th move can join up again with the 0th move.
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   148
48
7a6a75ea9738 updated
Christian Urban <urbanc@in.tum.de>
parents: 46
diff changeset
   149
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
   150
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
   151
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
   152
c6fe374a5fca updated
Christian Urban <urbanc@in.tum.de>
parents: 38
diff changeset
   153
45
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   154
\chessboard[maxfield=g7,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   155
            color=blue!50,
6
aae256985251 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   156
            linewidth=0.2em,
aae256985251 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   157
            shortenstart=0.5ex,
aae256985251 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   158
            shortenend=0.5ex,
aae256985251 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   159
            markstyle=cross,
45
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   160
            markfields={a4, c4, Z3, d3, Z1, d1, a0, c0},
6
aae256985251 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   161
            color=red!50,
45
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   162
            markfields={f5, e6},
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   163
            setpieces={Ng7, Nb2}]
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   164
50
9891c9fac37e updated
Christian Urban <urbanc@in.tum.de>
parents: 48
diff changeset
   165
\subsection*{Part 1 (7 Marks)}
45
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   166
48
7a6a75ea9738 updated
Christian Urban <urbanc@in.tum.de>
parents: 46
diff changeset
   167
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
   168
dimension of the board can be changed.  Therefore most functions will
50
9891c9fac37e updated
Christian Urban <urbanc@in.tum.de>
parents: 48
diff changeset
   169
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
   170
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
   171
incredibly large search space---finding a tour is like finding a
50
9891c9fac37e updated
Christian Urban <urbanc@in.tum.de>
parents: 48
diff changeset
   172
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
   173
with exhaustively exploring the complete search space for small
48
7a6a75ea9738 updated
Christian Urban <urbanc@in.tum.de>
parents: 46
diff changeset
   174
chessboards.\medskip
6
aae256985251 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   175
48
7a6a75ea9738 updated
Christian Urban <urbanc@in.tum.de>
parents: 46
diff changeset
   176
\noindent
7a6a75ea9738 updated
Christian Urban <urbanc@in.tum.de>
parents: 46
diff changeset
   177
Let us first fix the basic datastructures for the implementation.  The
60
f099bcf9cff1 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 59
diff changeset
   178
board dimension is an integer (we will never go beyond board sizes of
74
fb2d8012ed08 updated
Christian Urban <urbanc@in.tum.de>
parents: 60
diff changeset
   179
$50 \times 50$).  A \emph{position} (or field) on the chessboard is
48
7a6a75ea9738 updated
Christian Urban <urbanc@in.tum.de>
parents: 46
diff changeset
   180
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
   181
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
   182
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
   183
example the path for the $5\times 5$ chessboard above is represented
7a6a75ea9738 updated
Christian Urban <urbanc@in.tum.de>
parents: 46
diff changeset
   184
by
6
aae256985251 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   185
45
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   186
\[
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   187
\texttt{List($\underbrace{\texttt{(0, 4)}}_{24}$,
48
7a6a75ea9738 updated
Christian Urban <urbanc@in.tum.de>
parents: 46
diff changeset
   188
  $\underbrace{\texttt{(2, 3)}}_{23}$, ...,
7a6a75ea9738 updated
Christian Urban <urbanc@in.tum.de>
parents: 46
diff changeset
   189
  $\underbrace{\texttt{(3, 2)}}_1$, $\underbrace{\texttt{(4, 4)}}_0$)}
45
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   190
\]
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   191
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   192
\noindent
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   193
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
   194
\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
   195
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
   196
knight moves (see above for the rules).
6
aae256985251 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   197
aae256985251 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   198
45
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   199
\subsubsection*{Tasks (file knight1.scala)}
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   200
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   201
\begin{itemize}
50
9891c9fac37e updated
Christian Urban <urbanc@in.tum.de>
parents: 48
diff changeset
   202
\item[(1a)] Implement an is-legal-move function that takes a
9891c9fac37e updated
Christian Urban <urbanc@in.tum.de>
parents: 48
diff changeset
   203
  dimension, a path and a position as argument and tests whether the
9891c9fac37e updated
Christian Urban <urbanc@in.tum.de>
parents: 48
diff changeset
   204
  position is inside the board and not yet element in the
9891c9fac37e updated
Christian Urban <urbanc@in.tum.de>
parents: 48
diff changeset
   205
  path. \hfill[1 Mark]
45
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   206
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   207
\item[(1b)] Implement a legal-moves function that calculates for a
48
7a6a75ea9738 updated
Christian Urban <urbanc@in.tum.de>
parents: 46
diff changeset
   208
  position all legal onward moves. If the onward moves are
45
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   209
  placed on a circle, you should produce them starting from
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   210
  ``12-oclock'' following in clockwise order.  For example on an
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   211
  $8\times 8$ board for a knight on position $(2, 2)$ and otherwise
48
7a6a75ea9738 updated
Christian Urban <urbanc@in.tum.de>
parents: 46
diff changeset
   212
  empty board, the legal-moves function should produce the onward
50
9891c9fac37e updated
Christian Urban <urbanc@in.tum.de>
parents: 48
diff changeset
   213
  positions in this order:
6
aae256985251 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   214
45
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   215
  \begin{center}
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   216
  \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
   217
  \end{center}
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   218
50
9891c9fac37e updated
Christian Urban <urbanc@in.tum.de>
parents: 48
diff changeset
   219
  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
   220
  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
   221
  empty board, the legal moves are
45
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   222
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   223
  \begin{center}
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   224
  \texttt{List((6,5), (5,6))}
48
7a6a75ea9738 updated
Christian Urban <urbanc@in.tum.de>
parents: 46
diff changeset
   225
  \end{center}
7a6a75ea9738 updated
Christian Urban <urbanc@in.tum.de>
parents: 46
diff changeset
   226
  \mbox{}\hfill[1 Mark]
45
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   227
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   228
\item[(1c)] Implement two recursive functions (count-tours and
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   229
  enum-tours). They each take a dimension and a path as
50
9891c9fac37e updated
Christian Urban <urbanc@in.tum.de>
parents: 48
diff changeset
   230
  arguments. They exhaustively search for {\bf open} tours starting
9891c9fac37e updated
Christian Urban <urbanc@in.tum.de>
parents: 48
diff changeset
   231
  from the given path. The first function counts all possible open
9891c9fac37e updated
Christian Urban <urbanc@in.tum.de>
parents: 48
diff changeset
   232
  tours (there can be none for certain board sizes) and the second
48
7a6a75ea9738 updated
Christian Urban <urbanc@in.tum.de>
parents: 46
diff changeset
   233
  collects all open tours in a list of paths.\hfill[2 Marks]
45
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   234
\end{itemize}
6
aae256985251 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   235
48
7a6a75ea9738 updated
Christian Urban <urbanc@in.tum.de>
parents: 46
diff changeset
   236
\noindent \textbf{Test data:} For the marking, the functions in (1c)
50
9891c9fac37e updated
Christian Urban <urbanc@in.tum.de>
parents: 48
diff changeset
   237
will be called with board sizes up to $5 \times 5$. If you search
9891c9fac37e updated
Christian Urban <urbanc@in.tum.de>
parents: 48
diff changeset
   238
for open tours on a $5 \times 5$ board starting only from field $(0, 0)$,
9891c9fac37e updated
Christian Urban <urbanc@in.tum.de>
parents: 48
diff changeset
   239
there are 304 of tours. If you try out every field of a $5 \times
48
7a6a75ea9738 updated
Christian Urban <urbanc@in.tum.de>
parents: 46
diff changeset
   240
5$-board as a starting field and add up all open tours, you obtain
7a6a75ea9738 updated
Christian Urban <urbanc@in.tum.de>
parents: 46
diff changeset
   241
1728. A $6\times 6$ board is already too large to be searched
7a6a75ea9738 updated
Christian Urban <urbanc@in.tum.de>
parents: 46
diff changeset
   242
exhaustively.\footnote{For your interest, the number of open tours on
7a6a75ea9738 updated
Christian Urban <urbanc@in.tum.de>
parents: 46
diff changeset
   243
  $6\times 6$, $7\times 7$ and $8\times 8$ are 6637920, 165575218320,
7a6a75ea9738 updated
Christian Urban <urbanc@in.tum.de>
parents: 46
diff changeset
   244
  19591828170979904, respectively.}
45
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   245
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   246
\subsubsection*{Tasks (file knight2.scala)}
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   247
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   248
\begin{itemize}
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   249
\item[(2a)] Implement a first-function. This function takes a list of
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   250
  positions and a function $f$ as arguments. The function $f$ takes a
74
fb2d8012ed08 updated
Christian Urban <urbanc@in.tum.de>
parents: 60
diff changeset
   251
  position as argument and produces an optional path. So $f$'s type is
50
9891c9fac37e updated
Christian Urban <urbanc@in.tum.de>
parents: 48
diff changeset
   252
  \texttt{Pos => Option[Path]}. The idea behind the first-function is
9891c9fac37e updated
Christian Urban <urbanc@in.tum.de>
parents: 48
diff changeset
   253
  as follows:
45
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   254
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   255
  \[
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   256
  \begin{array}{lcl}
48
7a6a75ea9738 updated
Christian Urban <urbanc@in.tum.de>
parents: 46
diff changeset
   257
  \textit{first}(\texttt{Nil}, f) & \dn & \texttt{None}\\  
7a6a75ea9738 updated
Christian Urban <urbanc@in.tum.de>
parents: 46
diff changeset
   258
  \textit{first}(x\!::\!xs, f) & \dn & \begin{cases}
45
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   259
    f(x) & \textit{if}\;f(x) \not=\texttt{None}\\
48
7a6a75ea9738 updated
Christian Urban <urbanc@in.tum.de>
parents: 46
diff changeset
   260
    \textit{first}(xs, f) & \textit{otherwise}\\
45
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   261
                              \end{cases}
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   262
  \end{array}
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   263
  \]
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   264
48
7a6a75ea9738 updated
Christian Urban <urbanc@in.tum.de>
parents: 46
diff changeset
   265
  \noindent That is, we want to find the first position where the
79
2d57b0d43a0f updated
Christian Urban <urbanc@in.tum.de>
parents: 74
diff changeset
   266
  result of $f$ is not \texttt{None}, if there is one. Note that you
2d57b0d43a0f updated
Christian Urban <urbanc@in.tum.de>
parents: 74
diff changeset
   267
  do not (need to) know anything about the function $f$ except its
2d57b0d43a0f updated
Christian Urban <urbanc@in.tum.de>
parents: 74
diff changeset
   268
  type, namely \texttt{Pos => Option[Path]}. There is one additional
2d57b0d43a0f updated
Christian Urban <urbanc@in.tum.de>
parents: 74
diff changeset
   269
  point however you should take into account when implementing
2d57b0d43a0f updated
Christian Urban <urbanc@in.tum.de>
parents: 74
diff changeset
   270
  \textit{first}: you will need to calculate what the result of $f(x)$
2d57b0d43a0f updated
Christian Urban <urbanc@in.tum.de>
parents: 74
diff changeset
   271
  is; your code should do this only \textbf{once}!\\\mbox{}\hfill[1 Mark]
48
7a6a75ea9738 updated
Christian Urban <urbanc@in.tum.de>
parents: 46
diff changeset
   272
  
50
9891c9fac37e updated
Christian Urban <urbanc@in.tum.de>
parents: 48
diff changeset
   273
\item[(2b)] Implement a first-tour function that uses the
9891c9fac37e updated
Christian Urban <urbanc@in.tum.de>
parents: 48
diff changeset
   274
  first-function from (2a), and searches recursively for an open tour.
9891c9fac37e updated
Christian Urban <urbanc@in.tum.de>
parents: 48
diff changeset
   275
  As there might not be such a tour at all, the first-tour function
79
2d57b0d43a0f updated
Christian Urban <urbanc@in.tum.de>
parents: 74
diff changeset
   276
  needs to return an \texttt{Option[Path]}.\\\mbox{}\hfill[2 Marks]
48
7a6a75ea9738 updated
Christian Urban <urbanc@in.tum.de>
parents: 46
diff changeset
   277
\end{itemize}
7a6a75ea9738 updated
Christian Urban <urbanc@in.tum.de>
parents: 46
diff changeset
   278
7a6a75ea9738 updated
Christian Urban <urbanc@in.tum.de>
parents: 46
diff changeset
   279
\noindent
7a6a75ea9738 updated
Christian Urban <urbanc@in.tum.de>
parents: 46
diff changeset
   280
\textbf{Testing} The first tour function will be called with board
7a6a75ea9738 updated
Christian Urban <urbanc@in.tum.de>
parents: 46
diff changeset
   281
sizes of up to $8 \times 8$. 
6
aae256985251 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   282
aae256985251 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   283
50
9891c9fac37e updated
Christian Urban <urbanc@in.tum.de>
parents: 48
diff changeset
   284
\subsection*{Part 2 (3 Marks)}
45
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   285
48
7a6a75ea9738 updated
Christian Urban <urbanc@in.tum.de>
parents: 46
diff changeset
   286
As you should have seen in Part 1, a naive search for open tours
50
9891c9fac37e updated
Christian Urban <urbanc@in.tum.de>
parents: 48
diff changeset
   287
beyond $8 \times 8$ boards and also searching for closed tours
48
7a6a75ea9738 updated
Christian Urban <urbanc@in.tum.de>
parents: 46
diff changeset
   288
takes too much time. There is a heuristic (called Warnsdorf's rule)
50
9891c9fac37e updated
Christian Urban <urbanc@in.tum.de>
parents: 48
diff changeset
   289
that can speed up finding a tour. This heuristic states that a knight
9891c9fac37e updated
Christian Urban <urbanc@in.tum.de>
parents: 48
diff changeset
   290
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
   291
knight will have the \underline{fewest} onward moves.  For example for
7a6a75ea9738 updated
Christian Urban <urbanc@in.tum.de>
parents: 46
diff changeset
   292
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
   293
onward moves, namely 2.
45
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   294
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   295
\chessboard[maxfield=g7,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   296
            pgfstyle= {[base,at={\pgfpoint{0pt}{-0.5ex}}]text},
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   297
            text = \small 3, markfield=Z5,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   298
            text = \small 7, markfield=b5,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   299
            text = \small 7, markfield=c4,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   300
            text = \small 7, markfield=c2,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   301
            text = \small 5, markfield=b1,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   302
            text = \small 2, markfield=Z1,
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   303
            setpieces={Na3}]
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   304
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   305
\noindent
60
f099bcf9cff1 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 59
diff changeset
   306
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
   307
tried in the order
45
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   308
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   309
\[
46
48d2cbe8ee5e updated
Christian Urban <urbanc@in.tum.de>
parents: 45
diff changeset
   310
(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
   311
\]
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   312
46
48d2cbe8ee5e updated
Christian Urban <urbanc@in.tum.de>
parents: 45
diff changeset
   313
\noindent
60
f099bcf9cff1 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 59
diff changeset
   314
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
   315
order.  When calculating the number of onward moves for each field, we
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   316
do not count moves that revisit any field already visited.
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   317
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   318
\subsubsection*{Tasks (file knight3.scala)}
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   319
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   320
\begin{itemize}
50
9891c9fac37e updated
Christian Urban <urbanc@in.tum.de>
parents: 48
diff changeset
   321
\item[(3a)] Write a function ordered-moves that calculates a list of
9891c9fac37e updated
Christian Urban <urbanc@in.tum.de>
parents: 48
diff changeset
   322
  onward moves like in (1b) but orders them according to the
9891c9fac37e updated
Christian Urban <urbanc@in.tum.de>
parents: 48
diff changeset
   323
  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
   324
  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
   325
  
9891c9fac37e updated
Christian Urban <urbanc@in.tum.de>
parents: 48
diff changeset
   326
\item[(3b)] Implement a first-closed-tour-heuristic function that searches for a
9891c9fac37e updated
Christian Urban <urbanc@in.tum.de>
parents: 48
diff changeset
   327
  \textbf{closed} tour on a $6\times 6$ board. It should use the
60
f099bcf9cff1 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 59
diff changeset
   328
  first-function from (2a) and tries out onward moves according to
50
9891c9fac37e updated
Christian Urban <urbanc@in.tum.de>
parents: 48
diff changeset
   329
  the ordered-moves function from (3a). It is more likely to find
9891c9fac37e updated
Christian Urban <urbanc@in.tum.de>
parents: 48
diff changeset
   330
  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
   331
  position $(dimension / 2, dimension / 2)$). \hfill[1 Mark]
45
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   332
50
9891c9fac37e updated
Christian Urban <urbanc@in.tum.de>
parents: 48
diff changeset
   333
\item[(3c)] Implement a first-tour-heuristic function for boards up to $50\times 50$.
74
fb2d8012ed08 updated
Christian Urban <urbanc@in.tum.de>
parents: 60
diff changeset
   334
  It is the same function  as in (3b) but searches for \textbf{open} tours. You have
fb2d8012ed08 updated
Christian Urban <urbanc@in.tum.de>
parents: 60
diff changeset
   335
  to be careful to write a tail-recursive version of the first-tour-heuristic
86
f8a781322499 updated
Christian Urban <urbanc@in.tum.de>
parents: 79
diff changeset
   336
  function otherwise you will get problems with stack-overflows. \hfill[1 Mark]
45
8399976b77fe updated
Christian Urban <urbanc@in.tum.de>
parents: 42
diff changeset
   337
\end{itemize}  
6
aae256985251 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   338
aae256985251 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   339
\end{document}
aae256985251 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   340
aae256985251 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   341
%%% Local Variables: 
aae256985251 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   342
%%% mode: latex
aae256985251 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   343
%%% TeX-master: t
aae256985251 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   344
%%% End: