Search Results - "Knop, Dušan"

Refine Results
  1. 1

    Local linear set on graphs with bounded twin cover number by Knop, Dušan

    Published in Information processing letters (01-09-2021)
    “…•We study two local linear problems – Local Linear Set and Local Linear Vertex Cover – parameterized by twin cover number.•The Local Linear Vertex Cover…”
    Get full text
    Journal Article
  2. 2

    Combinatorial n-fold integer programming and applications by Knop, Dušan, Koutecký, Martin, Mnich, Matthias

    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. 3

    Scheduling meets n-fold integer programming by Knop, Dušan, Koutecký, Martin

    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
  4. 4

    Multivariate algorithmics for eliminating envy by donating goods by Boehmer, Niclas, Bredereck, Robert, Heeger, Klaus, Knop, Dušan, Luo, Junjie

    Published in Autonomous agents and multi-agent systems (01-12-2024)
    “…Fairly dividing a set of indivisible resources to a set of agents is of utmost importance in some applications. However, after an allocation has been…”
    Get full text
    Journal Article
  5. 5

    Parameterized complexity of stable roommates with ties and incomplete lists through the lens of graph parameters by Bredereck, Robert, Heeger, Klaus, Knop, Dušan, Niedermeier, Rolf

    Published in Information and computation (01-11-2022)
    “…We continue and extend previous work on the parameterized complexity analysis of the NP-hard Stable Roommates with Ties and Incomplete Lists problem, thereby…”
    Get full text
    Journal Article
  6. 6

    Fine-grained view on bribery for group identification by Boehmer, Niclas, Bredereck, Robert, Knop, Dušan, Luo, Junjie

    Published in Autonomous agents and multi-agent systems (01-06-2023)
    “…Given a set of agents qualifying or disqualifying each other, group identification is the task of identifying a socially qualified subgroup of agents. Social…”
    Get full text
    Journal Article
  7. 7

    The complexity landscape of decompositional parameters for ILP: Programs with few global variables and constraints by Dvořák, Pavel, Eiben, Eduard, Ganian, Robert, Knop, Dušan, Ordyniak, Sebastian

    Published in Artificial intelligence (01-11-2021)
    “…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…”
    Get full text
    Journal Article
  8. 8

    Length-bounded cuts: Proper interval graphs and structural parameters by Bentert, Matthias, Heeger, Klaus, Knop, Dušan

    Published in Journal of computer and system sciences (01-06-2022)
    “…We study the Length-Bounded Cut problem for special graph classes and from a parameterized complexity viewpoint. Here, we are given a graph G, two vertices s…”
    Get full text
    Journal Article
  9. 9

    High-multiplicity N-fold IP via configuration LP by Knop, Dušan, Koutecký, Martin, Levin, Asaf, Mnich, Matthias, Onn, Shmuel

    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
  10. 10

    Parameterized Complexity of Length-bounded Cuts and Multicuts by Dvořák, Pavel, Knop, Dušan

    Published in Algorithmica (01-12-2018)
    “…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…”
    Get full text
    Journal Article
  11. 11

    Hedonic diversity games: A complexity picture with more than two colors by Ganian, Robert, Hamm, Thekla, Knop, Dušan, Schierreich, Šimon, Suchý, Ondřej

    Published in Artificial intelligence (01-12-2023)
    “…Hedonic diversity games are a variant of the classical hedonic games designed to better model a variety of questions concerning diversity and fairness…”
    Get full text
    Journal Article
  12. 12

    Graph isomorphism restricted by lists by Klavík, Pavel, Knop, Dušan, Zeman, Peter

    Published in Theoretical computer science (08-03-2021)
    “…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…”
    Get full text
    Journal Article
  13. 13

    Integer programming in parameterized complexity: Five miniatures by Gavenčiak, Tomáš, Koutecký, Martin, Knop, Dušan

    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
  14. 14

    Parameterized complexity of configuration integer programs by Knop, Dušan, Koutecký, Martin, Levin, Asaf, Mnich, Matthias, Onn, Shmuel

    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
  15. 15

    On the Complexity of Target Set Selection in Simple Geometric Networks by Dvořák, Michal, Knop, Dušan, Schierreich, Šimon

    Published 04-07-2024
    “…Discrete Mathematics & Theoretical Computer Science, vol. 26:2, Discrete Algorithms (August 21, 2024) dmtcs:11591 We study the following model of disease…”
    Get full text
    Journal Article
  16. 16

    Simplified Algorithmic Metatheorems Beyond MSO: Treewidth and Neighborhood Diversity by Dušan Knop, Martin Koutecký, Tomáš Masařík, Tomáš Toufar

    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
  17. 17

    Polynomial kernels for tracking shortest paths by Blažej, Václav, Choudhary, Pratibha, Knop, Dušan, Křišťan, Jan Matyáš, Suchý, Ondřej, Valla, Tomáš

    Published in Information processing letters (01-01-2023)
    “…Given an undirected graph G=(V,E), vertices s,t∈V, and an integer k, Tracking Shortest Paths requires deciding whether there exists a set of k vertices T⊆V…”
    Get full text
    Journal Article
  18. 18

    IV-matching is strongly NP-hard by Folwarczný, Lukáš, Knop, Dušan

    Published in Information processing letters (01-09-2017)
    “…IV-matching is a generalization of perfect bipartite matching. The complexity of finding IV-matching in a graph was posted as an open problem in [Fiala,…”
    Get full text
    Journal Article
  19. 19
  20. 20

    Constant factor approximation for tracking paths and fault tolerant feedback vertex set by Blažej, Václav, Choudhary, Pratibha, Knop, Dušan, Křišťan, Jan Matyáš, Suchý, Ondřej, Valla, Tomáš

    Published in Discrete optimization (01-02-2023)
    “…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…”
    Get full text
    Journal Article