We present a formulation of the Collatz conjecture that is potentially more amenable to modeling and analysis by automated termination checking tools.
翻译:我们提出了一个Collatz猜想的公式,有可能更便于通过自动终止检查工具进行模型和分析。