progs/roman_sol.scala
author Christian Urban <urbanc@in.tum.de>
Thu, 06 Dec 2018 22:51:46 +0000
changeset 237 ecda54182ae5
parent 111 7cefb821ee20
child 265 2692329287bb
permissions -rw-r--r--
updated
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
108
833e17ba391c updated
Christian Urban <urbanc@in.tum.de>
parents: 105
diff changeset
     1
// Part 1 about Roman Numerals
833e17ba391c updated
Christian Urban <urbanc@in.tum.de>
parents: 105
diff changeset
     2
//=============================
833e17ba391c updated
Christian Urban <urbanc@in.tum.de>
parents: 105
diff changeset
     3
104
a7ce74d89085 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     4
abstract class RomanDigit 
a7ce74d89085 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     5
case object I extends RomanDigit 
a7ce74d89085 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     6
case object V extends RomanDigit 
a7ce74d89085 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     7
case object X extends RomanDigit 
a7ce74d89085 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     8
case object L extends RomanDigit 
a7ce74d89085 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     9
case object C extends RomanDigit 
a7ce74d89085 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    10
case object D extends RomanDigit 
a7ce74d89085 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    11
case object M extends RomanDigit 
105
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
    12
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
    13
type RomanNumeral = List[RomanDigit] 
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
    14
108
833e17ba391c updated
Christian Urban <urbanc@in.tum.de>
parents: 105
diff changeset
    15
833e17ba391c updated
Christian Urban <urbanc@in.tum.de>
parents: 105
diff changeset
    16
// (1) First write a polymorphic function that recursively
833e17ba391c updated
Christian Urban <urbanc@in.tum.de>
parents: 105
diff changeset
    17
// transforms a list of options into an option of a list.
833e17ba391c updated
Christian Urban <urbanc@in.tum.de>
parents: 105
diff changeset
    18
// As soon as a None is inside the list, the result is None. 
833e17ba391c updated
Christian Urban <urbanc@in.tum.de>
parents: 105
diff changeset
    19
// Otherwise produce a list of all Some's appended.
833e17ba391c updated
Christian Urban <urbanc@in.tum.de>
parents: 105
diff changeset
    20
105
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
    21
def optionlist[A](xs: List[Option[A]]): Option[List[A]] = xs match {
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
    22
  case Nil => Some(Nil)
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
    23
  case x::xs => (x, optionlist(xs)) match {
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
    24
    case (None, _) => None
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
    25
    case (_, None) => None
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
    26
    case (Some(y), Some(ys)) => Some(y::ys)  
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
    27
  }
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
    28
}
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
    29
108
833e17ba391c updated
Christian Urban <urbanc@in.tum.de>
parents: 105
diff changeset
    30
optionlist(List(Some(1), Some(2), Some(3)))
833e17ba391c updated
Christian Urban <urbanc@in.tum.de>
parents: 105
diff changeset
    31
optionlist(List(Some(1), None, Some(3)))
833e17ba391c updated
Christian Urban <urbanc@in.tum.de>
parents: 105
diff changeset
    32
optionlist(List())
833e17ba391c updated
Christian Urban <urbanc@in.tum.de>
parents: 105
diff changeset
    33
833e17ba391c updated
Christian Urban <urbanc@in.tum.de>
parents: 105
diff changeset
    34
// (2) Write a function first a function that converts a character
833e17ba391c updated
Christian Urban <urbanc@in.tum.de>
parents: 105
diff changeset
    35
// into a roman digit (if possible). Then convert a string into
833e17ba391c updated
Christian Urban <urbanc@in.tum.de>
parents: 105
diff changeset
    36
// a roman numeral (if possible). If this is not possible, the functions
833e17ba391c updated
Christian Urban <urbanc@in.tum.de>
parents: 105
diff changeset
    37
// should return None.
833e17ba391c updated
Christian Urban <urbanc@in.tum.de>
parents: 105
diff changeset
    38
833e17ba391c updated
Christian Urban <urbanc@in.tum.de>
parents: 105
diff changeset
    39
def Char2RomanDigit(c: Char): Option[RomanDigit] = c match {
105
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
    40
  case 'I' => Some(I)
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
    41
  case 'V' => Some(V)
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
    42
  case 'X' => Some(X)
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
    43
  case 'L' => Some(L)
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
    44
  case 'C' => Some(C)
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
    45
  case 'D' => Some(D)
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
    46
  case 'M' => Some(M)
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
    47
  case _ => None
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
    48
}
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
    49
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
    50
def String2RomanNumeral(s: String) : Option[RomanNumeral] = 
108
833e17ba391c updated
Christian Urban <urbanc@in.tum.de>
parents: 105
diff changeset
    51
  optionlist(s.toList.map(Char2RomanDigit))
105
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
    52
108
833e17ba391c updated
Christian Urban <urbanc@in.tum.de>
parents: 105
diff changeset
    53
// some test cases
105
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
    54
String2RomanNumeral("IIII")
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
    55
String2RomanNumeral("IV")
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
    56
String2RomanNumeral("VI")
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
    57
String2RomanNumeral("IX")
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
    58
String2RomanNumeral("MCMLXXIX")
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
    59
String2RomanNumeral("MCMXLIV") 
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
    60
String2RomanNumeral("M C M X L I V")  // None
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
    61
108
833e17ba391c updated
Christian Urban <urbanc@in.tum.de>
parents: 105
diff changeset
    62
833e17ba391c updated
Christian Urban <urbanc@in.tum.de>
parents: 105
diff changeset
    63
// (3) Write a recursive function RomanNumral2Int that converts a
833e17ba391c updated
Christian Urban <urbanc@in.tum.de>
parents: 105
diff changeset
    64
// RomanNumeral into an integer.
105
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
    65
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
    66
def RomanNumeral2Int(rs: RomanNumeral): Int = rs match { 
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
    67
  case Nil => 0
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
    68
  case M::r    => 1000 + RomanNumeral2Int(r)  
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
    69
  case C::M::r => 900 + RomanNumeral2Int(r)
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
    70
  case D::r    => 500 + RomanNumeral2Int(r)
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
    71
  case C::D::r => 400 + RomanNumeral2Int(r)
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
    72
  case C::r    => 100 + RomanNumeral2Int(r)
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
    73
  case X::C::r => 90 + RomanNumeral2Int(r)
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
    74
  case L::r    => 50 + RomanNumeral2Int(r)
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
    75
  case X::L::r => 40 + RomanNumeral2Int(r)
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
    76
  case X::r    => 10 + RomanNumeral2Int(r)
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
    77
  case I::X::r => 9 + RomanNumeral2Int(r)
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
    78
  case V::r    => 5 + RomanNumeral2Int(r)
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
    79
  case I::V::r => 4 + RomanNumeral2Int(r)
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
    80
  case I::r    => 1 + RomanNumeral2Int(r)
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
    81
}
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
    82
108
833e17ba391c updated
Christian Urban <urbanc@in.tum.de>
parents: 105
diff changeset
    83
// some test cases
109
6b362ee692c3 updated
Christian Urban <urbanc@in.tum.de>
parents: 108
diff changeset
    84
RomanNumeral2Int(List(I,I,I,I))         // 4 (invalid roman number)
105
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
    85
RomanNumeral2Int(List(I,V))             // 4
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
    86
RomanNumeral2Int(List(V,I))             // 6
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
    87
RomanNumeral2Int(List(I,X))             // 9
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
    88
RomanNumeral2Int(List(M,C,M,L,X,X,I,X)) // 1979
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
    89
RomanNumeral2Int(List(M,C,M,X,L,I,V))   // 1944
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
    90
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
    91
108
833e17ba391c updated
Christian Urban <urbanc@in.tum.de>
parents: 105
diff changeset
    92
// (4) Write a function that converts a string (containing
833e17ba391c updated
Christian Urban <urbanc@in.tum.de>
parents: 105
diff changeset
    93
// a roman numeral) into an integer (if possible). If not
833e17ba391c updated
Christian Urban <urbanc@in.tum.de>
parents: 105
diff changeset
    94
// this is not possible, the functions should return None.
833e17ba391c updated
Christian Urban <urbanc@in.tum.de>
parents: 105
diff changeset
    95
105
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
    96
def String2Int(s: String): Option[Int] = 
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
    97
  String2RomanNumeral(s).map(RomanNumeral2Int(_))
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
    98
109
6b362ee692c3 updated
Christian Urban <urbanc@in.tum.de>
parents: 108
diff changeset
    99
// some test cases
6b362ee692c3 updated
Christian Urban <urbanc@in.tum.de>
parents: 108
diff changeset
   100
String2Int("IIII")      // 4 (though invalid roman numeral)  
105
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
   101
String2Int("IV")        // 4
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
   102
String2Int("VI")        // 6
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
   103
String2Int("IX")        // 9
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
   104
String2Int("MCMLXXIX")  // 1979
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
   105
String2Int("MCMXLIV")   // 1944
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
   106
String2Int("")          // 0
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
   107
String2Int("MDCLXI")    // 1661
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
   108
String2Int("MMMCMXCIX") // 3999
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
   109
String2Int("XLVIII")    // 48
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
   110
String2Int("MMVIII")    // 2008
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
   111
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
   112
String2Int("MMXI")      // 2011 
111
7cefb821ee20 updated
Christian Urban <urbanc@in.tum.de>
parents: 109
diff changeset
   113
String2Int("MIM")       // 2001
105
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
   114
String2Int("MCMLVI")    // 1956 
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
   115
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
   116
String2Int("III") 	// 3
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
   117
String2Int("XXX") 	// 30
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
   118
String2Int("CCC") 	// 300
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
   119
String2Int("MMM") 	// 3000
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
   120
String2Int("VII") 	// 7
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
   121
String2Int("LXVI") 	// 66
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
   122
String2Int("CL") 	// 150
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
   123
String2Int("MCC") 	// 1200
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
   124
String2Int("IV") 	// 4
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
   125
String2Int("IX") 	// 9
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
   126
String2Int("XC") 	// 90
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
   127
String2Int("MDCLXVI")	// 1666
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
   128
109
6b362ee692c3 updated
Christian Urban <urbanc@in.tum.de>
parents: 108
diff changeset
   129
String2Int("VIV")       // 9 (but should be written as IX) 
6b362ee692c3 updated
Christian Urban <urbanc@in.tum.de>
parents: 108
diff changeset
   130
String2Int("IVX")       // 14 (also invalid)
105
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
   131
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
   132
// error cases
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
   133
String2Int("MC?I")
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
   134
String2Int("abc")
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
   135
109
6b362ee692c3 updated
Christian Urban <urbanc@in.tum.de>
parents: 108
diff changeset
   136
108
833e17ba391c updated
Christian Urban <urbanc@in.tum.de>
parents: 105
diff changeset
   137
// (5) The file roman.txt contains a list of roman numerals. 
833e17ba391c updated
Christian Urban <urbanc@in.tum.de>
parents: 105
diff changeset
   138
// Read in these numerals, convert them into integers and then 
833e17ba391c updated
Christian Urban <urbanc@in.tum.de>
parents: 105
diff changeset
   139
// add them all up.
833e17ba391c updated
Christian Urban <urbanc@in.tum.de>
parents: 105
diff changeset
   140
833e17ba391c updated
Christian Urban <urbanc@in.tum.de>
parents: 105
diff changeset
   141
import io.Source
833e17ba391c updated
Christian Urban <urbanc@in.tum.de>
parents: 105
diff changeset
   142
import scala.util._
833e17ba391c updated
Christian Urban <urbanc@in.tum.de>
parents: 105
diff changeset
   143
833e17ba391c updated
Christian Urban <urbanc@in.tum.de>
parents: 105
diff changeset
   144
// function for reading files:
833e17ba391c updated
Christian Urban <urbanc@in.tum.de>
parents: 105
diff changeset
   145
// Source.fromFile("file_name")("ISO-8859-9")
833e17ba391c updated
Christian Urban <urbanc@in.tum.de>
parents: 105
diff changeset
   146
833e17ba391c updated
Christian Urban <urbanc@in.tum.de>
parents: 105
diff changeset
   147
def addromanfile(filename: String) = {
833e17ba391c updated
Christian Urban <urbanc@in.tum.de>
parents: 105
diff changeset
   148
  val lines = Source.fromFile(filename)("ISO-8859-9").getLines.toList.map(_.trim)
833e17ba391c updated
Christian Urban <urbanc@in.tum.de>
parents: 105
diff changeset
   149
  lines.map(String2Int(_)).flatten.sum
833e17ba391c updated
Christian Urban <urbanc@in.tum.de>
parents: 105
diff changeset
   150
}
833e17ba391c updated
Christian Urban <urbanc@in.tum.de>
parents: 105
diff changeset
   151
833e17ba391c updated
Christian Urban <urbanc@in.tum.de>
parents: 105
diff changeset
   152
833e17ba391c updated
Christian Urban <urbanc@in.tum.de>
parents: 105
diff changeset
   153
addromanfile("roman.txt")
833e17ba391c updated
Christian Urban <urbanc@in.tum.de>
parents: 105
diff changeset
   154
111
7cefb821ee20 updated
Christian Urban <urbanc@in.tum.de>
parents: 109
diff changeset
   155
val ls = """IIII
7cefb821ee20 updated
Christian Urban <urbanc@in.tum.de>
parents: 109
diff changeset
   156
IV        
7cefb821ee20 updated
Christian Urban <urbanc@in.tum.de>
parents: 109
diff changeset
   157
VI        
7cefb821ee20 updated
Christian Urban <urbanc@in.tum.de>
parents: 109
diff changeset
   158
IX        
7cefb821ee20 updated
Christian Urban <urbanc@in.tum.de>
parents: 109
diff changeset
   159
MCMLXXIX  
7cefb821ee20 updated
Christian Urban <urbanc@in.tum.de>
parents: 109
diff changeset
   160
MCMXLIV   
7cefb821ee20 updated
Christian Urban <urbanc@in.tum.de>
parents: 109
diff changeset
   161
          
7cefb821ee20 updated
Christian Urban <urbanc@in.tum.de>
parents: 109
diff changeset
   162
MDCLXI    
7cefb821ee20 updated
Christian Urban <urbanc@in.tum.de>
parents: 109
diff changeset
   163
MMMCMXCIX 
7cefb821ee20 updated
Christian Urban <urbanc@in.tum.de>
parents: 109
diff changeset
   164
XLVIII    
7cefb821ee20 updated
Christian Urban <urbanc@in.tum.de>
parents: 109
diff changeset
   165
MMVIII    
7cefb821ee20 updated
Christian Urban <urbanc@in.tum.de>
parents: 109
diff changeset
   166
7cefb821ee20 updated
Christian Urban <urbanc@in.tum.de>
parents: 109
diff changeset
   167
MMXI      
7cefb821ee20 updated
Christian Urban <urbanc@in.tum.de>
parents: 109
diff changeset
   168
MIM       
7cefb821ee20 updated
Christian Urban <urbanc@in.tum.de>
parents: 109
diff changeset
   169
MCMLVI    
7cefb821ee20 updated
Christian Urban <urbanc@in.tum.de>
parents: 109
diff changeset
   170
7cefb821ee20 updated
Christian Urban <urbanc@in.tum.de>
parents: 109
diff changeset
   171
III     
7cefb821ee20 updated
Christian Urban <urbanc@in.tum.de>
parents: 109
diff changeset
   172
XXX     
7cefb821ee20 updated
Christian Urban <urbanc@in.tum.de>
parents: 109
diff changeset
   173
CCC     
7cefb821ee20 updated
Christian Urban <urbanc@in.tum.de>
parents: 109
diff changeset
   174
MMM     
7cefb821ee20 updated
Christian Urban <urbanc@in.tum.de>
parents: 109
diff changeset
   175
VII     
7cefb821ee20 updated
Christian Urban <urbanc@in.tum.de>
parents: 109
diff changeset
   176
LXVI    
7cefb821ee20 updated
Christian Urban <urbanc@in.tum.de>
parents: 109
diff changeset
   177
CL      
7cefb821ee20 updated
Christian Urban <urbanc@in.tum.de>
parents: 109
diff changeset
   178
MCC     
7cefb821ee20 updated
Christian Urban <urbanc@in.tum.de>
parents: 109
diff changeset
   179
IV      
7cefb821ee20 updated
Christian Urban <urbanc@in.tum.de>
parents: 109
diff changeset
   180
IX      
7cefb821ee20 updated
Christian Urban <urbanc@in.tum.de>
parents: 109
diff changeset
   181
XC      
7cefb821ee20 updated
Christian Urban <urbanc@in.tum.de>
parents: 109
diff changeset
   182
MDCLXVI""".split("\n").map(_.trim).map(String2Int(_)).flatten
7cefb821ee20 updated
Christian Urban <urbanc@in.tum.de>
parents: 109
diff changeset
   183
7cefb821ee20 updated
Christian Urban <urbanc@in.tum.de>
parents: 109
diff changeset
   184
String2Int("MIM")
108
833e17ba391c updated
Christian Urban <urbanc@in.tum.de>
parents: 105
diff changeset
   185
109
6b362ee692c3 updated
Christian Urban <urbanc@in.tum.de>
parents: 108
diff changeset
   186
// Part 2 about Validation of Roman Numerals
6b362ee692c3 updated
Christian Urban <urbanc@in.tum.de>
parents: 108
diff changeset
   187
//===========================================
108
833e17ba391c updated
Christian Urban <urbanc@in.tum.de>
parents: 105
diff changeset
   188
109
6b362ee692c3 updated
Christian Urban <urbanc@in.tum.de>
parents: 108
diff changeset
   189
def Digit2Int(r: RomanDigit) = r match {
6b362ee692c3 updated
Christian Urban <urbanc@in.tum.de>
parents: 108
diff changeset
   190
  case I => 1
6b362ee692c3 updated
Christian Urban <urbanc@in.tum.de>
parents: 108
diff changeset
   191
  case V => 5
6b362ee692c3 updated
Christian Urban <urbanc@in.tum.de>
parents: 108
diff changeset
   192
  case X => 10
6b362ee692c3 updated
Christian Urban <urbanc@in.tum.de>
parents: 108
diff changeset
   193
  case L => 50
6b362ee692c3 updated
Christian Urban <urbanc@in.tum.de>
parents: 108
diff changeset
   194
  case C => 100
6b362ee692c3 updated
Christian Urban <urbanc@in.tum.de>
parents: 108
diff changeset
   195
  case D => 500
6b362ee692c3 updated
Christian Urban <urbanc@in.tum.de>
parents: 108
diff changeset
   196
  case M => 1000
6b362ee692c3 updated
Christian Urban <urbanc@in.tum.de>
parents: 108
diff changeset
   197
}
105
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
   198
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
   199
def runsAllowed(r: RomanDigit) = r match {
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
   200
  case I | X | C | M => true
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
   201
  case V | L | D => false
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
   202
}
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
   203
109
6b362ee692c3 updated
Christian Urban <urbanc@in.tum.de>
parents: 108
diff changeset
   204
def subtractable(r1: RomanDigit, r2: RomanDigit) = (r1, r2)  match {
6b362ee692c3 updated
Christian Urban <urbanc@in.tum.de>
parents: 108
diff changeset
   205
  case (I, V) | (I, X) => true
6b362ee692c3 updated
Christian Urban <urbanc@in.tum.de>
parents: 108
diff changeset
   206
  case (X, L) | (X, C) => true
6b362ee692c3 updated
Christian Urban <urbanc@in.tum.de>
parents: 108
diff changeset
   207
  case (C, D) | (C, M) => true
6b362ee692c3 updated
Christian Urban <urbanc@in.tum.de>
parents: 108
diff changeset
   208
  case _ => false
6b362ee692c3 updated
Christian Urban <urbanc@in.tum.de>
parents: 108
diff changeset
   209
}
105
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
   210
109
6b362ee692c3 updated
Christian Urban <urbanc@in.tum.de>
parents: 108
diff changeset
   211
def isValidNumeral(digitList: RomanNumeral): Boolean = digitList match {
105
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
   212
109
6b362ee692c3 updated
Christian Urban <urbanc@in.tum.de>
parents: 108
diff changeset
   213
  // empty list is valid
105
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
   214
  case Nil => true
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
   215
109
6b362ee692c3 updated
Christian Urban <urbanc@in.tum.de>
parents: 108
diff changeset
   216
  // no more than three runnables in succession
6b362ee692c3 updated
Christian Urban <urbanc@in.tum.de>
parents: 108
diff changeset
   217
  case d1::d2::d3::d4::_ if (d1 == d2 && d1 == d3 && d1 == d4 && runsAllowed(d1)) => false
6b362ee692c3 updated
Christian Urban <urbanc@in.tum.de>
parents: 108
diff changeset
   218
6b362ee692c3 updated
Christian Urban <urbanc@in.tum.de>
parents: 108
diff changeset
   219
  // no more than one non-runnables in succession
6b362ee692c3 updated
Christian Urban <urbanc@in.tum.de>
parents: 108
diff changeset
   220
  case d1::d2::_ if (d1 == d2 && !runsAllowed(d1)) => false
6b362ee692c3 updated
Christian Urban <urbanc@in.tum.de>
parents: 108
diff changeset
   221
6b362ee692c3 updated
Christian Urban <urbanc@in.tum.de>
parents: 108
diff changeset
   222
  // subtractable
6b362ee692c3 updated
Christian Urban <urbanc@in.tum.de>
parents: 108
diff changeset
   223
  case d1::d2::_ if (Digit2Int(d1) < Digit2Int(d2) && !subtractable(d1, d2)) => false
6b362ee692c3 updated
Christian Urban <urbanc@in.tum.de>
parents: 108
diff changeset
   224
6b362ee692c3 updated
Christian Urban <urbanc@in.tum.de>
parents: 108
diff changeset
   225
  // followable1
6b362ee692c3 updated
Christian Urban <urbanc@in.tum.de>
parents: 108
diff changeset
   226
  case d1::d2::d3::_ if (Digit2Int(d2) < Digit2Int(d3) && subtractable(d2,d3) && 
6b362ee692c3 updated
Christian Urban <urbanc@in.tum.de>
parents: 108
diff changeset
   227
                         Digit2Int(d1) < Digit2Int(d2) * 10) => false
6b362ee692c3 updated
Christian Urban <urbanc@in.tum.de>
parents: 108
diff changeset
   228
6b362ee692c3 updated
Christian Urban <urbanc@in.tum.de>
parents: 108
diff changeset
   229
  // followable2 
6b362ee692c3 updated
Christian Urban <urbanc@in.tum.de>
parents: 108
diff changeset
   230
  case d1::d2::d3::_ if (Digit2Int(d1) < Digit2Int(d2) && subtractable(d1,d2) && 
6b362ee692c3 updated
Christian Urban <urbanc@in.tum.de>
parents: 108
diff changeset
   231
                         Digit2Int(d1) <= Digit2Int(d3))  => false 
105
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
   232
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
   233
    // A single digit is always allowed
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
   234
  case _::ds => isValidNumeral(ds) 
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
   235
0f9f774c7697 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 104
diff changeset
   236
}
109
6b362ee692c3 updated
Christian Urban <urbanc@in.tum.de>
parents: 108
diff changeset
   237
6b362ee692c3 updated
Christian Urban <urbanc@in.tum.de>
parents: 108
diff changeset
   238
6b362ee692c3 updated
Christian Urban <urbanc@in.tum.de>
parents: 108
diff changeset
   239
val invalids = List("IXC", "XCX", "IIII", "IIIII", "DD", "VL", "MIM", "XXCIII", "LXXIIX", "IIIIX",
6b362ee692c3 updated
Christian Urban <urbanc@in.tum.de>
parents: 108
diff changeset
   240
                    "IIXX", "ICM", "CIM", "VIV", "IVX", "MCMC", "XIIX", "IIXX")
6b362ee692c3 updated
Christian Urban <urbanc@in.tum.de>
parents: 108
diff changeset
   241
invalids.map(String2RomanNumeral(_)).flatten.map(isValidNumeral(_))
6b362ee692c3 updated
Christian Urban <urbanc@in.tum.de>
parents: 108
diff changeset
   242
invalids.map(String2RomanNumeral(_)).flatten.map((r) => (r, isValidNumeral(r)))
6b362ee692c3 updated
Christian Urban <urbanc@in.tum.de>
parents: 108
diff changeset
   243
6b362ee692c3 updated
Christian Urban <urbanc@in.tum.de>
parents: 108
diff changeset
   244
6b362ee692c3 updated
Christian Urban <urbanc@in.tum.de>
parents: 108
diff changeset
   245
val valids = List("IV", "VI", "IX", "MCMLXXIX", "MCMXLIV", "", "MDCLXI",
6b362ee692c3 updated
Christian Urban <urbanc@in.tum.de>
parents: 108
diff changeset
   246
                  "MMMCMXCIX", "XLVIII", "MMVIII", "MMXI", "MCMLVI", "III",
6b362ee692c3 updated
Christian Urban <urbanc@in.tum.de>
parents: 108
diff changeset
   247
                  "XXX", "CCC", "MMM", "VII", "LXVI", "CL", "MCC", "XC",
6b362ee692c3 updated
Christian Urban <urbanc@in.tum.de>
parents: 108
diff changeset
   248
                  "MDCLXVI")
6b362ee692c3 updated
Christian Urban <urbanc@in.tum.de>
parents: 108
diff changeset
   249
valids.map(String2RomanNumeral(_)).flatten.map(isValidNumeral(_))
6b362ee692c3 updated
Christian Urban <urbanc@in.tum.de>
parents: 108
diff changeset
   250
6b362ee692c3 updated
Christian Urban <urbanc@in.tum.de>
parents: 108
diff changeset
   251
6b362ee692c3 updated
Christian Urban <urbanc@in.tum.de>
parents: 108
diff changeset
   252
6b362ee692c3 updated
Christian Urban <urbanc@in.tum.de>
parents: 108
diff changeset
   253
6b362ee692c3 updated
Christian Urban <urbanc@in.tum.de>
parents: 108
diff changeset
   254
6b362ee692c3 updated
Christian Urban <urbanc@in.tum.de>
parents: 108
diff changeset
   255
def Int2Roman(n: Int): RomanNumeral = n match {
6b362ee692c3 updated
Christian Urban <urbanc@in.tum.de>
parents: 108
diff changeset
   256
  case 0 => Nil
6b362ee692c3 updated
Christian Urban <urbanc@in.tum.de>
parents: 108
diff changeset
   257
  case n if (1000 <= n) => M :: Int2Roman(n - 1000)
6b362ee692c3 updated
Christian Urban <urbanc@in.tum.de>
parents: 108
diff changeset
   258
  case n if (900 <= n) => C :: M :: Int2Roman(n - 900)
6b362ee692c3 updated
Christian Urban <urbanc@in.tum.de>
parents: 108
diff changeset
   259
  case n if (500 <= n) => D :: Int2Roman(n - 500)
6b362ee692c3 updated
Christian Urban <urbanc@in.tum.de>
parents: 108
diff changeset
   260
  case n if (400 <= n) => C :: D :: Int2Roman(n - 400)
6b362ee692c3 updated
Christian Urban <urbanc@in.tum.de>
parents: 108
diff changeset
   261
  case n if (100 <= n) => C :: Int2Roman(n - 100)
6b362ee692c3 updated
Christian Urban <urbanc@in.tum.de>
parents: 108
diff changeset
   262
  case n if (90 <= n) => X :: C :: Int2Roman(n - 90)
6b362ee692c3 updated
Christian Urban <urbanc@in.tum.de>
parents: 108
diff changeset
   263
  case n if (50 <= n) => L :: Int2Roman(n - 50)
6b362ee692c3 updated
Christian Urban <urbanc@in.tum.de>
parents: 108
diff changeset
   264
  case n if (40 <= n) => X :: L :: Int2Roman(n - 40)
6b362ee692c3 updated
Christian Urban <urbanc@in.tum.de>
parents: 108
diff changeset
   265
  case n if (10 <= n) => X :: Int2Roman(n - 10)
6b362ee692c3 updated
Christian Urban <urbanc@in.tum.de>
parents: 108
diff changeset
   266
  case n if (9 <= n) => I :: X :: Int2Roman(n - 9)
6b362ee692c3 updated
Christian Urban <urbanc@in.tum.de>
parents: 108
diff changeset
   267
  case n if (5 <= n) => V :: Int2Roman(n - 5)
6b362ee692c3 updated
Christian Urban <urbanc@in.tum.de>
parents: 108
diff changeset
   268
  case n if (4 <= n) => I :: V :: Int2Roman(n - 4)
6b362ee692c3 updated
Christian Urban <urbanc@in.tum.de>
parents: 108
diff changeset
   269
  case n if (1 <= n) => I :: Int2Roman(n - 1)
6b362ee692c3 updated
Christian Urban <urbanc@in.tum.de>
parents: 108
diff changeset
   270
}
6b362ee692c3 updated
Christian Urban <urbanc@in.tum.de>
parents: 108
diff changeset
   271
6b362ee692c3 updated
Christian Urban <urbanc@in.tum.de>
parents: 108
diff changeset
   272
6b362ee692c3 updated
Christian Urban <urbanc@in.tum.de>
parents: 108
diff changeset
   273
Int2Roman(4)
6b362ee692c3 updated
Christian Urban <urbanc@in.tum.de>
parents: 108
diff changeset
   274
Int2Roman(6)
6b362ee692c3 updated
Christian Urban <urbanc@in.tum.de>
parents: 108
diff changeset
   275
Int2Roman(9)
6b362ee692c3 updated
Christian Urban <urbanc@in.tum.de>
parents: 108
diff changeset
   276
Int2Roman(1979)
6b362ee692c3 updated
Christian Urban <urbanc@in.tum.de>
parents: 108
diff changeset
   277
Int2Roman(1944)
6b362ee692c3 updated
Christian Urban <urbanc@in.tum.de>
parents: 108
diff changeset
   278
6b362ee692c3 updated
Christian Urban <urbanc@in.tum.de>
parents: 108
diff changeset
   279
RomanNumeral2Int(List(I,V))             
6b362ee692c3 updated
Christian Urban <urbanc@in.tum.de>
parents: 108
diff changeset
   280
RomanNumeral2Int(List(V,I))             
6b362ee692c3 updated
Christian Urban <urbanc@in.tum.de>
parents: 108
diff changeset
   281
RomanNumeral2Int(List(I,X))             
6b362ee692c3 updated
Christian Urban <urbanc@in.tum.de>
parents: 108
diff changeset
   282
RomanNumeral2Int(List(M,C,M,L,X,X,I,X)) 
6b362ee692c3 updated
Christian Urban <urbanc@in.tum.de>
parents: 108
diff changeset
   283
RomanNumeral2Int(List(M,C,M,X,L,I,V))
6b362ee692c3 updated
Christian Urban <urbanc@in.tum.de>
parents: 108
diff changeset
   284
6b362ee692c3 updated
Christian Urban <urbanc@in.tum.de>
parents: 108
diff changeset
   285
6b362ee692c3 updated
Christian Urban <urbanc@in.tum.de>
parents: 108
diff changeset
   286
def addvalidromanfile(filename: String) = {
6b362ee692c3 updated
Christian Urban <urbanc@in.tum.de>
parents: 108
diff changeset
   287
  val lines = Source.fromFile(filename)("ISO-8859-9").getLines.toList.map(_.trim)
6b362ee692c3 updated
Christian Urban <urbanc@in.tum.de>
parents: 108
diff changeset
   288
  val ints = lines.map(String2RomanNumeral(_)).flatten.filter(isValidNumeral(_)).map(RomanNumeral2Int(_))
6b362ee692c3 updated
Christian Urban <urbanc@in.tum.de>
parents: 108
diff changeset
   289
  ints.sum
6b362ee692c3 updated
Christian Urban <urbanc@in.tum.de>
parents: 108
diff changeset
   290
}
6b362ee692c3 updated
Christian Urban <urbanc@in.tum.de>
parents: 108
diff changeset
   291
6b362ee692c3 updated
Christian Urban <urbanc@in.tum.de>
parents: 108
diff changeset
   292
6b362ee692c3 updated
Christian Urban <urbanc@in.tum.de>
parents: 108
diff changeset
   293
addvalidromanfile("roman2.txt")