Skip to main content

and
  1. Article

    Open Access

    High-multiplicity N-fold IP via configuration LP

    N-fold integer programs (IPs) form an important class of block-structured IPs for which increasingly fast algorithms have recently been developed and successfully applied. We study high-multiplicity N-fold IPs, w...

    Dušan Knop, Martin Koutecký, Asaf Levin, Matthias Mnich in Mathematical Programming (2023)

  2. Article

    Open Access

    Fine-grained view on bribery for group identification

    Given a set of agents qualifying or disqualifying each other, group identification is the task of identifying a socially qualified subgroup of agents. Social qualification depends on the specific rule used to agg...

    Niclas Boehmer, Robert Bredereck, Dušan Knop in Autonomous Agents and Multi-Agent Systems (2023)

  3. No Access

    Chapter and Conference Paper

    Establishing Herd Immunity is Hard Even in Simple Geometric Networks

    We study the following model of disease spread in a social network. In the beginning, all individuals are either infected or healthy. Next, in discrete rounds, the disease spreads in the network from infected to ...

    Michal Dvořák, Dušan Knop, Šimon Schierreich in Algorithms and Models for the Web Graph (2023)

  4. Chapter and Conference Paper

    Constant Factor Approximation for Tracking Paths and Fault Tolerant Feedback Vertex Set

    Consider a vertex-weighted graph G with a source s and a target t. Tracking Paths requires finding a minimum weight set of vertices (trackers) such that the sequence of trackers in each path from s to t is unique...

    Václav Blažej, Pratibha Choudhary, Dušan Knop in Approximation and Online Algorithms (2021)

  5. No Access

    Article

    Combinatorial n-fold integer programming and applications

    Many fundamental \(\mathsf {NP}\) NP -hard problems can be formulated as integer linear programs (ILPs). A famous algorithm by Lenstra solves ILPs in time that is exponential only in the dimension of the progr...

    Dušan Knop, Martin Koutecký, Matthias Mnich in Mathematical Programming (2020)

  6. No Access

    Article

    The Clever Shopper Problem

    We investigate a variant of the so-called Internet Shop** problem introduced by Blazewicz et al. (Appl. Math. Comput. Sci. 20, 385–390, 2010), where a customer wants to buy a list of products at the lowest poss...

    Laurent Bulteau, Danny Hermelin, Dušan Knop, Anthony Labarre in Theory of Computing Systems (2020)

  7. No Access

    Chapter and Conference Paper

    Multidimensional Stable Roommates with Master List

    Since the early days of research in algorithms and complexity, the computation of stable matchings is a core topic. While in the classic setting the goal is to match up two agents (either from different “gende...

    Robert Bredereck, Klaus Heeger, Dušan Knop, Rolf Niedermeier in Web and Internet Economics (2020)

  8. No Access

    Chapter and Conference Paper

    Graph Isomorphism Restricted by Lists

    The complexity of graph isomorphism (GraphIso) is a famous problem in computer science. For graphs G and H, it asks whether they are the same up to a relabeling of vertices. In 1981, Lubiw proved that list restri...

    Pavel Klavík, Dušan Knop, Peter Zeman in Graph-Theoretic Concepts in Computer Science (2020)

  9. No Access

    Chapter and Conference Paper

    Integer Programming and Incidence Treedepth

    Recently a strong connection has been shown between the tractability of integer programming (IP) with bounded coefficients on the one side and the structure of its constraint matrix on the other side. To that ...

    Eduard Eiben, Robert Ganian, Dušan Knop in Integer Programming and Combinatorial Opti… (2019)

  10. No Access

    Chapter and Conference Paper

    Kernelization of Graph Hamiltonicity: Proper H-Graphs

    We obtain new polynomial kernels and compression algorithms for Pat...

    Steven Chaplick, Fedor V. Fomin, Petr A. Golovach in Algorithms and Data Structures (2019)

  11. No Access

    Article

    Parameterized Complexity of Length-bounded Cuts and Multicuts

    We study the Minimum Length-Bounded Cut problem where the task is to find a set of edges of a graph such that after removal of this set, the shortest path between two prescribed vertices is at least ...

    Pavel Dvořák, Dušan Knop in Algorithmica (2018)

  12. No Access

    Article

    Scheduling meets n-fold integer programming

    Scheduling problems are fundamental in combinatorial optimization. Much work has been done on approximation algorithms for NP-hard cases, but relatively little is known about exact solutions when some part of the...

    Dušan Knop, Martin Koutecký in Journal of Scheduling (2018)

  13. No Access

    Chapter and Conference Paper

    Partitioning Graphs into Induced Subgraphs

    We study the Partition into  \(H\) problem from the parametrized complexity point of view. In the Partition ...

    Dušan Knop in Language and Automata Theory and Applications (2017)

  14. No Access

    Chapter and Conference Paper

    Simplified Algorithmic Metatheorems Beyond MSO: Treewidth and Neighborhood Diversity

    This paper settles the computational complexity of model checking of several extensions of the monadic second order (MSO) logic on two classes of graphs: graphs of bounded treewidth and graphs of bounded neighbor...

    Dušan Knop, Martin Koutecký, Tomáš Masařík in Graph-Theoretic Concepts in Computer Scien… (2017)

  15. No Access

    Chapter and Conference Paper

    Computational Complexity of Distance Edge Labeling

    The problem of Distance Edge Labeling is a variant of Distance Vertex Labeling (also known as \(\mathrm{L}_{2,1}\) la...

    Dušan Knop, Tomáš Masařík in Combinatorial Algorithms (2016)

  16. No Access

    Chapter and Conference Paper

    Fixed Parameter Complexity of Distance Constrained Labeling and Uniform Channel Assignment Problems

    We study computational complexity of the class of distance-constrained graph labeling problems from the fixed parameter tractability point of view. The parameters studied are neighborhood diversity and clique ...

    Jiří Fiala, Tomáš Gavenčiak, Dušan Knop, Martin Koutecký in Computing and Combinatorics (2016)

  17. No Access

    Chapter and Conference Paper

    Parametrized Complexity of Length-Bounded Cuts and Multi-cuts

    We show that the minimal length-bounded \(L\) -cut can be computed in linear time with respect to

    Pavel Dvořák, Dušan Knop in Theory and Applications of Models of Computation (2015)