298 |
298 |
299 |
299 |
300 // User-defined Datatypes and Pattern Matching |
300 // User-defined Datatypes and Pattern Matching |
301 //============================================= |
301 //============================================= |
302 |
302 |
303 // trees |
303 |
304 |
304 |
305 |
305 |
306 |
306 // Tail recursion |
307 // expressions |
307 //================ |
308 |
308 |
309 sealed abstract class Exp |
309 |
310 case class N(n: Int) extends Exp // for numbers |
310 def fact(n: Long): Long = |
311 case class Plus(e1: Exp, e2: Exp) extends Exp |
311 if (n == 0) 1 else n * fact(n - 1) |
312 case class Times(e1: Exp, e2: Exp) extends Exp |
312 |
313 |
313 def factB(n: BigInt): BigInt = |
314 def string(e: Exp) : String = e match { |
314 if (n == 0) 1 else n * factB(n - 1) |
315 case N(n) => s"$n" |
315 |
316 case Plus(e1, e2) => s"(${string(e1)} + ${string(e2)})" |
316 factB(100000) |
317 case Times(e1, e2) => s"(${string(e1)} * ${string(e2)})" |
317 |
318 } |
318 fact(10) //ok |
319 |
319 fact(10000) // produces a stackoverflow |
320 val e = Plus(N(9), Times(N(3), N(4))) |
320 |
321 println(string(e)) |
321 def factT(n: BigInt, acc: BigInt): BigInt = |
322 |
322 if (n == 0) acc else factT(n - 1, n * acc) |
323 def eval(e: Exp) : Int = e match { |
323 |
324 case N(n) => n |
324 factT(10, 1) |
325 case Plus(e1, e2) => eval(e1) + eval(e2) |
325 println(factT(100000, 1)) |
326 case Times(e1, e2) => eval(e1) * eval(e2) |
326 |
327 } |
327 // there is a flag for ensuring a function is tail recursive |
328 |
328 import scala.annotation.tailrec |
329 println(eval(e)) |
329 |
330 |
330 @tailrec |
331 def simp(e: Exp) : Exp = e match { |
331 def factT(n: BigInt, acc: BigInt): BigInt = |
332 case N(n) => N(n) |
332 if (n == 0) acc else factT(n - 1, n * acc) |
333 case Plus(e1, e2) => (simp(e1), simp(e2)) match { |
333 |
334 case (N(0), e2s) => e2s |
334 |
335 case (e1s, N(0)) => e1s |
335 |
336 case (e1s, e2s) => Plus(e1s, e2s) |
336 // for tail-recursive functions the Scala compiler |
337 } |
337 // generates loop-like code, which does not need |
338 case Times(e1, e2) => (simp(e1), simp(e2)) match { |
338 // to allocate stack-space in each recursive |
339 case (N(0), _) => N(0) |
339 // call; Scala can do this only for tail-recursive |
340 case (_, N(0)) => N(0) |
340 // functions |
341 case (N(1), e2s) => e2s |
341 |
342 case (e1s, N(1)) => e1s |
342 // tail recursive version that searches |
343 case (e1s, e2s) => Times(e1s, e2s) |
343 // for all solutions |
344 } |
344 |
345 } |
345 def searchT(games: List[String], sols: List[String]): List[String] = games match { |
346 |
346 case Nil => sols |
347 |
347 case game::rest => { |
348 val e2 = Times(Plus(N(0), N(1)), Plus(N(0), N(9))) |
348 if (isDone(game)) searchT(rest, game::sols) |
349 println(string(e2)) |
349 else { |
350 println(string(simp(e2))) |
350 val cs = candidates(game, emptyPosition(game)) |
351 |
351 searchT(cs.map(c => update(game, empty(game), c)) ::: rest, sols) |
352 |
352 } |
353 // Tokens and Reverse Polish Notation |
353 } |
354 sealed abstract class Token |
354 } |
355 case class T(n: Int) extends Token |
355 |
356 case object PL extends Token |
356 searchT(List(game3), List()).map(pretty) |
357 case object TI extends Token |
357 |
358 |
358 |
359 def rp(e: Exp) : List[Token] = e match { |
359 // tail recursive version that searches |
360 case N(n) => List(T(n)) |
360 // for a single solution |
361 case Plus(e1, e2) => rp(e1) ::: rp(e2) ::: List(PL) |
361 |
362 case Times(e1, e2) => rp(e1) ::: rp(e2) ::: List(TI) |
362 def search1T(games: List[String]): Option[String] = games match { |
363 } |
363 case Nil => None |
364 println(string(e2)) |
364 case game::rest => { |
365 println(rp(e2)) |
365 if (isDone(game)) Some(game) |
366 |
366 else { |
367 def comp(ls: List[Token], st: List[Int]) : Int = (ls, st) match { |
367 val cs = candidates(game, emptyPosition(game)) |
368 case (Nil, st) => st.head |
368 search1T(cs.map(c => update(game, empty(game), c)) ::: rest) |
369 case (T(n)::rest, st) => comp(rest, n::st) |
369 } |
370 case (PL::rest, n1::n2::st) => comp(rest, n1 + n2::st) |
370 } |
371 case (TI::rest, n1::n2::st) => comp(rest, n1 * n2::st) |
371 } |
372 } |
372 |
373 |
373 search1T(List(game3)).map(pretty) |
374 comp(rp(e), Nil) |
374 time_needed(10, search1T(List(game3))) |
375 |
375 |
376 def proc(s: String) : Token = s match { |
|
377 case "+" => PL |
|
378 case "*" => TI |
|
379 case _ => T(s.toInt) |
|
380 } |
|
381 |
|
382 comp("1 2 + 4 * 5 + 3 +".split(" ").toList.map(proc), Nil) |
|
383 |
|
384 |
|
385 |
|
386 |
|
387 // Sudoku |
|
388 //======== |
|
389 |
|
390 // THE POINT OF THIS CODE IS NOT TO BE SUPER |
|
391 // EFFICIENT AND FAST, just explaining exhaustive |
|
392 // depth-first search |
|
393 |
|
394 |
|
395 val game0 = """.14.6.3.. |
|
396 |62...4..9 |
|
397 |.8..5.6.. |
|
398 |.6.2....3 |
|
399 |.7..1..5. |
|
400 |5....9.6. |
|
401 |..6.2..3. |
|
402 |1..5...92 |
|
403 |..7.9.41.""".stripMargin.replaceAll("\\n", "") |
|
404 |
|
405 type Pos = (Int, Int) |
|
406 val EmptyValue = '.' |
|
407 val MaxValue = 9 |
|
408 |
|
409 val allValues = "123456789".toList |
|
410 val indexes = (0 to 8).toList |
|
411 |
|
412 |
|
413 def empty(game: String) = game.indexOf(EmptyValue) |
|
414 def isDone(game: String) = empty(game) == -1 |
|
415 def emptyPosition(game: String) = |
|
416 (empty(game) % MaxValue, empty(game) / MaxValue) |
|
417 |
|
418 |
|
419 def get_row(game: String, y: Int) = |
|
420 indexes.map(col => game(y * MaxValue + col)) |
|
421 def get_col(game: String, x: Int) = |
|
422 indexes.map(row => game(x + row * MaxValue)) |
|
423 |
|
424 def get_box(game: String, pos: Pos): List[Char] = { |
|
425 def base(p: Int): Int = (p / 3) * 3 |
|
426 val x0 = base(pos._1) |
|
427 val y0 = base(pos._2) |
|
428 val ys = (y0 until y0 + 3).toList |
|
429 (x0 until x0 + 3).toList.flatMap(x => ys.map(y => game(x + y * MaxValue))) |
|
430 } |
|
431 |
|
432 //get_row(game0, 0) |
|
433 //get_row(game0, 1) |
|
434 //get_col(game0, 0) |
|
435 //get_box(game0, (3, 1)) |
|
436 |
|
437 |
|
438 // this is not mutable!! |
|
439 def update(game: String, pos: Int, value: Char): String = |
|
440 game.updated(pos, value) |
|
441 |
|
442 def toAvoid(game: String, pos: Pos): List[Char] = |
|
443 (get_col(game, pos._1) ++ get_row(game, pos._2) ++ get_box(game, pos)) |
|
444 |
|
445 def candidates(game: String, pos: Pos): List[Char] = |
|
446 allValues.diff(toAvoid(game, pos)) |
|
447 |
|
448 //candidates(game0, (0,0)) |
|
449 |
|
450 def pretty(game: String): String = |
|
451 "\n" + (game.sliding(MaxValue, MaxValue).mkString("\n")) |
|
452 |
|
453 |
|
454 def search(game: String): List[String] = { |
|
455 if (isDone(game)) List(game) |
|
456 else { |
|
457 val cs = candidates(game, emptyPosition(game)) |
|
458 cs.map(c => search(update(game, empty(game), c))).toList.flatten |
|
459 } |
|
460 } |
|
461 |
|
462 search(game0).map(pretty) |
|
463 |
|
464 val game1 = """23.915... |
|
465 |...2..54. |
|
466 |6.7...... |
|
467 |..1.....9 |
|
468 |89.5.3.17 |
|
469 |5.....6.. |
|
470 |......9.5 |
|
471 |.16..7... |
|
472 |...329..1""".stripMargin.replaceAll("\\n", "") |
|
473 |
|
474 |
|
475 // game that is in the hard category |
|
476 val game2 = """8........ |
|
477 |..36..... |
|
478 |.7..9.2.. |
|
479 |.5...7... |
|
480 |....457.. |
|
481 |...1...3. |
|
482 |..1....68 |
|
483 |..85...1. |
|
484 |.9....4..""".stripMargin.replaceAll("\\n", "") |
|
485 |
376 |
486 // game with multiple solutions |
377 // game with multiple solutions |
487 val game3 = """.8...9743 |
378 val game3 = """.8...9743 |
488 |.5...8.1. |
379 |.5...8.1. |
489 |.1....... |
380 |.1....... |
492 |...3....6 |
383 |...3....6 |
493 |.......7. |
384 |.......7. |
494 |.3.5...8. |
385 |.3.5...8. |
495 |9724...5.""".stripMargin.replaceAll("\\n", "") |
386 |9724...5.""".stripMargin.replaceAll("\\n", "") |
496 |
387 |
497 |
|
498 search(game1).map(pretty) |
|
499 search(game3).map(pretty) |
|
500 search(game2).map(pretty) |
|
501 |
|
502 // for measuring time |
|
503 def time_needed[T](i: Int, code: => T) = { |
|
504 val start = System.nanoTime() |
|
505 for (j <- 1 to i) code |
|
506 val end = System.nanoTime() |
|
507 ((end - start) / 1.0e9) + " secs" |
|
508 } |
|
509 |
|
510 time_needed(1, search(game2)) |
|
511 |
|
512 |
|
513 |
|
514 |
|
515 // Tail recursion |
|
516 //================ |
|
517 |
|
518 |
|
519 def fact(n: Long): Long = |
|
520 if (n == 0) 1 else n * fact(n - 1) |
|
521 |
|
522 def factB(n: BigInt): BigInt = |
|
523 if (n == 0) 1 else n * factB(n - 1) |
|
524 |
|
525 factB(100000) |
|
526 |
|
527 fact(10) //ok |
|
528 fact(10000) // produces a stackoverflow |
|
529 |
|
530 def factT(n: BigInt, acc: BigInt): BigInt = |
|
531 if (n == 0) acc else factT(n - 1, n * acc) |
|
532 |
|
533 factT(10, 1) |
|
534 println(factT(100000, 1)) |
|
535 |
|
536 // there is a flag for ensuring a function is tail recursive |
|
537 import scala.annotation.tailrec |
|
538 |
|
539 @tailrec |
|
540 def factT(n: BigInt, acc: BigInt): BigInt = |
|
541 if (n == 0) acc else factT(n - 1, n * acc) |
|
542 |
|
543 |
|
544 |
|
545 // for tail-recursive functions the Scala compiler |
|
546 // generates loop-like code, which does not need |
|
547 // to allocate stack-space in each recursive |
|
548 // call; Scala can do this only for tail-recursive |
|
549 // functions |
|
550 |
|
551 // tail recursive version that searches |
|
552 // for all solutions |
|
553 |
|
554 def searchT(games: List[String], sols: List[String]): List[String] = games match { |
|
555 case Nil => sols |
|
556 case game::rest => { |
|
557 if (isDone(game)) searchT(rest, game::sols) |
|
558 else { |
|
559 val cs = candidates(game, emptyPosition(game)) |
|
560 searchT(cs.map(c => update(game, empty(game), c)) ::: rest, sols) |
|
561 } |
|
562 } |
|
563 } |
|
564 |
|
565 searchT(List(game3), List()).map(pretty) |
|
566 |
|
567 |
|
568 // tail recursive version that searches |
|
569 // for a single solution |
|
570 |
|
571 def search1T(games: List[String]): Option[String] = games match { |
|
572 case Nil => None |
|
573 case game::rest => { |
|
574 if (isDone(game)) Some(game) |
|
575 else { |
|
576 val cs = candidates(game, emptyPosition(game)) |
|
577 search1T(cs.map(c => update(game, empty(game), c)) ::: rest) |
|
578 } |
|
579 } |
|
580 } |
|
581 |
|
582 search1T(List(game3)).map(pretty) |
|
583 time_needed(10, search1T(List(game3))) |
|
584 |
|
585 |
|
586 // game with multiple solutions |
|
587 val game3 = """.8...9743 |
|
588 |.5...8.1. |
|
589 |.1....... |
|
590 |8....5... |
|
591 |...8.4... |
|
592 |...3....6 |
|
593 |.......7. |
|
594 |.3.5...8. |
|
595 |9724...5.""".stripMargin.replaceAll("\\n", "") |
|
596 |
|
597 searchT(List(game3), Nil).map(pretty) |
388 searchT(List(game3), Nil).map(pretty) |
598 search1T(List(game3)).map(pretty) |
389 search1T(List(game3)).map(pretty) |
599 |
390 |
600 // Moral: Whenever a recursive function is resource-critical |
391 // Moral: Whenever a recursive function is resource-critical |
601 // (i.e. works with large recursion depth), then you need to |
392 // (i.e. works with large recursion depth), then you need to |