整数规划中基于三角形弱非线性循环的自动复杂性分析（简化版WST）
摘要：用于判定销毁和计算三角弱非线性循环（twn- 循环）的运行时边界的结果有几个。我们展示了如何使用这些程序子类的结果，其中计算复杂度边界可以在不完全的复杂度分析方法中计算整数程序的复杂度。为此，我们提出了一种新颖的模块化方法，该方法计算可以转换为 twn- 循环的子程序的本地运行时边界。然后，这些本地运行时边界被提升为整个程序的全局运行时边界。我们的方法的能力通过我们在KoAT工具中的实现展示出来，该工具分析其他所有领先工具无法处理的程序的复杂度。
作者：Nils Lommen, Eleanore Meyer, J"urgen Giesl
论文ID：2307.10061
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-07-20