四柱汉诺塔问题：Thierry Bousch对Frame-Stewart算法最优性的证明作者：lixiang90, deepseek-R1发布时间：6/6/2025, 4:38:38 PM查看 Prompt解读这个证明（附原论文pdf）