An algorithmic theory of integer programming

F Eisenbrand, C Hunkenschröder, KM Klein… - arXiv preprint arXiv …, 2019 - arxiv.org
We study the general integer programming problem where the number of variables $ n $ is a
variable part of the input. We consider two natural parameters of the constraint matrix $ A …

A parameterized strongly polynomial algorithm for block structured integer programs

M Koutecký, A Levin, S Onn - arXiv preprint arXiv:1802.05859, 2018 - arxiv.org
The theory of $ n $-fold integer programming has been recently emerging as an important
tool in parameterized complexity. The input to an $ n $-fold integer program (IP) consists of …

Exploring the gap between treedepth and vertex cover through vertex integrity

T Gima, T Hanaka, M Kiyomi, Y Kobayashi… - Theoretical Computer …, 2022 - Elsevier
For problems intractable on graphs of bounded treewidth, two graph parameters treedepth
and vertex cover number have been used to obtain fine-grained algorithmic and complexity …

Tight complexity lower bounds for integer linear programming with few constraints

D Knop, M Pilipczuk, M Wrochna - ACM Transactions on Computation …, 2020 - dl.acm.org
We consider the standard ILP Feasibility problem: given an integer linear program of the
form {A x= b, x⩾ 0}, where A is an integer matrix with k rows and ℓ columns, x is a vector of ℓ …

[HTML][HTML] Integer programming in parameterized complexity: Five miniatures

T Gavenčiak, M Koutecký, D Knop - Discrete Optimization, 2022 - Elsevier
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 …

[HTML][HTML] Mixed integer programming with convex/concave constraints: Fixed-parameter tractability and applications to multicovering and voting

R Bredereck, P Faliszewski, R Niedermeier… - Theoretical Computer …, 2020 - Elsevier
A classic result of Lenstra [Math. Oper. Res. 1983] says that an integer linear program can
be solved in fixed-parameter tractable (FPT) time for the parameterization by the number of …

Complexity framework for forbidden subgraphs IV: The Steiner Forest problem

HL Bodlaender, M Johnson, B Martin… - International Workshop …, 2024 - Springer
Abstract We study Steiner Forest on H-subgraph-free graphs, that is, graphs that do not
contain some fixed graph H as a (not necessarily induced) subgraph. We are motivated by a …

Fine-grained meta-theorems for vertex integrity

M Lampis, V Mitsou - arXiv preprint arXiv:2109.10333, 2021 - arxiv.org
Vertex Integrity is a graph measure which sits squarely between two more well-studied
notions, namely vertex cover and tree-depth, and that has recently gained attention as a …

[HTML][HTML] The complexity landscape of decompositional parameters for ILP: Programs with few global variables and constraints

P Dvořák, E Eiben, R Ganian, D Knop, S Ordyniak - Artificial Intelligence, 2021 - Elsevier
Abstract Integer Linear Programming (ILP) has a broad range of applications in various
areas of artificial intelligence. Yet in spite of recent advances, we still lack a thorough …

Matrices of optimal tree-depth and a row-invariant parameterized algorithm for integer programming

TF Chan, JW Cooper, M Koutecky, D Král… - SIAM Journal on …, 2022 - SIAM
A long line of research on fixed parameter tractability of integer programming culminated
with showing that integer programs with n variables and a constraint matrix with dual tree …