A nearly-linear time algorithm for linear programs with small treewidth: a multiscale representation of robust central path

S Dong, YT Lee, G Ye - Proceedings of the 53rd annual ACM SIGACT …, 2021 - dl.acm.org
Arising from structural graph theory, treewidth has become a focus of study in fixed-
parameter tractable algorithms. Many NP-hard problems are known to be solvable in O (n· 2 …

The double exponential runtime is tight for 2-stage stochastic ILPs

K Jansen, KM Klein, A Lassota - Mathematical Programming, 2023 - Springer
We consider fundamental algorithmic number theoretic problems and their relation to a class
of block structured Integer Linear Programs (ILPs) called 2-stage stochastic. A 2-stage …

Sparse Integer Programming Is Fixed-Parameter Tractable

F Eisenbrand, C Hunkenschröder… - Mathematics of …, 2024 - pubsonline.informs.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: its …

Optimizing low dimensional functions over the integers

D Dadush, A Léonard, L Rohwedder… - … Conference on Integer …, 2023 - Springer
We consider box-constrained integer programs with objective g (W x)+ c T x, where g is a
“complicated” function with an m dimensional domain. Here we assume we have n≫ m …

Characterization of matrices with bounded Graver bases and depth parameters and applications to integer programming

M Brianski, M Koutecky, D Král, K Pekarkova… - arxiv preprint arxiv …, 2022 - arxiv.org
An intensive line of research on fixed parameter tractability of integer programming is
focused on exploiting the relation between the sparsity of a constraint matrix $ A $ and the …

New complexity-theoretic frontiers of tractability for neural network training

C Brand, R Ganian, M Rocton - Advances in Neural …, 2023 - proceedings.neurips.cc
In spite of the fundamental role of neural networks in contemporary machine learning
research, our understanding of the computational complexity of optimally training neural …

Characterization of matrices with bounded Graver bases and depth parameters and applications to integer programming

M Briański, M Koutecký, D Král', K Pekárková… - Mathematical …, 2024 - Springer
An intensive line of research on fixed parameter tractability of integer programming is
focused on exploiting the relation between the sparsity of a constraint matrix A and the norm …

Separable Convex Mixed-Integer Optimization: Improved Algorithms and Lower Bounds

C Brand, M Koutechy, A Lassota… - Leibniz International …, 2024 - eprints.whiterose.ac.uk
We provide several novel algorithms and lower bounds in central settings of mixed-integer
(non-) linear optimization, shedding new light on classic results in the field. This includes an …

Computational Short Cuts in Infinite Domain Constraint Satisfaction

P Jonsson, V Lagerkvist, S Ordyniak - Journal of Artificial Intelligence …, 2022 - jair.org
A backdoor in a finite-domain CSP instance is a set of variables where each possible
instantiation moves the instance into a polynomial-time solvable class. Backdoors have …

Convex optimization with combinatorial characteristics: new algorithms for linear programming, min-cost flow, and other structured problems

S Dong - 2024 - search.proquest.com
This thesis focuses on algorithmic questions arising from discrete mathematics, with a
particular emphasis on optimization on planar graphs. Historically, research in this area …