Showing 1–33 of 33 results for author: van Bevern, R

A quadratic-order problem kernel for the traveling salesman problem parameterized by the vertex cover number

Authors: René van Bevern, Daniel A. Skachkov

Abstract: The NP-hard graphical traveling salesman problem (GTSP) is to find a closed walk of total minimum weight that visits each vertex in an undirected edge-weighted and not necessarily complete graph. We present a problem kernel with $τ^2+τ$ vertices for GTSP, where $τ$ is the vertex cover number of the input graph. Any $α$-approximate solution for the problem kernel also gives an $α$-approximate solut… ▽ More The NP-hard graphical traveling salesman problem (GTSP) is to find a closed walk of total minimum weight that visits each vertex in an undirected edge-weighted and not necessarily complete graph. We present a problem kernel with $τ^2+τ$ vertices for GTSP, where $τ$ is the vertex cover number of the input graph. Any $α$-approximate solution for the problem kernel also gives an $α$-approximate solution for the original instance, for any $α\geq1$. △ Less

Submitted 11 October, 2023; v1 submitted 18 July, 2022; originally announced July 2022.

Comments: Much shorter alternative proof compared to previous versions

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

On data reduction for dynamic vector bin packing

Authors: René van Bevern, Andrey Melnikov, Pavel Smirnov, Oxana Tsidulko

Abstract: We study a dynamic vector bin packing (DVBP) problem. We show hardness for shrinking arbitrary DVBP instances to size polynomial in the number of request types or in the maximal number of requests overlap** in time. We also present a simple polynomial-time data reduction algorithm that allows to recover $(1 + {\varepsilon})$-approximate solutions for arbitrary ${\varepsilon} > 0$. It shrinks ins… ▽ More We study a dynamic vector bin packing (DVBP) problem. We show hardness for shrinking arbitrary DVBP instances to size polynomial in the number of request types or in the maximal number of requests overlap** in time. We also present a simple polynomial-time data reduction algorithm that allows to recover $(1 + {\varepsilon})$-approximate solutions for arbitrary ${\varepsilon} > 0$. It shrinks instances from Microsoft Azure and Huawei Cloud by an order of magnitude for ${\varepsilon} = 0.02$. △ Less

Submitted 6 July, 2023; v1 submitted 18 May, 2022; originally announced May 2022.

Comments: Version accepted to Operations Research Letters

Journal ref: Operations Research Letters 51:446-452, 2023

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

A historical note on the 3/2-approximation algorithm for the metric traveling salesman problem

Authors: René van Bevern, Viktoriia A. Slugina

Abstract: One of the most fundamental results in combinatorial optimization is the polynomial-time 3/2-approximation algorithm for the metric traveling salesman problem. It was presented by Christofides in 1976 and is well known as "the Christofides algorithm". Recently, some authors started calling it "Christofides-Serdyukov algorithm", pointing out that it was published independently in the USSR in 1978.… ▽ More One of the most fundamental results in combinatorial optimization is the polynomial-time 3/2-approximation algorithm for the metric traveling salesman problem. It was presented by Christofides in 1976 and is well known as "the Christofides algorithm". Recently, some authors started calling it "Christofides-Serdyukov algorithm", pointing out that it was published independently in the USSR in 1978. We provide some historic background on Serdyukov's findings and a translation of his article from Russian into English. △ Less

Submitted 25 April, 2020; v1 submitted 6 April, 2020; originally announced April 2020.

Comments: Version accepted to Historia Mathematica

MSC Class: 90-03 ACM Class: F.2.2; G.2.2; G.2.1; K.2

Journal ref: Historia Mathematica, 53:118-127, 2020

Optimal-size problem kernels for $d$-Hitting Set in linear time and space

Authors: René van Bevern, Pavel V. Smirnov

Abstract: The known linear-time kernelizations for $d$-Hitting Set guarantee linear worst-case running times using a quadratic-size data structure (that is not fully initialized). Getting rid of this data structure, we show that problem kernels of asymptotically optimal size $O(k^d)$ for $d$-Hitting Set are computable in linear time and space. Additionally, we experimentally compare the linear-time kerneliz… ▽ More The known linear-time kernelizations for $d$-Hitting Set guarantee linear worst-case running times using a quadratic-size data structure (that is not fully initialized). Getting rid of this data structure, we show that problem kernels of asymptotically optimal size $O(k^d)$ for $d$-Hitting Set are computable in linear time and space. Additionally, we experimentally compare the linear-time kernelizations for $d$-Hitting Set to each other and to a classical data reduction algorithm due to Weihe. △ Less

Submitted 4 June, 2020; v1 submitted 10 March, 2020; originally announced March 2020.

Comments: More detailed algorithm descriptions, extended experimental section

MSC Class: 68Q25 ACM Class: F.2.2; G.2.1

Journal ref: Information Processing Letters 163:105998, 2020

Polynomial-Time Data Reduction for Weighted Problems Beyond Additive Goal Functions

Authors: Matthias Bentert, René van Bevern, Till Fluschnik, André Nichterlein, Rolf Niedermeier

Abstract: Dealing with NP-hard problems, kernelization is a fundamental notion for polynomial-time data reduction with performance guarantees: in polynomial time, a problem instance is reduced to an equivalent instance with size upper-bounded by a function of a parameter chosen in advance. Kernelization for weighted problems particularly requires to also shrink weights. Marx and Végh [ACM Trans. Algorithms… ▽ More Dealing with NP-hard problems, kernelization is a fundamental notion for polynomial-time data reduction with performance guarantees: in polynomial time, a problem instance is reduced to an equivalent instance with size upper-bounded by a function of a parameter chosen in advance. Kernelization for weighted problems particularly requires to also shrink weights. Marx and Végh [ACM Trans. Algorithms 2015] and Etscheid et al. [J. Comput. Syst. Sci. 2017] used a technique of Frank and Tardos [Combinatorica 1987] to obtain polynomial-size kernels for weighted problems, mostly with additive goal functions. We characterize the function types that the technique is applicable to, which turns out to contain many non-additive functions. Using this insight, we systematically obtain kernelization results for natural problems in graph partitioning, network design, facility location, scheduling, vehicle routing, and computational social choice, thereby improving and generalizing results from the literature. △ Less

Submitted 28 November, 2022; v1 submitted 1 October, 2019; originally announced October 2019.

MSC Class: 90C27

Journal ref: Discrete Applied Mathematics 328:117-133, 2023

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

Inductive $k$-independent graphs and $c$-colorable subgraphs in scheduling: A review

Authors: Matthias Bentert, René van Bevern, Rolf Niedermeier

Abstract: Inductive $k$-independent graphs generalize chordal graphs and have recently been advocated in the context of interference-avoiding wireless communication scheduling. The NP-hard problem of finding maximum-weight induced $c$-colorable subgraphs, which is a generalization of finding maximum independent sets, naturally occurs when selecting $c$ sets of pairwise non-conflicting jobs (modeled as graph… ▽ More Inductive $k$-independent graphs generalize chordal graphs and have recently been advocated in the context of interference-avoiding wireless communication scheduling. The NP-hard problem of finding maximum-weight induced $c$-colorable subgraphs, which is a generalization of finding maximum independent sets, naturally occurs when selecting $c$ sets of pairwise non-conflicting jobs (modeled as graph vertices). We investigate the parameterized complexity of this problem on inductive $k$-independent graphs. We show that the Independent Set problem is W[1]-hard even on 2-simplicial 3-minoes---a subclass of inductive 2-independent graphs. In contrast, we prove that the more general Maximum $c$-Colorable Subgraph problem is fixed-parameter tractable on edge-wise unions of cluster and chordal graphs, which are 2-simplicial. In both cases, the parameter is the solution size. Aside from this, we survey other graph classes between inductive 1-inductive and inductive 2-inductive graphs with applications in scheduling. △ Less

Submitted 26 July, 2018; v1 submitted 18 December, 2017; originally announced December 2017.

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

Journal ref: Journal of Scheduling 22(1):3-20, 2019

Parameterized complexity of machine scheduling: 15 open problems

Authors: Matthias Mnich, René van Bevern

Abstract: Machine scheduling problems are a long-time key domain of algorithms and complexity research. A novel approach to machine scheduling problems are fixed-parameter algorithms. To stimulate this thriving research direction, we propose 15 open questions in this area whose resolution we expect to lead to the discovery of new approaches and techniques both in scheduling and parameterized complexity theo… ▽ More Machine scheduling problems are a long-time key domain of algorithms and complexity research. A novel approach to machine scheduling problems are fixed-parameter algorithms. To stimulate this thriving research direction, we propose 15 open questions in this area whose resolution we expect to lead to the discovery of new approaches and techniques both in scheduling and parameterized complexity theory. △ Less

Submitted 22 July, 2018; v1 submitted 6 September, 2017; originally announced September 2017.

Comments: Version accepted to Computers & Operations Research

MSC Class: 90B35 ACM Class: F.2.2; G.2.1

Journal ref: Computers & Operations Research, 100:254--261, 2018

Parameterized Algorithms for Power-Efficiently Connecting Wireless Sensor Networks: Theory and Experiments

Authors: Matthias Bentert, René van Bevern, André Nichterlein, Rolf Niedermeier, Pavel V. Smirnov

Abstract: We study an NP-hard problem motivated by energy-efficiently maintaining the connectivity of a symmetric wireless communication network: Given an edge-weighted $n$-vertex graph, find a connected spanning subgraph of minimum cost, where the cost is determined by letting each vertex pay the most expensive edge incident to it in the subgraph. On the negative side, we show that $o(\log n)$-approximatin… ▽ More We study an NP-hard problem motivated by energy-efficiently maintaining the connectivity of a symmetric wireless communication network: Given an edge-weighted $n$-vertex graph, find a connected spanning subgraph of minimum cost, where the cost is determined by letting each vertex pay the most expensive edge incident to it in the subgraph. On the negative side, we show that $o(\log n)$-approximating the difference $d$ between the optimal solution cost and a natural lower bound is NP-hard and that, under the Exponential Time Hypothesis, there are no exact algorithms running in $2^{o(n)}$ time or in $f(d)\cdot n^{O(1)}$ time for any computable function $f$. Moreover, we show that the special case of connecting $c$ network components with minimum additional cost generally cannot be polynomial-time reduced to instances of size $c^{O(1)}$ unless the polynomial-time hierarchy collapses. On the positive side, we provide an algorithm that reconnects $O(\log n)$ connected components with minimum additional cost in polynomial time. These algorithms are motivated by application scenarios of monitoring areas or where an existing sensor network may fall apart into several connected components due to sensor faults. In experiments, the algorithm outperforms CPLEX with known ILP formulations when $n$ is sufficiently large compared to $c$. △ Less

Submitted 3 September, 2020; v1 submitted 9 June, 2017; originally announced June 2017.

Comments: Additional experiments, lower bounds strengthened to metric case, added kernelization lower bounds

MSC Class: 90C27 ACM Class: G.2.1; G.2.2; F.2.2; I.2.8; G.1.6

Journal ref: INFORMS Journal on Computing 34(1):55-75, 2022

Fixed-Parameter Algorithms for DAG Partitioning

Authors: René van Bevern, Robert Bredereck, Morgan Chopin, Sepp Hartung, Falk Hüffner, André Nichterlein, Ondřej Suchý

Abstract: Finding the origin of short phrases propagating through the web has been formalized by Leskovec et al. [ACM SIGKDD 2009] as DAG Partitioning: given an arc-weighted directed acyclic graph on $n$ vertices and $m$ arcs, delete arcs with total weight at most $k$ such that each resulting weakly-connected component contains exactly one sink---a vertex without outgoing arcs. DAG Partitioning is NP-hard.… ▽ More Finding the origin of short phrases propagating through the web has been formalized by Leskovec et al. [ACM SIGKDD 2009] as DAG Partitioning: given an arc-weighted directed acyclic graph on $n$ vertices and $m$ arcs, delete arcs with total weight at most $k$ such that each resulting weakly-connected component contains exactly one sink---a vertex without outgoing arcs. DAG Partitioning is NP-hard. We show an algorithm to solve DAG Partitioning in $O(2^k \cdot (n+m))$ time, that is, in linear time for fixed $k$. We complement it with linear-time executable data reduction rules. Our experiments show that, in combination, they can optimally solve DAG Partitioning on simulated citation networks within five minutes for $k\leq190$ and $m$ being $10^7$ and larger. We use our obtained optimal solutions to evaluate the solution quality of Leskovec et al.'s heuristic. We show that Leskovec et al.'s heuristic works optimally on trees and generalize this result by showing that DAG Partitioning is solvable in $2^{O(w^2)}\cdot n$ time if a width-$w$ tree decomposition of the input graph is given. Thus, we improve an algorithm and answer an open question of Alamdari and Mehrabian [WAW 2012]. We complement our algorithms by lower bounds on the running time of exact algorithms and on the effectivity of data reduction. △ Less

Submitted 27 November, 2016; originally announced November 2016.

Comments: A preliminary version of this article appeared at CIAC'13. Besides providing full proof details, this revised and extended version improves our O(2^k * n^2)-time algorithm to run in O(2^k * (n+m)) time and provides linear-time executable data reduction rules. Moreover, we experimentally evaluated the algorithm and compared it to known heuristics

ACM Class: F.2.2; G.2.2

Journal ref: Discrete Applied Mathematics 220:134-160, 2017

The parameterized complexity of finding secluded solutions to some classical optimization problems on graphs

Authors: René van Bevern, Till Fluschnik, George B. Mertzios, Hendrik Molter, Manuel Sorge, Ondřej Suchý

Abstract: This work studies the parameterized complexity of finding secluded solutions to classical combinatorial optimization problems on graphs such as finding minimum s-t separators, feedback vertex sets, dominating sets, maximum independent sets, and vertex deletion problems for hereditary graph properties: Herein, one searches not only to minimize or maximize the size of the solution, but also to minim… ▽ More This work studies the parameterized complexity of finding secluded solutions to classical combinatorial optimization problems on graphs such as finding minimum s-t separators, feedback vertex sets, dominating sets, maximum independent sets, and vertex deletion problems for hereditary graph properties: Herein, one searches not only to minimize or maximize the size of the solution, but also to minimize the size of its neighborhood. This restriction has applications in secure routing and community detection. △ Less

Submitted 22 May, 2018; v1 submitted 29 June, 2016; originally announced June 2016.

Comments: Compared to the previous version, this version additionally shows that Small Secluded s-t-Separator is fixed-parameter tractable parameterized by the combination of the solution size and the open neighborhood size (Theorem 3.5). To appear in Discrete Optimization

MSC Class: 68Q17; 68Q25; 68W40; 68R05; 68R10 ACM Class: F.2.2; G.2.2

Journal ref: Discrete Optimzation 30:20-50, 2018

Precedence-constrained scheduling problems parameterized by partial order width

Authors: René van Bevern, Robert Bredereck, Laurent Bulteau, Christian Komusiewicz, Nimrod Talmon, Gerhard J. Woeginger

Abstract: Negatively answering a question posed by Mnich and Wiese (Math. Program. 154(1-2):533-562), we show that P2|prec,$p_j{\in}\{1,2\}$|$C_{\max}$, the problem of finding a non-preemptive minimum-makespan schedule for precedence-constrained jobs of lengths 1 and 2 on two parallel identical machines, is W[2]-hard parameterized by the width of the partial order giving the precedence constraints. To this… ▽ More Negatively answering a question posed by Mnich and Wiese (Math. Program. 154(1-2):533-562), we show that P2|prec,$p_j{\in}\{1,2\}$|$C_{\max}$, the problem of finding a non-preemptive minimum-makespan schedule for precedence-constrained jobs of lengths 1 and 2 on two parallel identical machines, is W[2]-hard parameterized by the width of the partial order giving the precedence constraints. To this end, we show that Shuffle Product, the problem of deciding whether a given word can be obtained by interleaving the letters of $k$ other given words, is W[2]-hard parameterized by $k$, thus additionally answering a question posed by Rizzi and Vialette (CSR 2013). Finally, refining a geometric algorithm due to Servakh (Diskretn. Anal. Issled. Oper. 7(1):75-82), we show that the more general Resource-Constrained Project Scheduling problem is fixed-parameter tractable parameterized by the partial order width combined with the maximum allowed difference between the earliest possible and factual starting time of a job. △ Less

Submitted 3 May, 2016; originally announced May 2016.

Comments: 14 pages plus appendix

MSC Class: 90B35 ACM Class: F.2.2; F.4.3; G.2.1; I.2.8

h-Index Manipulation by Undoing Merges

Authors: René van Bevern, Christian Komusiewicz, Hendrik Molter, Rolf Niedermeier, Manuel Sorge, Toby Walsh

Abstract: The h-index is an important bibliographic measure used to assess the performance of researchers. Dutiful researchers merge different versions of their articles in their Google Scholar profile even though this can decrease their h-index. In this article, we study the manipulation of the h-index by undoing such merges. In contrast to manipulation by merging articles (van Bevern et al. [Artif. Intel.… ▽ More The h-index is an important bibliographic measure used to assess the performance of researchers. Dutiful researchers merge different versions of their articles in their Google Scholar profile even though this can decrease their h-index. In this article, we study the manipulation of the h-index by undoing such merges. In contrast to manipulation by merging articles (van Bevern et al. [Artif. Intel. 240:19-35, 2016]) such manipulation is harder to detect. We present numerous results on computational complexity (from linear-time algorithms to parameterized computational hardness results) and empirically indicate that at least small improvements of the h-index by splitting merged articles are unfortunately easily achievable. △ Less

Submitted 12 November, 2019; v1 submitted 17 April, 2016; originally announced April 2016.

MSC Class: 91D30 ACM Class: G.2.1; G.2.2; F.2.2; H.3.7

Journal ref: Quantitative Science Studies, 1(4): 1529-1552. 2020

A fixed-parameter algorithm for a routing open shop problem: unit processing times, few machines and locations

Authors: René van Bevern, Artem V. Pyatkin

Abstract: The open shop problem is to find a minimum makespan schedule to process each job $J_i$ on each machine $M_q$ for $p_{iq}$ time such that, at any time, each machine processes at most one job and each job is processed by at most one machine. We study a problem variant in which the jobs are located in the vertices of an edge-weighted graph. The weights determine the time needed for the machines to tr… ▽ More The open shop problem is to find a minimum makespan schedule to process each job $J_i$ on each machine $M_q$ for $p_{iq}$ time such that, at any time, each machine processes at most one job and each job is processed by at most one machine. We study a problem variant in which the jobs are located in the vertices of an edge-weighted graph. The weights determine the time needed for the machines to travel between jobs in different vertices. We show that the problem with $m$ machines and $n$ unit-time jobs in $g$ vertices is solvable in $2^{O(gm^2\log gm)}+O(mn\log n)$ time. △ Less

Submitted 25 April, 2017; v1 submitted 3 March, 2016; originally announced March 2016.

Comments: Compared to the previous version, gives a description of the algorithm in pseudocode, simplifies many proofs, corrects the incorrect Lemma 5.5 of the previous version

MSC Class: 90B35 ACM Class: F.2.2; I.2.8; G.2.1; G.2.2; G.1.6

Parameterizing edge modification problems above lower bounds

Authors: René van Bevern, Vincent Froese, Christian Komusiewicz

Abstract: We study the parameterized complexity of a variant of the $F$-free Editing problem: Given a graph $G$ and a natural number $k$, is it possible to modify at most $k$ edges in $G$ so that the resulting graph contains no induced subgraph isomorphic to $F$? In our variant, the input additionally contains a vertex-disjoint packing $\mathcal{H}$ of induced subgraphs of $G$, which provides a lower bound… ▽ More We study the parameterized complexity of a variant of the $F$-free Editing problem: Given a graph $G$ and a natural number $k$, is it possible to modify at most $k$ edges in $G$ so that the resulting graph contains no induced subgraph isomorphic to $F$? In our variant, the input additionally contains a vertex-disjoint packing $\mathcal{H}$ of induced subgraphs of $G$, which provides a lower bound $h(\mathcal{H})$ on the number of edge modifications required to transform $G$ into an $F$-free graph. While earlier works used the number $k$ as parameter or structural parameters of the input graph $G$, we consider instead the parameter $\ell:=k-h(\mathcal{H})$, that is, the number of edge modifications above the lower bound $h(\mathcal{H})$. We develop a framework of generic data reduction rules to show fixed-parameter tractability with respect to $\ell$ for $K_3$-Free Editing, Feedback Arc Set in Tournaments, and Cluster Editing when the packing $\mathcal{H}$ contains subgraphs with bounded solution size. For $K_3$-Free Editing, we also prove NP-hardness in case of edge-disjoint packings of $K_3$s and $\ell=0$, while for $K_q$-Free Editing and $q\ge 6$, NP-hardness for $\ell=0$ even holds for vertex-disjoint packings of $K_q$s. In addition, we provide NP-hardness results for $F$-free Vertex Deletion, were the aim is to delete a minimum number of vertices to make the input graph $F$-free. △ Less

Submitted 22 December, 2016; v1 submitted 13 December, 2015; originally announced December 2015.

Comments: Version accepted to Theory of Computing Systems, CSR'16 special issue

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

Journal ref: Theory of Computing Systems 62(3):739-770, 2018

Exploiting Hidden Structure in Selecting Dimensions that Distinguish Vectors

Authors: Vincent Froese, René van Bevern, Rolf Niedermeier, Manuel Sorge

Abstract: The NP-hard Distinct Vectors problem asks to delete as many columns as possible from a matrix such that all rows in the resulting matrix are still pairwise distinct. Our main result is that, for binary matrices, there is a complexity dichotomy for Distinct Vectors based on the maximum (H) and the minimum (h) pairwise Hamming distance between matrix rows: Distinct Vectors can be solved in polynomia… ▽ More The NP-hard Distinct Vectors problem asks to delete as many columns as possible from a matrix such that all rows in the resulting matrix are still pairwise distinct. Our main result is that, for binary matrices, there is a complexity dichotomy for Distinct Vectors based on the maximum (H) and the minimum (h) pairwise Hamming distance between matrix rows: Distinct Vectors can be solved in polynomial time if H <= 2 ceil(h/2) + 1, and is NP-complete otherwise. Moreover, we explore connections of Distinct Vectors to hitting sets, thereby providing several fixed-parameter tractability and intractability results also for general matrices. △ Less

Submitted 4 December, 2015; v1 submitted 3 December, 2015; originally announced December 2015.

Comments: Accepted for publication in Journal of Computer and System Sciences (Elsevier)

MSC Class: 15B36; 06B99; 05D05; 68R05; 68Q17; 68Q32; 68P15 ACM Class: F.2.2; G.2.1; I.1.2; I.5.2

Journal ref: Journal of Computer and System Sciences, 82(3):521-535, 2016

The role of twins in computing planar supports of hypergraphs

Authors: René van Bevern, Iyad A. Kanj, Christian Komusiewicz, Rolf Niedermeier, Manuel Sorge

Abstract: A support or realization of a hypergraph $H$ is a graph $G$ on the same vertex as $H$ such that for each hyperedge of $H$ it holds that its vertices induce a connected subgraph of $G$. The NP-hard problem of finding a planar support has applications in hypergraph drawing and network design. Previous algorithms for the problem assume that twins -- pairs of vertices that are in precisely the same hy… ▽ More A support or realization of a hypergraph $H$ is a graph $G$ on the same vertex as $H$ such that for each hyperedge of $H$ it holds that its vertices induce a connected subgraph of $G$. The NP-hard problem of finding a planar support has applications in hypergraph drawing and network design. Previous algorithms for the problem assume that twins -- pairs of vertices that are in precisely the same hyperedges -- can safely be removed from the input hypergraph. We prove that this assumption is generally wrong, yet that the number of twins necessary for a hypergraph to have a planar support only depends on its number of hyperedges. We give an explicit upper bound on the number of twins necessary for a hypergraph with $m$ hyperedges to have an $r$-outerplanar support, which depends only on $r$ and $m$. Since all additional twins can be safely removed, we obtain a linear-time algorithm for computing $r$-outerplanar supports for hypergraphs with $m$ hyperedges if $m$ and $r$ are constant; in other words, the problem is fixed-parameter linear-time solvable with respect to the parameters $m$ and $r$. △ Less

Submitted 1 August, 2022; v1 submitted 15 November, 2015; originally announced November 2015.

A parameterized complexity view on non-preemptively scheduling interval-constrained jobs: few machines, small looseness, and small slack

Authors: René van Bevern, Rolf Niedermeier, Ondřej Suchý

Abstract: We study the problem of non-preemptively scheduling $n$ jobs, each job $j$ with a release time $t_j$, a deadline $d_j$, and a processing time $p_j$, on $m$ parallel identical machines. Cieliebak et al. (2004) considered the two constraints $|d_j-t_j|\leq λp_j$ and $|d_j-t_j|\leq p_j +σ$ and showed the problem to be NP-hard for any $λ>1$ and for any $σ\geq 2$. We complement their results by param… ▽ More We study the problem of non-preemptively scheduling $n$ jobs, each job $j$ with a release time $t_j$, a deadline $d_j$, and a processing time $p_j$, on $m$ parallel identical machines. Cieliebak et al. (2004) considered the two constraints $|d_j-t_j|\leq λp_j$ and $|d_j-t_j|\leq p_j +σ$ and showed the problem to be NP-hard for any $λ>1$ and for any $σ\geq 2$. We complement their results by parameterized complexity studies: we show that, for any $λ>1$, the problem remains weakly NP-hard even for $m=2$ and strongly W[1]-hard parameterized by $m$. We present a pseudo-polynomial-time algorithm for constant $m$ and $λ$ and a fixed-parameter tractability result for the parameter $m$ combined with $σ$. △ Less

Submitted 24 March, 2016; v1 submitted 7 August, 2015; originally announced August 2015.

Comments: Version accepted at Journal of Scheduling

MSC Class: 90B35 ACM Class: F.2.2; I.2.8; G.2.1

Journal ref: Journal of Scheduling 20(3): 255-265 (2017)

Well-Formed Separator Sequences, with an Application to Hypergraph Drawing

Authors: René van Bevern, Iyad Kanj, Christian Komusiewicz, Rolf Niedermeier, Manuel Sorge

Abstract: Given a hypergraph $H$, the Planar Support problem asks whether there is a planar graph $G$ on the same vertex set as $H$ such that each hyperedge induces a connected subgraph of $G$. Planar Support is motivated by applications in graph drawing and data visualization. We show that Planar Support is fixed-parameter tractable when parameterized by the number of hyperedges in the input hypergraph and… ▽ More Given a hypergraph $H$, the Planar Support problem asks whether there is a planar graph $G$ on the same vertex set as $H$ such that each hyperedge induces a connected subgraph of $G$. Planar Support is motivated by applications in graph drawing and data visualization. We show that Planar Support is fixed-parameter tractable when parameterized by the number of hyperedges in the input hypergraph and the outerplanarity number of the sought planar graph. To this end, we develop novel structural results for $r$-outerplanar triangulated disks, showing that they admit sequences of separators with structural properties enabling data reduction. This allows us to obtain a problem kernel for Planar Support, thus showing its fixed-parameter tractability. △ Less

Submitted 8 July, 2015; originally announced July 2015.

Comments: 30 pages, 5 figures

MSC Class: 68R10 ACM Class: G.2.2; F.2.2; G.2.1; I.1.2

A parameterized approximation algorithm for the mixed and windy Capacitated Arc Routing Problem: theory and experiments

Authors: René van Bevern, Christian Komusiewicz, Manuel Sorge

Abstract: We prove that any polynomial-time $α(n)$-approximation algorithm for the $n$-vertex metric asymmetric Traveling Salesperson Problem yields a polynomial-time $O(α(C))$-approximation algorithm for the mixed and windy Capacitated Arc Routing Problem, where $C$ is the number of weakly connected components in the subgraph induced by the positive-demand arcs---a small number in many applications. In con… ▽ More We prove that any polynomial-time $α(n)$-approximation algorithm for the $n$-vertex metric asymmetric Traveling Salesperson Problem yields a polynomial-time $O(α(C))$-approximation algorithm for the mixed and windy Capacitated Arc Routing Problem, where $C$ is the number of weakly connected components in the subgraph induced by the positive-demand arcs---a small number in many applications. In conjunction with known results, we obtain constant-factor approximations for $C\in O(\log n)$ and $O(\log C/\log\log C)$-approximations in general. Experiments show that our algorithm, together with several heuristic enhancements, outperforms many previous polynomial-time heuristics. Finally, since the solution quality achievable in polynomial time appears to mainly depend on $C$ and since $C=1$ in almost all benchmark instances, we propose the Ob benchmark set, simulating cities that are divided into several components by a river. △ Less

Submitted 15 October, 2016; v1 submitted 18 June, 2015; originally announced June 2015.

Comments: A preliminary version of this article appeared in the Proceedings of the 15th Workshop on Algorithmic Approaches for Transportation Modeling, Optimization, and Systems (ATMOS'15). This version describes several algorithmic enhancements, contains an experimental evaluation of our algorithm, and provides a new benchmark data set

MSC Class: 90B06 ACM Class: F.2.2; G.1.6; G.2.1; G.2.2; I.2.8

Journal ref: Networks 70(3):262-278, 2017

H-Index Manipulation by Merging Articles: Models, Theory, and Experiments

Authors: René van Bevern, Christian Komusiewicz, Rolf Niedermeier, Manuel Sorge, Toby Walsh

Abstract: An author's profile on Google Scholar consists of indexed articles and associated data, such as the number of citations and the H-index. The author is allowed to merge articles; this may affect the H-index. We analyze the (parameterized) computational complexity of maximizing the H-index using article merges. Herein, to model realistic manipulation scenarios, we define a compatibility graph whose… ▽ More An author's profile on Google Scholar consists of indexed articles and associated data, such as the number of citations and the H-index. The author is allowed to merge articles; this may affect the H-index. We analyze the (parameterized) computational complexity of maximizing the H-index using article merges. Herein, to model realistic manipulation scenarios, we define a compatibility graph whose edges correspond to plausible merges. Moreover, we consider several different measures for computing the citation count of a merged article. For the measure used by Google Scholar, we give an algorithm that maximizes the H-index in linear time if the compatibility graph has constant-size connected components. In contrast, if we allow to merge arbitrary articles (that is, for compatibility graphs that are cliques), then already increasing the H-index by one is NP-hard. Experiments on Google Scholar profiles of AI researchers show that the H-index can be manipulated substantially only if one merges articles with highly dissimilar titles. △ Less

Submitted 11 August, 2016; v1 submitted 17 December, 2014; originally announced December 2014.

Comments: Manuscript accepted to Artificial Intelligence

MSC Class: 91D30 ACM Class: G.2.1; G.2.2; F.2.2; H.3.7

Journal ref: Artificial Intelligence, 240:19-35, 2016

Constant-factor approximations for Capacitated Arc Routing without triangle inequality

Authors: René van Bevern, Sepp Hartung, André Nichterlein, Manuel Sorge

Abstract: Given an undirected graph with edge costs and edge demands, the Capacitated Arc Routing problem (CARP) asks for minimum-cost routes for equal-capacity vehicles so as to satisfy all demands. Constant-factor polynomial-time approximation algorithms were proposed for CARP with triangle inequality, while CARP was claimed to be NP-hard to approximate within any constant factor in general. Correcting th… ▽ More Given an undirected graph with edge costs and edge demands, the Capacitated Arc Routing problem (CARP) asks for minimum-cost routes for equal-capacity vehicles so as to satisfy all demands. Constant-factor polynomial-time approximation algorithms were proposed for CARP with triangle inequality, while CARP was claimed to be NP-hard to approximate within any constant factor in general. Correcting this claim, we show that any factor α approximation for CARP with triangle inequality yields a factor α approximation for the general CARP. △ Less

Submitted 14 April, 2014; originally announced April 2014.

ACM Class: F.2.2; I.2.8; G.2.1; G.2.2

Journal ref: Operations Research Letters 42(4):290--292, 2014

Network-Based Vertex Dissolution

Authors: René van Bevern, Robert Bredereck, Jiehua Chen, Vincent Froese, Rolf Niedermeier, Gerhard J. Woeginger

Abstract: We introduce a graph-theoretic vertex dissolution model that applies to a number of redistribution scenarios such as gerrymandering in political districting or work balancing in an online situation. The central aspect of our model is the deletion of certain vertices and the redistribution of their load to neighboring vertices in a completely balanced way. We investigate how the underlying graph… ▽ More We introduce a graph-theoretic vertex dissolution model that applies to a number of redistribution scenarios such as gerrymandering in political districting or work balancing in an online situation. The central aspect of our model is the deletion of certain vertices and the redistribution of their load to neighboring vertices in a completely balanced way. We investigate how the underlying graph structure, the knowledge of which vertices should be deleted, and the relation between old and new vertex loads influence the computational complexity of the underlying graph problems. Our results establish a clear borderline between tractable and intractable cases. △ Less

Submitted 15 March, 2015; v1 submitted 11 February, 2014; originally announced February 2014.

Comments: Version accepted at SIAM Journal on Discrete Mathematics

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

Journal ref: SIAM Journal on Discrete Mathematics 29(2):888-914, 2015

Partitioning Perfect Graphs into Stars

Authors: René van Bevern, Robert Bredereck, Laurent Bulteau, Jiehua Chen, Vincent Froese, Rolf Niedermeier, Gerhard J. Woeginger

Abstract: The partition of graphs into "nice" subgraphs is a central algorithmic problem with strong ties to matching theory. We study the partitioning of undirected graphs into same-size stars, a problem known to be NP-complete even for the case of stars on three vertices. We perform a thorough computational complexity study of the problem on subclasses of perfect graphs and identify several polynomial-tim… ▽ More The partition of graphs into "nice" subgraphs is a central algorithmic problem with strong ties to matching theory. We study the partitioning of undirected graphs into same-size stars, a problem known to be NP-complete even for the case of stars on three vertices. We perform a thorough computational complexity study of the problem on subclasses of perfect graphs and identify several polynomial-time solvable cases, for example, on interval graphs and bipartite permutation graphs, and also NP-complete cases, for example, on grid graphs and chordal graphs. △ Less

Submitted 16 June, 2016; v1 submitted 11 February, 2014; originally announced February 2014.

Comments: Manuscript accepted to Journal of Graph Theory

MSC Class: 05C70 ACM Class: G.2.2; F.2.2; G.2.1; I.1.2

Journal ref: Journal of Graph Theory 85(2):297--335 (2017)

Interval scheduling and colorful independent sets

Authors: René van Bevern, Matthias Mnich, Rolf Niedermeier, Mathias Weller

Abstract: Numerous applications in scheduling, such as resource allocation or steel manufacturing, can be modeled using the NP-hard Independent Set problem (given an undirected graph and an integer k, find a set of at least k pairwise non-adjacent vertices). Here, one encounters special graph classes like 2-union graphs (edge-wise unions of two interval graphs) and strip graphs (edge-wise unions of an inter… ▽ More Numerous applications in scheduling, such as resource allocation or steel manufacturing, can be modeled using the NP-hard Independent Set problem (given an undirected graph and an integer k, find a set of at least k pairwise non-adjacent vertices). Here, one encounters special graph classes like 2-union graphs (edge-wise unions of two interval graphs) and strip graphs (edge-wise unions of an interval graph and a cluster graph), on which Independent Set remains NP-hard but admits constant-ratio approximations in polynomial time. We study the parameterized complexity of Independent Set on 2-union graphs and on subclasses like strip graphs. Our investigations significantly benefit from a new structural "compactness" parameter of interval graphs and novel problem formulations using vertex-colored interval graphs. Our main contributions are: 1. We show a complexity dichotomy: restricted to graph classes closed under induced subgraphs and disjoint unions, Independent Set is polynomial-time solvable if both input interval graphs are cluster graphs, and is NP-hard otherwise. 2. We chart the possibilities and limits of effective polynomial-time preprocessing (also known as kernelization). 3. We extend Halldórsson and Karlsson (2006)'s fixed-parameter algorithm for Independent Set on strip graphs parameterized by the structural parameter "maximum number of live jobs" to show that the problem (also known as Job Interval Selection) is fixed-parameter tractable with respect to the parameter k and generalize their algorithm from strip graphs to 2-union graphs. Preliminary experiments with random data indicate that Job Interval Selection with up to fifteen jobs and 5*10^5 intervals can be solved optimally in less than five minutes. △ Less

Submitted 12 July, 2014; v1 submitted 4 February, 2014; originally announced February 2014.

Comments: This revision does not contain Theorem 7 of the first revision, whose proof contained an error

MSC Class: 68M20 ACM Class: F.2.2; I.2.8; G.2.1; G.2.2

Journal ref: Journal of Scheduling 18(5):449-469, 2015

On the Parameterized Complexity of Computing Balanced Partitions in Graphs

Authors: René van Bevern, Andreas Emil Feldmann, Manuel Sorge, Ondřej Suchý

Abstract: A balanced partition is a clustering of a graph into a given number of equal-sized parts. For instance, the Bisection problem asks to remove at most k edges in order to partition the vertices into two equal-sized parts. We prove that Bisection is FPT for the distance to constant cliquewidth if we are given the deletion set. This implies FPT algorithms for some well-studied parameters such as clust… ▽ More A balanced partition is a clustering of a graph into a given number of equal-sized parts. For instance, the Bisection problem asks to remove at most k edges in order to partition the vertices into two equal-sized parts. We prove that Bisection is FPT for the distance to constant cliquewidth if we are given the deletion set. This implies FPT algorithms for some well-studied parameters such as cluster vertex deletion number and feedback vertex set. However, we show that Bisection does not admit polynomial-size kernels for these parameters. For the Vertex Bisection problem, vertices need to be removed in order to obtain two equal-sized parts. We show that this problem is FPT for the number of removed vertices k if the solution cuts the graph into a constant number c of connected components. The latter condition is unavoidable, since we also prove that Vertex Bisection is W[1]-hard w.r.t. (k,c). Our algorithms for finding bisections can easily be adapted to finding partitions into d equal-sized parts, which entails additional running time factors of n^{O(d)}. We show that a substantial speed-up is unlikely since the corresponding task is W[1]-hard w.r.t. d, even on forests of maximum degree two. We can, however, show that it is FPT for the vertex cover number. △ Less

Submitted 16 May, 2014; v1 submitted 25 December, 2013; originally announced December 2013.

Comments: This version of the article is to appear in Theory of Computing Systems

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

Journal ref: Theory of Computing Systems 57(1):1-35, 2015

Myhill-Nerode methods for hypergraphs

Authors: René van Bevern, Rodney G. Downey, Michael R. Fellows, Serge Gaspers, Frances A. Rosamond

Abstract: We give an analog of the Myhill-Nerode methods from formal language theory for hypergraphs and use it to derive the following results for two NP-hard hypergraph problems: * We provide an algorithm for testing whether a hypergraph has cutwidth at most k that runs in linear time for constant k. In terms of parameterized complexity theory, the problem is fixed-parameter linear parameterized by k.… ▽ More We give an analog of the Myhill-Nerode methods from formal language theory for hypergraphs and use it to derive the following results for two NP-hard hypergraph problems: * We provide an algorithm for testing whether a hypergraph has cutwidth at most k that runs in linear time for constant k. In terms of parameterized complexity theory, the problem is fixed-parameter linear parameterized by k. * We show that it is not expressible in monadic second-order logic whether a hypergraph has bounded (fractional, generalized) hypertree width. The proof leads us to conjecture that, in terms of parameterized complexity theory, these problems are W[1]-hard parameterized by the incidence treewidth (the treewidth of the incidence graph). Thus, in the form of the Myhill-Nerode theorem for hypergraphs, we obtain a method to derive linear-time algorithms and to obtain indicators for intractability for hypergraph problems parameterized by incidence treewidth. In an appendix, we point out an error and a fix to the proof of the Myhill-Nerode theorem for graphs in Downey and Fellow's book on parameterized complexity. △ Less

Submitted 6 January, 2015; v1 submitted 6 November, 2012; originally announced November 2012.

Comments: A preliminary version of this article appeared in the proceedings of ISAAC 2013. This extended and revised version contains the full proof details, more figures, and corollaries to make the application of the Myhill-Nerode theorem for hypergraphs easier in an algorithmic setting. Moreover, it provides a fix to the proof of the Myhill-Nerode theorem for graphs in the books of Downey and Fellows

MSC Class: 68Q45 ACM Class: F.1.1; F.2.2; F.4.2; G.2.1; G.2.3

Journal ref: Algorithmica 73(4):696-729, 2015

Towards Optimal and Expressive Kernelization for d-Hitting Set

Authors: René van Bevern

Abstract: d-Hitting Set is the NP-hard problem of selecting at most k vertices of a hypergraph so that each hyperedge, all of which have cardinality at most d, contains at least one selected vertex. The applications of d-Hitting Set are, for example, fault diagnosis, automatic program verification, and the noise-minimizing assignment of frequencies to radio transmitters. We show a linear-time algorithm th… ▽ More d-Hitting Set is the NP-hard problem of selecting at most k vertices of a hypergraph so that each hyperedge, all of which have cardinality at most d, contains at least one selected vertex. The applications of d-Hitting Set are, for example, fault diagnosis, automatic program verification, and the noise-minimizing assignment of frequencies to radio transmitters. We show a linear-time algorithm that transforms an instance of d-Hitting Set into an equivalent instance comprising at most O(k^d) hyperedges and vertices. In terms of parameterized complexity, this is a problem kernel. Our kernelization algorithm is based on speeding up the well-known approach of finding and shrinking sunflowers in hypergraphs, which yields problem kernels with structural properties that we condense into the concept of expressive kernelization. We conduct experiments to show that our kernelization algorithm can kernelize instances with more than 10^7 hyperedges in less than five minutes. Finally, we show that the number of vertices in the problem kernel can be further reduced to O(k^{d-1}) with additional O(k^{1.5 d}) processing time by nontrivially combining the sunflower technique with d-Hitting Set problem kernels due to Abu-Khzam and Moser. △ Less

Submitted 15 July, 2014; v1 submitted 10 December, 2011; originally announced December 2011.

Comments: This version gives corrected experimental results, adds additional figures, and more formally defines "expressive kernelization"

MSC Class: 68R10 ACM Class: G.2.1; G.2.2; F.2.2; I.1.2

Journal ref: Algorithmica 70(1):129-147, 2014

Graph-based data clustering: a quadratic-vertex problem kernel for s-Plex Cluster Vertex Deletion

Authors: René van Bevern

Abstract: We introduce the s-Plex Cluster Vertex Deletion problem. Like the Cluster Vertex Deletion problem, it is NP-hard and motivated by graph-based data clustering. While the task in Cluster Vertex Deletion is to delete vertices from a graph so that its connected components become cliques, the task in s-Plex Cluster Vertex Deletion is to delete vertices from a graph so that its connected components be… ▽ More We introduce the s-Plex Cluster Vertex Deletion problem. Like the Cluster Vertex Deletion problem, it is NP-hard and motivated by graph-based data clustering. While the task in Cluster Vertex Deletion is to delete vertices from a graph so that its connected components become cliques, the task in s-Plex Cluster Vertex Deletion is to delete vertices from a graph so that its connected components become s-plexes. An s-plex is a graph in which every vertex is nonadjacent to at most s-1 other vertices; a clique is an 1-plex. In contrast to Cluster Vertex Deletion, s-Plex Cluster Vertex Deletion allows to balance the number of vertex deletions against the sizes and the density of the resulting clusters, which are s-plexes instead of cliques. The focus of this work is the development of provably efficient and effective data reduction rules for s-Plex Cluster Vertex Deletion. In terms of fixed-parameter algorithmics, these yield a so-called problem kernel. A similar problem, s-Plex Editing, where the task is the insertion or the deletion of edges so that the connected components of a graph become s-plexes, has also been studied in terms of fixed-parameter algorithmics. Using the number of allowed graph modifications as parameter, we expect typical parameter values for s-Plex Cluster Vertex Deletion to be significantly lower than for s-Plex Editing, because one vertex deletion can lead to a high number of edge deletions. This holds out the prospect for faster fixed-parameter algorithms for s-Plex Cluster Vertex Deletion. △ Less

Submitted 15 September, 2009; originally announced September 2009.

Comments: 41 pages, 17 figures

ACM Class: G.2.2; I.5.3

Journal ref: Algorithmica, 62(3-4):930-950, 2012