N 体问题中浮点调参行为的研究

在本文中，我们将一种用于精度调优的新方法应用于 N 体问题。我们的技术实现于名为 POP 的工具中，能够在考虑结果所需精度的前提下，优化执行浮点计算程序中的数值数据类型。POP 将寻找程序每个变量所需最小位数的问题归约为一个整数线性规划（ILP）问题，该问题可由经典线性规划求解器一次性最优求解。POP 工具已成功测试于实现若干来自数学库及物联网（IoT）等其他应用领域的数值算法的程序。本工作中，我们通过考虑五个在牛顿运动定律下相互受引力作用的物体，展示了 POP 在调优经典引力 N 体问题上的效率。文中讨论了 POP 在 N 体示例混合精度调优方面效果的结果。