main_marking4/knight1_test3a.scala
author Christian Urban <christian.urban@kcl.ac.uk>
Tue, 08 Nov 2022 18:35:41 +0000
changeset 431 4a5b59690f0a
parent 421 864107857d27
child 460 f5c0749858fd
permissions -rw-r--r--
updated
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
421
Christian Urban <christian.urban@kcl.ac.uk>
parents: 386
diff changeset
     1
import M4a._
386
69f36c98808b added marking
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     2
69f36c98808b added marking
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     3
def count_all_tours_urban(dim: Int) = {
69f36c98808b added marking
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     4
  for (i <- (0 until dim).toList; 
69f36c98808b added marking
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     5
       j <- (0 until dim).toList) yield count_tours(dim, List((i, j)))
69f36c98808b added marking
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     6
}
69f36c98808b added marking
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     7
69f36c98808b added marking
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     8
69f36c98808b added marking
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     9
assert(count_all_tours_urban(1) == List(1))
69f36c98808b added marking
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    10
assert(count_all_tours_urban(2) == List(0, 0, 0, 0))
69f36c98808b added marking
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    11
assert(count_all_tours_urban(3) == List(0, 0, 0, 0, 0, 0, 0, 0, 0))
69f36c98808b added marking
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    12
assert(count_all_tours_urban(4) == List(0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0))
69f36c98808b added marking
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    13
69f36c98808b added marking
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    14