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




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