スタックゲームの局面数(4スタック)




n=12の解析はm=2が限界(メモリ8GB程度)