Search Results - "Knop, Dušan"
-
1
Local linear set on graphs with bounded twin cover number
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
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
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 -
4
Multivariate algorithmics for eliminating envy by donating goods
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
Parameterized complexity of stable roommates with ties and incomplete lists through the lens of graph parameters
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
Fine-grained view on bribery for group identification
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
The complexity landscape of decompositional parameters for ILP: Programs with few global variables and constraints
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
Length-bounded cuts: Proper interval graphs and structural parameters
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
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 -
10
Parameterized Complexity of Length-bounded Cuts and Multicuts
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
Hedonic diversity games: A complexity picture with more than two colors
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
Graph isomorphism restricted by lists
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
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 -
14
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 -
15
On the Complexity of Target Set Selection in Simple Geometric Networks
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
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 -
17
Polynomial kernels for tracking shortest paths
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
IV-matching is strongly NP-hard
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
Maximizing Social Welfare in Score-Based Social Distance Games
Published in Electronic proceedings in theoretical computer science (11-07-2023)Get full text
Journal Article -
20
Constant factor approximation for tracking paths and fault tolerant feedback vertex set
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