现在的这个翻译基本上没啥大问题，只是最后输出 Infinity 的条件应该是 如果可以保证移走 $k$ 只蚂蚁后所有剩下的蚂蚁永远不相撞，输出 Infinity。