progs/lecture3.scala
author Christian Urban <urbanc@in.tum.de>
Tue, 12 Nov 2019 00:41:00 +0000
changeset 318 f1215a72cd88
parent 223 417df5986615
child 320 90aed247c8cf
permissions -rw-r--r--
updated
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
67
ca5884c2e3bd updated
Christian Urban <urbanc@in.tum.de>
parents: 53
diff changeset
     1
// Scala Lecture 3
ca5884c2e3bd updated
Christian Urban <urbanc@in.tum.de>
parents: 53
diff changeset
     2
//=================
ca5884c2e3bd updated
Christian Urban <urbanc@in.tum.de>
parents: 53
diff changeset
     3
217
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
     4
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
     5
// A Web Crawler / Email Harvester
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
     6
//=================================
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
     7
//
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
     8
// the idea is to look for links using the
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
     9
// regular expression "https?://[^"]*" and for
218
ae788eeea8a0 updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
    10
// email addresses using yet another regex.
217
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
    11
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
    12
import io.Source
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
    13
import scala.util._
155
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
    14
217
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
    15
// gets the first 10K of a web-page
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
    16
def get_page(url: String) : String = {
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
    17
  Try(Source.fromURL(url)("ISO-8859-1").take(10000).mkString).
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
    18
    getOrElse { println(s"  Problem with: $url"); ""}
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
    19
}
155
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
    20
217
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
    21
// regex for URLs and emails
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
    22
val http_pattern = """"https?://[^"]*"""".r
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
    23
val email_pattern = """([a-z0-9_\.-]+)@([\da-z\.-]+)\.([a-z\.]{2,6})""".r
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
    24
218
ae788eeea8a0 updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
    25
//  val s = "foo bla christian@kcl.ac.uk 1234567"
ae788eeea8a0 updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
    26
//  email_pattern.findAllIn(s).toList
155
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
    27
217
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
    28
// drops the first and last character from a string
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
    29
def unquote(s: String) = s.drop(1).dropRight(1)
155
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
    30
217
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
    31
def get_all_URLs(page: String): Set[String] = 
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
    32
  http_pattern.findAllIn(page).map(unquote).toSet
155
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
    33
217
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
    34
// naive version of crawl - searches until a given depth,
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
    35
// visits pages potentially more than once
218
ae788eeea8a0 updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
    36
217
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
    37
def crawl(url: String, n: Int) : Set[String] = {
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
    38
  if (n == 0) Set()
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
    39
  else {
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
    40
    println(s"  Visiting: $n $url")
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
    41
    val page = get_page(url)
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
    42
    val new_emails = email_pattern.findAllIn(page).toSet
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
    43
    new_emails ++ 
218
ae788eeea8a0 updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
    44
      (for (u <- get_all_URLs(page).par) yield crawl(u, n - 1)).flatten
217
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
    45
  }
155
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
    46
}
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
    47
217
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
    48
// some starting URLs for the crawler
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
    49
val startURL = """https://nms.kcl.ac.uk/christian.urban/"""
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
    50
crawl(startURL, 2)
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
    51
155
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
    52
318
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
    53
// User-defined Datatypes
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
    54
//========================
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
    55
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
    56
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
    57
abstract class Colour
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
    58
case object Red extends Colour 
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
    59
case object Green extends Colour 
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
    60
case object Blue extends Colour
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
    61
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
    62
def fav_colour(c: Colour) : Boolean = c match {
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
    63
  case Red   => false
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
    64
  case Green => true
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
    65
  case Blue  => false 
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
    66
}
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
    67
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
    68
fav_colour(Green)
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
    69
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
    70
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
    71
// ... a tiny bit more useful: Roman Numerals
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
    72
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
    73
abstract class RomanDigit 
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
    74
case object I extends RomanDigit 
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
    75
case object V extends RomanDigit 
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
    76
case object X extends RomanDigit 
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
    77
case object L extends RomanDigit 
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
    78
case object C extends RomanDigit 
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
    79
case object D extends RomanDigit 
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
    80
case object M extends RomanDigit 
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
    81
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
    82
type RomanNumeral = List[RomanDigit] 
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
    83
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
    84
List(X,I)
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
    85
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
    86
/*
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
    87
I -> 1
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
    88
II -> 2
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
    89
III  -> 3
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
    90
IV -> 4
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
    91
V -> 5
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
    92
VI -> 6
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
    93
VII -> 7
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
    94
VIII -> 8
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
    95
IX -> 9
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
    96
X -> X
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
    97
*/
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
    98
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
    99
def RomanNumeral2Int(rs: RomanNumeral): Int = rs match { 
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   100
  case Nil => 0
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   101
  case M::r    => 1000 + RomanNumeral2Int(r)  
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   102
  case C::M::r => 900 + RomanNumeral2Int(r)
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   103
  case D::r    => 500 + RomanNumeral2Int(r)
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   104
  case C::D::r => 400 + RomanNumeral2Int(r)
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   105
  case C::r    => 100 + RomanNumeral2Int(r)
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   106
  case X::C::r => 90 + RomanNumeral2Int(r)
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   107
  case L::r    => 50 + RomanNumeral2Int(r)
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   108
  case X::L::r => 40 + RomanNumeral2Int(r)
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   109
  case X::r    => 10 + RomanNumeral2Int(r)
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   110
  case I::X::r => 9 + RomanNumeral2Int(r)
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   111
  case V::r    => 5 + RomanNumeral2Int(r)
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   112
  case I::V::r => 4 + RomanNumeral2Int(r)
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   113
  case I::r    => 1 + RomanNumeral2Int(r)
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   114
}
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   115
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   116
RomanNumeral2Int(List(I,V))             // 4
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   117
RomanNumeral2Int(List(I,I,I,I))         // 4 (invalid Roman number)
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   118
RomanNumeral2Int(List(V,I))             // 6
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   119
RomanNumeral2Int(List(I,X))             // 9
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   120
RomanNumeral2Int(List(M,C,M,L,X,X,I,X)) // 1979
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   121
RomanNumeral2Int(List(M,M,X,V,I,I))     // 2017
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   122
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   123
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   124
// another example
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   125
//=================
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   126
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   127
// Once upon a time, in a complete fictional 
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   128
// country there were Persons...
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   129
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   130
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   131
abstract class Person
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   132
case object King extends Person
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   133
case class Peer(deg: String, terr: String, succ: Int) extends Person
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   134
case class Knight(name: String) extends Person
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   135
case class Peasant(name: String) extends Person
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   136
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   137
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   138
def title(p: Person): String = p match {
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   139
  case King => "His Majesty the King"
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   140
  case Peer(deg, terr, _) => s"The ${deg} of ${terr}"
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   141
  case Knight(name) => s"Sir ${name}"
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   142
  case Peasant(name) => name
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   143
}
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   144
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   145
def superior(p1: Person, p2: Person): Boolean = (p1, p2) match {
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   146
  case (King, _) => true
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   147
  case (Peer(_,_,_), Knight(_)) => true
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   148
  case (Peer(_,_,_), Peasant(_)) => true
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   149
  case (Peer(_,_,_), Clown) => true
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   150
  case (Knight(_), Peasant(_)) => true
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   151
  case (Knight(_), Clown) => true
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   152
  case (Clown, Peasant(_)) => true
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   153
  case _ => false
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   154
}
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   155
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   156
val people = List(Knight("David"), 
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   157
                  Peer("Duke", "Norfolk", 84), 
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   158
                  Peasant("Christian"), 
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   159
                  King, 
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   160
                  Clown)
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   161
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   162
println(people.sortWith(superior).mkString("\n"))
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   163
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   164
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   165
// String interpolations as patterns
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   166
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   167
val date = "2000-01-01"
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   168
val s"$year-$month-$day" = date
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   169
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   170
def parse_date(date: String) = date match {
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   171
  case s"$year-$month-$day" => Some((year.toInt, month.toInt, day.toInt))
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   172
  case s"$day/$month/$year" => Some((year.toInt, month.toInt, day.toInt))
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   173
  case _ => None
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   174
} 
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   175
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   176
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   177
155
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   178
217
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   179
// User-defined Datatypes and Pattern Matching
218
ae788eeea8a0 updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   180
//=============================================
155
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   181
318
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   182
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   183
217
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   184
abstract class Exp
218
ae788eeea8a0 updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   185
case class N(n: Int) extends Exp                  // for numbers
217
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   186
case class Plus(e1: Exp, e2: Exp) extends Exp
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   187
case class Times(e1: Exp, e2: Exp) extends Exp
158
f60e0908f80b updated
Christian Urban <urbanc@in.tum.de>
parents: 155
diff changeset
   188
218
ae788eeea8a0 updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   189
def string(e: Exp) : String = e match {
ae788eeea8a0 updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   190
  case N(n) => n.toString
ae788eeea8a0 updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   191
  case Plus(e1, e2) => "(" + string(e1) + " + " + string(e2) + ")" 
ae788eeea8a0 updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   192
  case Times(e1, e2) => "(" + string(e1) + " * " + string(e2) + ")" 
ae788eeea8a0 updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   193
}
155
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   194
218
ae788eeea8a0 updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   195
val e = Plus(N(9), Times(N(3), N(4)))
ae788eeea8a0 updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   196
println(string(e))
ae788eeea8a0 updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   197
ae788eeea8a0 updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   198
def eval(e: Exp) : Int = e match {
ae788eeea8a0 updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   199
  case N(n) => n
ae788eeea8a0 updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   200
  case Plus(e1, e2) => eval(e1) + eval(e2) 
ae788eeea8a0 updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   201
  case Times(e1, e2) => eval(e1) * eval(e2) 
ae788eeea8a0 updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   202
}
ae788eeea8a0 updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   203
ae788eeea8a0 updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   204
def simp(e: Exp) : Exp = e match {
ae788eeea8a0 updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   205
  case N(n) => N(n)
ae788eeea8a0 updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   206
  case Plus(e1, e2) => (simp(e1), simp(e2)) match {
ae788eeea8a0 updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   207
    case (N(0), e2s) => e2s
ae788eeea8a0 updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   208
    case (e1s, N(0)) => e1s
ae788eeea8a0 updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   209
    case (e1s, e2s) => Plus(e1s, e2s)
ae788eeea8a0 updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   210
  }  
ae788eeea8a0 updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   211
  case Times(e1, e2) => (simp(e1), simp(e2)) match {
ae788eeea8a0 updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   212
    case (N(0), _) => N(0)
ae788eeea8a0 updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   213
    case (_, N(0)) => N(0)
ae788eeea8a0 updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   214
    case (N(1), e2s) => e2s
ae788eeea8a0 updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   215
    case (e1s, N(1)) => e1s
ae788eeea8a0 updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   216
    case (e1s, e2s) => Times(e1s, e2s)
ae788eeea8a0 updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   217
  }  
ae788eeea8a0 updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   218
}
ae788eeea8a0 updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   219
ae788eeea8a0 updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   220
println(eval(e))
155
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   221
218
ae788eeea8a0 updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   222
val e2 = Times(Plus(N(0), N(1)), Plus(N(0), N(9)))
ae788eeea8a0 updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   223
println(string(e2))
ae788eeea8a0 updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   224
println(string(simp(e2)))
ae788eeea8a0 updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   225
ae788eeea8a0 updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   226
// Tokens and Reverse Polish Notation
ae788eeea8a0 updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   227
abstract class Token
ae788eeea8a0 updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   228
case class T(n: Int) extends Token
ae788eeea8a0 updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   229
case object PL extends Token
ae788eeea8a0 updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   230
case object TI extends Token
ae788eeea8a0 updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   231
ae788eeea8a0 updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   232
def rp(e: Exp) : List[Token] = e match {
ae788eeea8a0 updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   233
  case N(n) => List(T(n))
ae788eeea8a0 updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   234
  case Plus(e1, e2) => rp(e1) ::: rp(e2) ::: List(PL) 
ae788eeea8a0 updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   235
  case Times(e1, e2) => rp(e1) ::: rp(e2) ::: List(TI) 
ae788eeea8a0 updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   236
}
ae788eeea8a0 updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   237
println(string(e2))
ae788eeea8a0 updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   238
println(rp(e2))
ae788eeea8a0 updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   239
ae788eeea8a0 updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   240
def comp(ls: List[Token], st: List[Int]) : Int = (ls, st) match {
ae788eeea8a0 updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   241
  case (Nil, st) => st.head 
ae788eeea8a0 updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   242
  case (T(n)::rest, st) => comp(rest, n::st)
ae788eeea8a0 updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   243
  case (PL::rest, n1::n2::st) => comp(rest, n1 + n2::st)
ae788eeea8a0 updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   244
  case (TI::rest, n1::n2::st) => comp(rest, n1 * n2::st)
ae788eeea8a0 updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   245
}
ae788eeea8a0 updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   246
ae788eeea8a0 updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   247
comp(rp(e), Nil)
ae788eeea8a0 updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   248
ae788eeea8a0 updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   249
def proc(s: String) : Token = s match {
ae788eeea8a0 updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   250
  case  "+" => PL
ae788eeea8a0 updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   251
  case  "*" => TI
ae788eeea8a0 updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   252
  case  _ => T(s.toInt) 
ae788eeea8a0 updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   253
}
ae788eeea8a0 updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   254
ae788eeea8a0 updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   255
comp("1 2 + 4 * 5 + 3 +".split(" ").toList.map(proc), Nil)
ae788eeea8a0 updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   256
155
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   257
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   258
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   259
217
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   260
def string(e: Exp) : String = e match {
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   261
  case N(n) => n.toString
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   262
  case Plus(e1, e2) => "(" + string(e1) + " + " + string(e2) + ")"
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   263
  case Times(e1, e2) => "(" + string(e1) + " * " + string(e2) + ")"
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   264
}
155
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   265
217
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   266
val e = Plus(N(9), Times(N(3), N(4)))
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   267
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   268
println(string(e))
155
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   269
217
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   270
def eval(e: Exp) : Int = e match {
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   271
  case N(n) => n
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   272
  case Plus(e1, e2) => eval(e1) + eval(e2)
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   273
  case Times(e1, e2) => eval(e1) * eval(e2)
152
16dbc95d7d77 updated
Christian Urban <urbanc@in.tum.de>
parents: 77
diff changeset
   274
}
16dbc95d7d77 updated
Christian Urban <urbanc@in.tum.de>
parents: 77
diff changeset
   275
217
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   276
eval(e)
178
55367d499635 updated
Christian Urban <urbanc@in.tum.de>
parents: 170
diff changeset
   277
217
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   278
def simp(e: Exp) : Exp = e match {
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   279
  case N(n) => N(n)
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   280
  case Plus(e1, e2) => (simp(e1), simp(e2)) match {
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   281
    case (N(0), e2s) => e2s
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   282
    case (e1s, N(0)) => e1s
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   283
    case (e1s, e2s) => Plus(e1s, e2s) 
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   284
  }
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   285
  case Times(e1, e2) => (simp(e1), simp(e2)) match {
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   286
    case (N(0), e2s) => N(0)
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   287
    case (e1s, N(0)) => N(0)
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   288
    case (N(1), e2s) => e2s
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   289
    case (e1s, N(1)) => e1s
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   290
    case (e1s, e2s) => Times(e1s, e2s) 
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   291
  }
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   292
}
178
55367d499635 updated
Christian Urban <urbanc@in.tum.de>
parents: 170
diff changeset
   293
152
16dbc95d7d77 updated
Christian Urban <urbanc@in.tum.de>
parents: 77
diff changeset
   294
217
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   295
val e2 = Times(Plus(N(0), N(1)), Plus(N(0), N(9)))
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   296
println(string(e2))
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   297
println(string(simp(e2)))
67
ca5884c2e3bd updated
Christian Urban <urbanc@in.tum.de>
parents: 53
diff changeset
   298
217
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   299
// Token and Reverse Polish Notation
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   300
abstract class Token
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   301
case class T(n: Int) extends Token
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   302
case object PL extends Token
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   303
case object TI extends Token
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   304
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   305
def rp(e: Exp) : List[Token] = e match {
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   306
  case N(n) => List(T(n))
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   307
  case Plus(e1, e2) => rp(e1) ::: rp(e2) ::: List(PL)
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   308
  case Times(e1, e2) => rp(e1) ::: rp(e2) ::: List(TI)
67
ca5884c2e3bd updated
Christian Urban <urbanc@in.tum.de>
parents: 53
diff changeset
   309
}
ca5884c2e3bd updated
Christian Urban <urbanc@in.tum.de>
parents: 53
diff changeset
   310
217
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   311
def comp(ts: List[Token], stk: List[Int]) : Int = (ts, stk) match {
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   312
  case (Nil, st) => st.head
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   313
  case (T(n)::rest, st) => comp(rest, n::st)
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   314
  case (PL::rest, n1::n2::st) => comp(rest, n1 + n2::st)
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   315
  case (TI::rest, n1::n2::st) => comp(rest, n1 * n2::st)
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   316
}
67
ca5884c2e3bd updated
Christian Urban <urbanc@in.tum.de>
parents: 53
diff changeset
   317
217
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   318
def exp(ts: List[Token], st: List[Exp]) : Exp = (ts, st) match {
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   319
  case (Nil, st) => st.head
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   320
  case (T(n)::rest, st) => exp(rest, N(n)::st)
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   321
  case (PL::rest, n1::n2::st) => exp(rest, Plus(n2, n1)::st)
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   322
  case (TI::rest, n1::n2::st) => exp(rest, Times(n2, n1)::st)
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   323
}
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   324
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   325
exp(toks(e2), Nil)
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   326
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   327
def proc(s: String) = s match {
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   328
  case "+" => PL
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   329
  case "*" => TI
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   330
  case n => T(n.toInt)
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   331
}
67
ca5884c2e3bd updated
Christian Urban <urbanc@in.tum.de>
parents: 53
diff changeset
   332
155
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   333
217
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   334
string(exp("1 2 + 4 * 5 + 3 +".split(" ").toList.map(proc), Nil))
67
ca5884c2e3bd updated
Christian Urban <urbanc@in.tum.de>
parents: 53
diff changeset
   335
155
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   336
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   337
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   338
// Tail recursion
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   339
//================
72
9d8b172f5337 updated
Christian Urban <urbanc@in.tum.de>
parents: 71
diff changeset
   340
67
ca5884c2e3bd updated
Christian Urban <urbanc@in.tum.de>
parents: 53
diff changeset
   341
ca5884c2e3bd updated
Christian Urban <urbanc@in.tum.de>
parents: 53
diff changeset
   342
def fact(n: Long): Long = 
ca5884c2e3bd updated
Christian Urban <urbanc@in.tum.de>
parents: 53
diff changeset
   343
  if (n == 0) 1 else n * fact(n - 1)
ca5884c2e3bd updated
Christian Urban <urbanc@in.tum.de>
parents: 53
diff changeset
   344
218
ae788eeea8a0 updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   345
def factB(n: BigInt): BigInt = 
ae788eeea8a0 updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   346
  if (n == 0) 1 else n * factB(n - 1)
ae788eeea8a0 updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   347
ae788eeea8a0 updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   348
factB(100000)
ae788eeea8a0 updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   349
155
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   350
fact(10)              //ok
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   351
fact(10000)           // produces a stackoverflow
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   352
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   353
def factT(n: BigInt, acc: BigInt): BigInt =
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   354
  if (n == 0) acc else factT(n - 1, n * acc)
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   355
158
f60e0908f80b updated
Christian Urban <urbanc@in.tum.de>
parents: 155
diff changeset
   356
factT(10, 1)
218
ae788eeea8a0 updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   357
println(factT(100000, 1))
155
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   358
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   359
// there is a flag for ensuring a function is tail recursive
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   360
import scala.annotation.tailrec
67
ca5884c2e3bd updated
Christian Urban <urbanc@in.tum.de>
parents: 53
diff changeset
   361
72
9d8b172f5337 updated
Christian Urban <urbanc@in.tum.de>
parents: 71
diff changeset
   362
@tailrec
67
ca5884c2e3bd updated
Christian Urban <urbanc@in.tum.de>
parents: 53
diff changeset
   363
def factT(n: BigInt, acc: BigInt): BigInt =
ca5884c2e3bd updated
Christian Urban <urbanc@in.tum.de>
parents: 53
diff changeset
   364
  if (n == 0) acc else factT(n - 1, n * acc)
ca5884c2e3bd updated
Christian Urban <urbanc@in.tum.de>
parents: 53
diff changeset
   365
ca5884c2e3bd updated
Christian Urban <urbanc@in.tum.de>
parents: 53
diff changeset
   366
ca5884c2e3bd updated
Christian Urban <urbanc@in.tum.de>
parents: 53
diff changeset
   367
155
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   368
// for tail-recursive functions the Scala compiler
71
19dff7218b0d updated
Christian Urban <urbanc@in.tum.de>
parents: 68
diff changeset
   369
// generates loop-like code, which does not need
67
ca5884c2e3bd updated
Christian Urban <urbanc@in.tum.de>
parents: 53
diff changeset
   370
// to allocate stack-space in each recursive
155
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   371
// call; Scala can do this only for tail-recursive
67
ca5884c2e3bd updated
Christian Urban <urbanc@in.tum.de>
parents: 53
diff changeset
   372
// functions
ca5884c2e3bd updated
Christian Urban <urbanc@in.tum.de>
parents: 53
diff changeset
   373
155
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   374
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   375
217
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   376
// Jumping Towers
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   377
//================
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   378
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   379
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   380
// the first n prefixes of xs
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   381
// for 1 => include xs
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   382
218
ae788eeea8a0 updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   383
ae788eeea8a0 updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   384
217
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   385
def moves(xs: List[Int], n: Int) : List[List[Int]] = (xs, n) match {
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   386
  case (Nil, _) => Nil
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   387
  case (xs, 0) => Nil
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   388
  case (x::xs, n) => (x::xs) :: moves(xs, n - 1)
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   389
}
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   390
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   391
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   392
moves(List(5,1,0), 1)
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   393
moves(List(5,1,0), 2)
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   394
moves(List(5,1,0), 5)
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   395
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   396
// checks whether a jump tour exists at all
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   397
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   398
def search(xs: List[Int]) : Boolean = xs match {
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   399
  case Nil => true
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   400
  case (x::xs) =>
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   401
    if (xs.length < x) true else moves(xs, x).exists(search(_))
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   402
}
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   403
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   404
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   405
search(List(5,3,2,5,1,1))
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   406
search(List(3,5,1,0,0,0,1))
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   407
search(List(3,5,1,0,0,0,0,1))
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   408
search(List(3,5,1,0,0,0,1,1))
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   409
search(List(3,5,1))
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   410
search(List(5,1,1))
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   411
search(Nil)
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   412
search(List(1))
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   413
search(List(5,1,1))
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   414
search(List(3,5,1,0,0,0,0,0,0,0,0,1))
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   415
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   416
// generates *all* jump tours
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   417
//    if we are only interested in the shortes one, we could
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   418
//    shortcircut the calculation and only return List(x) in
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   419
//    case where xs.length < x, because no tour can be shorter
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   420
//    than 1
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   421
// 
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   422
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   423
def jumps(xs: List[Int]) : List[List[Int]] = xs match {
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   424
  case Nil => Nil
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   425
  case (x::xs) => {
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   426
    val children = moves(xs, x)
218
ae788eeea8a0 updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   427
    val results = children.map((cs) => jumps(cs).map(x :: _)).flatten
217
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   428
    if (xs.length < x) List(x) :: results else results
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   429
  }
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   430
}
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   431
218
ae788eeea8a0 updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   432
println(jumps(List(5,3,2,5,1,1)).minBy(_.length))
217
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   433
jumps(List(3,5,1,2,1,2,1))
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   434
jumps(List(3,5,1,2,3,4,1))
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   435
jumps(List(3,5,1,0,0,0,1))
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   436
jumps(List(3,5,1))
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   437
jumps(List(5,1,1))
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   438
jumps(Nil)
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   439
jumps(List(1))
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   440
jumps(List(5,1,2))
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   441
moves(List(1,2), 5)
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   442
jumps(List(1,5,1,2))
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   443
jumps(List(3,5,1,0,0,0,0,0,0,0,0,1))
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   444
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   445
jumps(List(5,3,2,5,1,1)).minBy(_.length)
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   446
jumps(List(1,3,5,8,9,2,6,7,6,8,9)).minBy(_.length)
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   447
jumps(List(1,3,6,1,0,9)).minBy(_.length)
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   448
jumps(List(2,3,1,1,2,4,2,0,1,1)).minBy(_.length)
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   449
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   450
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   451
318
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   452
// Tail Recursion
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   453
//================
217
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   454
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   455
318
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   456
def fact(n: Long): Long = 
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   457
  if (n == 0) 1 else n * fact(n - 1)
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   458
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   459
fact(10)              //ok
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   460
fact(10000)           // produces a stackoverflow
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   461
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   462
def factT(n: BigInt, acc: BigInt): BigInt =
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   463
  if (n == 0) acc else factT(n - 1, n * acc)
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   464
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   465
factT(10, 1)
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   466
factT(100000, 1)
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   467
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   468
// there is a flag for ensuring a function is tail recursive
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   469
import scala.annotation.tailrec
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   470
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   471
@tailrec
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   472
def factT(n: BigInt, acc: BigInt): BigInt =
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   473
  if (n == 0) acc else factT(n - 1, n * acc)
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   474
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   475
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   476
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   477
// for tail-recursive functions the Scala compiler
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   478
// generates loop-like code, which does not need
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   479
// to allocate stack-space in each recursive
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   480
// call; Scala can do this only for tail-recursive
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   481
// functions
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   482
217
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   483
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   484
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   485
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   486
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   487
// Sudoku 
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   488
//========
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   489
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   490
// THE POINT OF THIS CODE IS NOT TO BE SUPER
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   491
// EFFICIENT AND FAST, just explaining exhaustive
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   492
// depth-first search
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   493
155
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   494
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   495
val game0 = """.14.6.3..
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   496
              |62...4..9
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   497
              |.8..5.6..
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   498
              |.6.2....3
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   499
              |.7..1..5.
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   500
              |5....9.6.
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   501
              |..6.2..3.
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   502
              |1..5...92
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   503
              |..7.9.41.""".stripMargin.replaceAll("\\n", "")
53
9f8751912560 updated
Christian Urban <urbanc@in.tum.de>
parents: 8
diff changeset
   504
155
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   505
type Pos = (Int, Int)
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   506
val EmptyValue = '.'
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   507
val MaxValue = 9
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   508
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   509
val allValues = "123456789".toList
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   510
val indexes = (0 to 8).toList
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   511
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   512
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   513
def empty(game: String) = game.indexOf(EmptyValue)
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   514
def isDone(game: String) = empty(game) == -1 
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   515
def emptyPosition(game: String) = 
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   516
  (empty(game) % MaxValue, empty(game) / MaxValue)
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   517
67
ca5884c2e3bd updated
Christian Urban <urbanc@in.tum.de>
parents: 53
diff changeset
   518
155
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   519
def get_row(game: String, y: Int) = 
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   520
  indexes.map(col => game(y * MaxValue + col))
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   521
def get_col(game: String, x: Int) = 
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   522
  indexes.map(row => game(x + row * MaxValue))
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   523
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   524
def get_box(game: String, pos: Pos): List[Char] = {
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   525
    def base(p: Int): Int = (p / 3) * 3
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   526
    val x0 = base(pos._1)
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   527
    val y0 = base(pos._2)
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   528
    val ys = (y0 until y0 + 3).toList
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   529
    (x0 until x0 + 3).toList.flatMap(x => ys.map(y => game(x + y * MaxValue)))
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   530
}
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   531
217
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   532
//get_row(game0, 0)
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   533
//get_row(game0, 1)
218
ae788eeea8a0 updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   534
//get_col(game0, 0)
ae788eeea8a0 updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   535
//get_box(game0, (3, 1))
217
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   536
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   537
155
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   538
// this is not mutable!!
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   539
def update(game: String, pos: Int, value: Char): String = 
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   540
  game.updated(pos, value)
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   541
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   542
def toAvoid(game: String, pos: Pos): List[Char] = 
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   543
  (get_col(game, pos._1) ++ get_row(game, pos._2) ++ get_box(game, pos))
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   544
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   545
def candidates(game: String, pos: Pos): List[Char] = 
218
ae788eeea8a0 updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   546
  allValues.diff(toAvoid(game, pos))
155
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   547
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   548
//candidates(game0, (0,0))
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   549
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   550
def pretty(game: String): String = 
218
ae788eeea8a0 updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   551
  "\n" + (game.sliding(MaxValue, MaxValue).mkString("\n"))
155
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   552
218
ae788eeea8a0 updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   553
155
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   554
def search(game: String): List[String] = {
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   555
  if (isDone(game)) List(game)
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   556
  else {
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   557
    val cs = candidates(game, emptyPosition(game))
218
ae788eeea8a0 updated
Christian Urban <urbanc@in.tum.de>
parents: 217
diff changeset
   558
    cs.par.map(c => search(update(game, empty(game), c))).toList.flatten
67
ca5884c2e3bd updated
Christian Urban <urbanc@in.tum.de>
parents: 53
diff changeset
   559
  }
ca5884c2e3bd updated
Christian Urban <urbanc@in.tum.de>
parents: 53
diff changeset
   560
}
ca5884c2e3bd updated
Christian Urban <urbanc@in.tum.de>
parents: 53
diff changeset
   561
217
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   562
search(game0).map(pretty)
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   563
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   564
val game1 = """23.915...
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   565
              |...2..54.
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   566
              |6.7......
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   567
              |..1.....9
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   568
              |89.5.3.17
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   569
              |5.....6..
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   570
              |......9.5
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   571
              |.16..7...
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   572
              |...329..1""".stripMargin.replaceAll("\\n", "")
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   573
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   574
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   575
// game that is in the hard category
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   576
val game2 = """8........
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   577
              |..36.....
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   578
              |.7..9.2..
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   579
              |.5...7...
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   580
              |....457..
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   581
              |...1...3.
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   582
              |..1....68
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   583
              |..85...1.
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   584
              |.9....4..""".stripMargin.replaceAll("\\n", "")
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   585
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   586
// game with multiple solutions
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   587
val game3 = """.8...9743
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   588
              |.5...8.1.
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   589
              |.1.......
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   590
              |8....5...
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   591
              |...8.4...
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   592
              |...3....6
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   593
              |.......7.
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   594
              |.3.5...8.
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   595
              |9724...5.""".stripMargin.replaceAll("\\n", "")
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   596
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   597
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   598
search(game1).map(pretty)
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   599
search(game3).map(pretty)
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   600
search(game2).map(pretty)
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   601
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   602
// for measuring time
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   603
def time_needed[T](i: Int, code: => T) = {
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   604
  val start = System.nanoTime()
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   605
  for (j <- 1 to i) code
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   606
  val end = System.nanoTime()
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   607
  ((end - start) / 1.0e9) + " secs"
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   608
}
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   609
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   610
time_needed(1, search(game2))
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   611
155
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   612
// tail recursive version that searches 
158
f60e0908f80b updated
Christian Urban <urbanc@in.tum.de>
parents: 155
diff changeset
   613
// for all solutions
f60e0908f80b updated
Christian Urban <urbanc@in.tum.de>
parents: 155
diff changeset
   614
155
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   615
def searchT(games: List[String], sols: List[String]): List[String] = games match {
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   616
  case Nil => sols
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   617
  case game::rest => {
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   618
    if (isDone(game)) searchT(rest, game::sols)
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   619
    else {
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   620
      val cs = candidates(game, emptyPosition(game))
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   621
      searchT(cs.map(c => update(game, empty(game), c)) ::: rest, sols)
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   622
    }
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   623
  }
67
ca5884c2e3bd updated
Christian Urban <urbanc@in.tum.de>
parents: 53
diff changeset
   624
}
ca5884c2e3bd updated
Christian Urban <urbanc@in.tum.de>
parents: 53
diff changeset
   625
158
f60e0908f80b updated
Christian Urban <urbanc@in.tum.de>
parents: 155
diff changeset
   626
searchT(List(game3), List()).map(pretty)
f60e0908f80b updated
Christian Urban <urbanc@in.tum.de>
parents: 155
diff changeset
   627
f60e0908f80b updated
Christian Urban <urbanc@in.tum.de>
parents: 155
diff changeset
   628
155
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   629
// tail recursive version that searches 
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   630
// for a single solution
158
f60e0908f80b updated
Christian Urban <urbanc@in.tum.de>
parents: 155
diff changeset
   631
155
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   632
def search1T(games: List[String]): Option[String] = games match {
67
ca5884c2e3bd updated
Christian Urban <urbanc@in.tum.de>
parents: 53
diff changeset
   633
  case Nil => None
155
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   634
  case game::rest => {
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   635
    if (isDone(game)) Some(game)
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   636
    else {
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   637
      val cs = candidates(game, emptyPosition(game))
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   638
      search1T(cs.map(c => update(game, empty(game), c)) ::: rest)
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   639
    }
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   640
  }
67
ca5884c2e3bd updated
Christian Urban <urbanc@in.tum.de>
parents: 53
diff changeset
   641
}
ca5884c2e3bd updated
Christian Urban <urbanc@in.tum.de>
parents: 53
diff changeset
   642
158
f60e0908f80b updated
Christian Urban <urbanc@in.tum.de>
parents: 155
diff changeset
   643
search1T(List(game3)).map(pretty)
217
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   644
time_needed(10, search1T(List(game3)))
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   645
158
f60e0908f80b updated
Christian Urban <urbanc@in.tum.de>
parents: 155
diff changeset
   646
155
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   647
// game with multiple solutions
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   648
val game3 = """.8...9743
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   649
              |.5...8.1.
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   650
              |.1.......
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   651
              |8....5...
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   652
              |...8.4...
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   653
              |...3....6
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   654
              |.......7.
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   655
              |.3.5...8.
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   656
              |9724...5.""".stripMargin.replaceAll("\\n", "")
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   657
158
f60e0908f80b updated
Christian Urban <urbanc@in.tum.de>
parents: 155
diff changeset
   658
searchT(List(game3), Nil).map(pretty)
155
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   659
search1T(List(game3)).map(pretty)
67
ca5884c2e3bd updated
Christian Urban <urbanc@in.tum.de>
parents: 53
diff changeset
   660
77
3cbe3d90b77f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 73
diff changeset
   661
// Moral: Whenever a recursive function is resource-critical
158
f60e0908f80b updated
Christian Urban <urbanc@in.tum.de>
parents: 155
diff changeset
   662
// (i.e. works with large recursion depth), then you need to
77
3cbe3d90b77f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 73
diff changeset
   663
// write it in tail-recursive fashion.
3cbe3d90b77f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 73
diff changeset
   664
// 
155
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   665
// Unfortuantely, Scala because of current limitations in 
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   666
// the JVM is not as clever as other functional languages. It can 
77
3cbe3d90b77f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 73
diff changeset
   667
// only optimise "self-tail calls". This excludes the cases of 
3cbe3d90b77f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 73
diff changeset
   668
// multiple functions making tail calls to each other. Well,
3cbe3d90b77f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 73
diff changeset
   669
// nothing is perfect. 
3cbe3d90b77f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 73
diff changeset
   670
3cbe3d90b77f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 73
diff changeset
   671
67
ca5884c2e3bd updated
Christian Urban <urbanc@in.tum.de>
parents: 53
diff changeset
   672
ca5884c2e3bd updated
Christian Urban <urbanc@in.tum.de>
parents: 53
diff changeset
   673
71
19dff7218b0d updated
Christian Urban <urbanc@in.tum.de>
parents: 68
diff changeset
   674
67
ca5884c2e3bd updated
Christian Urban <urbanc@in.tum.de>
parents: 53
diff changeset
   675