Showing 1–5 of 5 results for author: Tsidulko, O Y

Serial and parallel kernelization of Multiple Hitting Set parameterized by the Dilworth number, implemented on the GPU

Authors: René van Bevern, Artem M. Kirilin, Daniel A. Skachkov, Pavel V. Smirnov, Oxana Yu. Tsidulko

Abstract: The NP-hard Multiple Hitting Set problem is finding a minimum-cardinality set intersecting each of the sets in a given input collection a given number of times. Generalizing a well-known data reduction algorithm due to Weihe, we show a problem kernel for Multiple Hitting Set parameterized by the Dilworth number, a graph parameter introduced by Foldes and Hammer in 1978 yet seemingly so far unexplo… ▽ More The NP-hard Multiple Hitting Set problem is finding a minimum-cardinality set intersecting each of the sets in a given input collection a given number of times. Generalizing a well-known data reduction algorithm due to Weihe, we show a problem kernel for Multiple Hitting Set parameterized by the Dilworth number, a graph parameter introduced by Foldes and Hammer in 1978 yet seemingly so far unexplored in the context of parameterized complexity theory. Using matrix multiplication, we speed up the algorithm to quadratic sequential time and logarithmic parallel time. We experimentally evaluate our algorithms. By implementing our algorithm on GPUs, we show the feasability of realizing kernelization algorithms on SIMD (Single Instruction, Multiple Date) architectures. △ Less

Submitted 8 July, 2023; v1 submitted 13 September, 2021; originally announced September 2021.

Comments: Added experiments on one more data set

MSC Class: 05C65 ACM Class: F.2.2

Journal ref: Journal of Computer and System Sciences 139:103479, 2024

The Hierarchical Chinese Postman Problem: the slightest disorder makes it hard, yet disconnectedness is manageable

Authors: Vsevolod A. Afanasev, René van Bevern, Oxana Yu. Tsidulko

Abstract: The Hierarchical Chinese Postman Problem is finding a shortest traversal of all edges of a graph respecting precedence constraints given by a partial order on classes of edges. We show that the special case with connected classes is NP-hard even on orders decomposable into a chain and an incomparable class. For the case with linearly ordered (possibly disconnected) classes, we get 5/3-approximatio… ▽ More The Hierarchical Chinese Postman Problem is finding a shortest traversal of all edges of a graph respecting precedence constraints given by a partial order on classes of edges. We show that the special case with connected classes is NP-hard even on orders decomposable into a chain and an incomparable class. For the case with linearly ordered (possibly disconnected) classes, we get 5/3-approximations and fixed-parameter algorithms by transferring results from the Rural Postman Problem. △ Less

Submitted 26 January, 2021; v1 submitted 8 November, 2020; originally announced November 2020.

Comments: Fixed Figure 4 and an argument in the proof of Lemma 3.7(iii)

MSC Class: 90C35 ACM Class: F.2.2

Journal ref: Operations Research Letters, 49(2): 270-277, 2021

On approximate data reduction for the Rural Postman Problem: Theory and experiments

Authors: René van Bevern, Till Fluschnik, Oxana Yu. Tsidulko

Abstract: Given an undirected graph with edge weights and a subset $R$ of its edges, the Rural Postman Problem (RPP) is to find a closed walk of minimum total weight containing all edges of $R$. We prove that RPP is WK[1]-complete parameterized by the number and cost $d$ of edges traversed additionally to the required ones. Thus, in particular, RPP instances cannot be polynomial-time compressed to instances… ▽ More Given an undirected graph with edge weights and a subset $R$ of its edges, the Rural Postman Problem (RPP) is to find a closed walk of minimum total weight containing all edges of $R$. We prove that RPP is WK[1]-complete parameterized by the number and cost $d$ of edges traversed additionally to the required ones. Thus, in particular, RPP instances cannot be polynomial-time compressed to instances of size polynomial in $d$ unless the polynomial-time hierarchy collapses. In contrast, denoting by $b\leq 2d$ the number of vertices incident to an odd number of edges of $R$ and by $c\leq d$ the number of connected components formed by the edges in $R$, we show how to reduce any RPP instance $I$ to an RPP instance $I'$ with $2b+O(c/\varepsilon)$ vertices in $O(n^3)$ time so that any $α$-approximate solution for $I'$ gives an $α(1+\varepsilon)$-approximate solution for $I$, for any $α\geq 1$ and $\varepsilon>0$. That is, we provide a polynomial-size approximate kernelization scheme (PSAKS). We experimentally evaluate it on wide-spread benchmark data sets as well as on two real snow plowing instances from Berlin. On instances with few connected components, the number of vertices and required edges is reduced to about $50\,\%$ at a $1\,\%$ solution quality loss. We also make first steps towards a PSAKS for the parameter $c$. △ Less

Submitted 30 June, 2020; v1 submitted 25 December, 2018; originally announced December 2018.

Comments: Added plot, definition of parameterized optimization problem, argument against PSAKS for parameter b

MSC Class: 90C27

Journal ref: Networks 76(4):485-508, 2020

Representative families for matroid intersections, with applications to location, packing, and covering problems

Authors: René van Bevern, Oxana Yu. Tsidulko, Philipp Zschoche

Abstract: We show algorithms for computing representative families for matroid intersections and use them in fixed-parameter algorithms for set packing, set covering, and facility location problems with multiple matroid constraints. We complement our tractability results by hardness results. We show algorithms for computing representative families for matroid intersections and use them in fixed-parameter algorithms for set packing, set covering, and facility location problems with multiple matroid constraints. We complement our tractability results by hardness results. △ Less

Submitted 28 February, 2021; v1 submitted 29 June, 2018; originally announced June 2018.

Comments: Restructuring (focus on representative families instead of facility location), slight running time improvements, algorithms factored out

MSC Class: 90B80 ACM Class: F.2.2; F.2.1; G.1.6; G.2.1

Journal ref: Discrete Applied Mathematics, 298: 110-128, 2021

Parameterized algorithms and data reduction for the short secluded $s$-$t$-path problem

Authors: René van Bevern, Till Fluschnik, Oxana Yu. Tsidulko

Abstract: Given a graph $G=(V,E)$, two vertices $s,t\in V$, and two integers $k,\ell$, the Short Secluded Path problem is to find a simple $s$-$t$-path with at most $k$ vertices and $\ell$ neighbors. We study the parameterized complexity of the problem with respect to four structural graph parameters: the vertex cover number, treewidth, feedback vertex number, and feedback edge number. In particular, we com… ▽ More Given a graph $G=(V,E)$, two vertices $s,t\in V$, and two integers $k,\ell$, the Short Secluded Path problem is to find a simple $s$-$t$-path with at most $k$ vertices and $\ell$ neighbors. We study the parameterized complexity of the problem with respect to four structural graph parameters: the vertex cover number, treewidth, feedback vertex number, and feedback edge number. In particular, we completely settle the question of the existence of problem kernels with size polynomial in these parameters and their combinations with $k$ and $\ell$. We also obtain a $2^{O(w)}\cdot \ell^2\cdot n$-time algorithm for graphs of treewidth $w$, which yields subexponential-time algorithms in several graph classes. △ Less

Submitted 2 June, 2019; v1 submitted 25 June, 2018; originally announced June 2018.

MSC Class: 05C85 ACM Class: F.2.2; G.2.2; G.2.1

Journal ref: Networks, 75(1):34-63, 2020