Переполнение стека при попытке вычислить Аккермана

Question

В рамках эксперимента я хотел посмотреть, сколько времени потребуется для вычисления 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 2.11.1 в IntelliJ Idea 13.1.3 с плагинами Scala и SBT.

Могу ли я что-нибудь сделать, чтобы не переполнить стек вокруг Ack(3, 11)?

Я пытался добавить javacOptions += "-Xmx2G" на мой build.sbt, но это только усугубляет проблему.