main_marking4/knight1_test3b.scala
author Christian Urban <christian.urban@kcl.ac.uk>
Sat, 11 Mar 2023 23:22:05 +0000
changeset 465 3c5a3166b091
parent 460 f5c0749858fd
permissions -rw-r--r--
updated and cleaned
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
421
Christian Urban <christian.urban@kcl.ac.uk>
parents: 387
diff changeset
     1
import M4a._
386
69f36c98808b added marking
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     2
//type Pos = (Int, Int)    // a position on a chessboard 
69f36c98808b added marking
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     3
//type Path = List[Pos]    // a path...a list of positions
69f36c98808b added marking
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     4
387
d0f90515407a updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 386
diff changeset
     5
/*
386
69f36c98808b added marking
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     6
def count_all_tours_urban(dim: Int) = {
69f36c98808b added marking
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     7
  for (i <- (0 until dim).toList; 
69f36c98808b added marking
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     8
       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
     9
}
387
d0f90515407a updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 386
diff changeset
    10
*/
d0f90515407a updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 386
diff changeset
    11
d0f90515407a updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 386
diff changeset
    12
def count_all_tours_urban(dim: Int) = {
d0f90515407a updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 386
diff changeset
    13
  for (i <- (0 until 3).toList; 
d0f90515407a updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 386
diff changeset
    14
       j <- (0 until dim).toList) yield count_tours(dim, List((i, j)))
d0f90515407a updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 386
diff changeset
    15
}
386
69f36c98808b added marking
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    16
69f36c98808b added marking
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    17
460
f5c0749858fd updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 421
diff changeset
    18
import scala.concurrent._
f5c0749858fd updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 421
diff changeset
    19
import scala.concurrent.duration._
f5c0749858fd updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 421
diff changeset
    20
import ExecutionContext.Implicits.global
f5c0749858fd updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 421
diff changeset
    21
import scala.language.postfixOps 
f5c0749858fd updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 421
diff changeset
    22
f5c0749858fd updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 421
diff changeset
    23
lazy val f = Future {
387
d0f90515407a updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 386
diff changeset
    24
assert(count_all_tours_urban(5) == List(304, 0, 56, 0, 304, 0, 56, 0, 56, 0, 56, 0, 64, 0, 56))
460
f5c0749858fd updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 421
diff changeset
    25
}
386
69f36c98808b added marking
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    26
460
f5c0749858fd updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 421
diff changeset
    27
Await.result(f, 32 second)
f5c0749858fd updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 421
diff changeset
    28