当前位置: X-MOL 学术Discret. Optim. › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Integer programming in parameterized complexity: Five miniatures
Discrete Optimization ( IF 0.9 ) Pub Date : 2020-07-20 , DOI: 10.1016/j.disopt.2020.100596
Tomáš Gavenčiak , Martin Koutecký , Dušan Knop

Powerful results from the theory of integer programming have recently led to substantial advances in parameterized complexity. However, our perception is that, except for Lenstra’s algorithm for solving integer linear programming in fixed dimension, there is still little understanding in the parameterized complexity community of the strengths and limitations of the available tools. This is understandable: it is often difficult to infer exact runtimes or even the distinction between FPT and XP algorithms, and some knowledge is simply unwritten folklore in a different community. We wish to make a step in remedying this situation. To that end, we first provide an easy to navigate quick reference guide of integer programming algorithms from the perspective of parameterized complexity. Then, we show their applications in three case studies, obtaining FPT algorithms with runtime f(k)poly(n). We focus on:

Modeling: since the algorithmic results follow by applying existing algorithms to new models, we shift the focus from the complexity result to the modeling result, highlighting common patterns and tricks which are used.

Optimality program: after giving an FPT algorithm, we are interested in reducing the dependence on the parameter; we show which algorithms and tricks are often useful for speed-ups.

Minding the poly(n): reducing f(k) often has the unintended consequence of increasing poly(n); so we highlight the common trade-offs and show how to get the best of both worlds.

Specifically, we consider graphs of bounded neighborhood diversity which are in a sense the simplest of dense graphs, and we show several FPT algorithms for Capacitated Dominating Set, Sum Coloring, Max- q -Cut, and certain other coloring problems by modeling them as convex programs in fixed dimension, n-fold integer programs, bounded dual treewidth programs, indefinite quadratic programs in fixed dimension, parametric integer programs in fixed dimension, and 2-stage stochastic integer programs.



中文翻译:

参数化复杂度的整数编程:五个缩影

整数编程理论的强大结果最近导致参数化复杂性的实质性进步。但是,我们的理解是,除了Lenstra的算法用于求解固定维数的整数线性规划外,在参数化复杂度社区中仍然对可用工具的优势和局限性了解甚少。这是可以理解的:通常很难推断出确切的运行时间,甚至很难区分FPT经验值算法和一些知识,只是在不同社区中不成文的民俗知识。我们希望采取步骤纠正这种情况。为此,我们首先从参数化复杂性的角度提供易于浏览的整数编程算法的快速参考指南。然后,我们在三个案例研究中展示了它们的应用,FPT 运行时的算法 Fķñ。我们专注于:

建模:由于算法结果是将现有算法应用于新模型,因此我们将重点从复杂度结果转移到建模结果,重点介绍常用的模式和技巧。

最优方案:给人一种后FPT算法,我们有兴趣减少对参数的依赖;我们展示了哪些算法和技巧通常对加速有用。

介意ñ:减少 Fķ 通常会增加聚变的意想不到的结果ñ; 因此,我们重点介绍了常见的取舍,并展示了如何兼顾两者。

具体来说,我们认为有界邻域多样性图在某种意义上是最简单的稠密图,并且我们展示了几个 FPT电容控制集算法,总和着色Max- q -Cut和某些其他着色问题,方法是将它们建模为固定尺寸的凸形程序,ñ倍整数程序,有界双树形程序,固定维数的不定二次程序,固定维数的参数整数程序和2级随机整数程序。

更新日期:2020-07-20
down
wechat
bug