0

実験の一環として、キャッシング/メモ化を使用する場合と使用しない場合の両方で計算Ack(0,0)にかかる時間を確認したかったのです。Ack(4,19)しかし、私は単純なつまずきに遭遇し続けています...私のスタックはオーバーフローし続けています。

これが私のコードです：

import org.joda.time.{Seconds, DateTime}
import scala.collection.mutable

// Wrapper case class to make it easier to look for a specific m n combination when using a Map 
// also makes the code cleaner by letting me use a match rather than chained ifs
case class Ack(m: Int, n: Int)

object Program extends App {
  // basic ackermann without cache; reaches stack overflow at around Ack(3,11)
  def compute(a: Ack): Int = a match {
    case Ack(0, n) => n + 1
    case Ack(m, 0) => compute(Ack(m - 1, 1))
    case Ack(m, n) => compute(Ack(m - 1, compute(Ack(m, n - 1))))
  }

  // ackermann WITH cache; also reaches stack overflow at around Ack(3,11)
  def computeWithCache(a: Ack, cache: mutable.Map[Ack, Int]): Int = if(cache contains a) {
    val res = cache(a)
    println(s"result from cache: $res")
    return res // explicit use of 'return' for readability's sake
  } else {
    val res = a match {
      case Ack(0, n) => n + 1
      case Ack(m, 0) => computeWithCache(Ack(m - 1, 1), cache)
      case Ack(m, n) => computeWithCache(Ack(m - 1, computeWithCache(Ack(m, n - 1), cache)), cache)
    }
    cache += a -> res
    return res
  }

  // convenience method
  def getSeconds(start: DateTime, end: DateTime): Int = 
    Seconds.secondsBetween(start, end).getSeconds

  val time = DateTime.now
  val cache = mutable.Map[Ack, Int]()

  for{ 
    i <- 0 to 4
    j <- 0 until 20
  } println(s"result of ackermann($i, $j) => ${computeWithCache(Ack(i, j), cache)}. Time: ${getSeconds(time, DateTime.now)}")
}

Scala および SBT プラグインを使用して、IntelliJ Idea 13.1.3 で Scala 2.11.1 を実行しています。

Ack(3, 11) あたりでスタック オーバーフローしないようにするためにできることはありますか?

javacOptions += "-Xmx2G"build.sbt に追加しようとしましたが、問題が悪化しているようです。

4

0 に答える 0