0

我正在研究 NuSMV 上的河内塔问题。对于 n 个磁盘，需要 2^n - 1 个步骤。我怎样才能弄清楚NuSMV在哪个n之前是可行的？ hanoi_model

提前致谢！妮维莎

4

0 回答 0