Search Results - "Martin Koutecký"
-
1
Scheduling meets n-fold integer programming
Published in Journal of scheduling (01-10-2018)“…Scheduling problems are fundamental in combinatorial optimization. Much work has been done on approximation algorithms for NP-hard cases, but relatively little…”
Get full text
Journal Article -
2
Combinatorial n-fold integer programming and applications
Published in Mathematical programming (01-11-2020)“…Many fundamental NP -hard problems can be formulated as integer linear programs (ILPs). A famous algorithm by Lenstra solves ILPs in time that is exponential…”
Get full text
Journal Article -
3
Uniform and monotone line sum optimization
Published in Discrete Applied Mathematics (31-07-2021)“…The line sum optimization problem asks for a (0,1)-matrix minimizing the sum of given functions evaluated at its row and column sums. We show that the uniform…”
Get full text
Journal Article -
4
Reducibility bounds of objective functions over the integers
Published in Operations research letters (01-11-2023)“…We study the settings where we are given a separable objective function of n variables defined in a given box of integers. We show that in many cases we can…”
Get full text
Journal Article -
5
Characterization of matrices with bounded Graver bases and depth parameters and applications to integer programming
Published in Mathematical programming (2024)“…An intensive line of research on fixed parameter tractability of integer programming is focused on exploiting the relation between the sparsity of a constraint…”
Get full text
Journal Article -
6
High-multiplicity N-fold IP via configuration LP
Published in Mathematical programming (01-06-2023)“…N -fold integer programs (IPs) form an important class of block-structured IPs for which increasingly fast algorithms have recently been developed and…”
Get full text
Journal Article -
7
Integer programming in parameterized complexity: Five miniatures
Published in Discrete optimization (01-05-2022)“…Powerful results from the theory of integer programming have recently led to substantial advances in parameterized complexity. However, our perception is that,…”
Get full text
Journal Article -
8
Parameterized complexity of configuration integer programs
Published in Operations research letters (01-11-2021)“…Configuration integer programs (IP) have been key in the design of algorithms for NP-hard high-multiplicity problems. First, we develop fast exact…”
Get full text
Journal Article -
9
A note on the approximability of deepest-descent circuit steps
Published in Operations research letters (01-05-2021)“…Linear programs (LPs) can be solved by polynomially many moves along the circuit direction improving the objective the most, so-called deepest-descent steps…”
Get full text
Journal Article -
10
Extension Complexity, MSO Logic, and Treewidth
Published in Discrete mathematics and theoretical computer science (01-10-2020)“…We consider the convex hull Pφ(G) of all satisfying assignments of a given MSO formula φ on a given graph G. We show that there exists an extended formulation…”
Get full text
Journal Article -
11
Extended Formulation for CSP that is Compact for Instances of Bounded Treewidth
Published in The Electronic journal of combinatorics (27-11-2015)“…In this paper we provide an extended formulation for the class of constraint satisfaction problems and prove that its size is polynomial for instances whose…”
Get full text
Journal Article -
12
Simplified Algorithmic Metatheorems Beyond MSO: Treewidth and Neighborhood Diversity
Published in Logical methods in computer science (01-12-2019)“…This paper settles the computational complexity of model checking of several extensions of the monadic second order (MSO) logic on two classes of graphs:…”
Get full text
Journal Article -
13
Approximating max-cut under graph-MSO constraints
Published in Operations research letters (01-11-2018)“…We consider the max-cut and max-k-cut problems under graph-based constraints. Our approach can handle any constraint specified using monadic second-order (MSO)…”
Get full text
Journal Article -
14
Approximate separable multichoice optimization over monotone systems
Published in Discrete optimization (01-05-2022)“…With each separable optimization problem over a given set of vectors is associated its multichoice counterpart which involves choosing n rather than one…”
Get full text
Journal Article -
15
A Note on Coloring $$(4K_1, C_4, C_6)$$-Free Graphs with a $$C_7
Published in Graphs and combinatorics (01-10-2022)Get full text
Journal Article -
16
A Note on Coloring (4K1,C4,C6)-Free Graphs with a C7
Published in Graphs and combinatorics (2022)“…Even-hole-free graphs are a graph class of much interest. Foley et al. (Graphs Comb. 36(1):125–138, 2020) have recently studied ( 4 K 1 , C 4 , C 6 ) -free…”
Get full text
Journal Article -
17
Correction to: Opinion diffusion and campaigning on society graphs
Published in Journal of logic and computation (17-04-2023)Get full text
Journal Article -
18
Opinion diffusion and campaigning on society graphs
Published in Journal of logic and computation (06-09-2022)“…Abstract We study the effects of campaigning, where the society is partitioned into voter clusters and a diffusion process propagates opinions in a network…”
Get full text
Journal Article -
19
A Note on Coloring $(4K_1, C_4, C_6)$-free graphs with a $C_7
Published 15-10-2021“…Even-hole-free graphs are a graph class of much interest. Foley et al. [Graphs Comb. 36(1): 125-138 (2020)] have recently studied $(4K_1, C_4, C_6)$-free…”
Get full text
Journal Article -
20
Complexity of Scheduling Few Types of Jobs on Related and Unrelated Machines
Published 24-09-2020“…The task of scheduling jobs to machines while minimizing the total makespan, the sum of weighted completion times, or a norm of the load vector, are among the…”
Get full text
Journal Article