アッカーマン関数の解を求めたい

Question

アッカーマン関数の解をPythonで求めようとしています。実装は以下のようにしました。

import sys
sys.setrecursionlimit(10**6)

ack=[[-1]*10000 for _ in range(10000)]
ack[0][0]=1

def solve(m,n):
    if ack[m][n]!=-1:
        return ack[m][n]
    if m==0:
        ack[0][n]=n+1
        return ack[0][n]
    elif n==0:
        ack[m][0]=solve(m-1,1)
        return ack[m][0]
    else:
        ack[m][n]=solve(m-1,solve(m,n-1))
        return ack[m][n]

_m,_n=map(int,input().split())
print(solve(_m,_n))

このコードでは(m,n)=(3,10)あたりまでは求まったのですがその後は何も出力することなくプログラムを終了させてしまいます。できれば(m,n)=(4,1)を出力させたいと思っています。
実際に試したところsolve(4,1)=solve(2,4268~4270)あたりで強制に終わらせていて、再帰制限に引っ掛かっているようではないです。

こういうのは初めてなので何がどうなっているのか全く分かりません、何かわかる方いましたら宜しくお願い致します。

Answer 1

Windowsでやってみましたが、リターンコードC00000FDで終了します。
ググってみると、スタックオーバーフローのようです。

Comments

[naru2001]

ありがとうございます。
リターンコードというのが調べても良く分からなかったのですが、再帰制限を増やしたところで環境内のメモリがダメなら意味ないよっていう感じですか？
再帰制限を増やしても結果が変わらなかったのでこれなら納得できます。

[otn]

リターンコードは、コマンドプロンプトからスクリプトを実行直後、echo %ERRORLEVEL%するとわかります。十進数で表示されるので、calcで16進変換します。

C00000FDでググると、Visual Studioに含まれるeditbinコマンドで、python.exeのスタックサイズを変更できるようです。

[naru2001]

pythonのhex()だと違う値が出て困ってましたが別サイトではちゃんと出ました、あらかじめ実行環境を書いてなかったのですが。どうやらVScodeではスタックサイズの変更はできないっぽいので諦めます。
原因が分かっただけでも安心しました、ありがとうございました。

[otn]

C00000FDのコードなら、VSでビルドされたPython.exeだと思うので、editbinを入手すれば変更できると思いますよ。