-
Destroying Densest Subgraphs is Hard
Authors:
Cristina Bazgan,
André Nichterlein,
Sofia Vazquez Alferez
Abstract:
We analyze the computational complexity of the following computational problems called Bounded-Density Edge Deletion and Bounded-Density Vertex Deletion: Given a graph $G$, a budget $k$ and a target density $τ_ρ$, are there $k$ edges ($k$ vertices) whose removal from $G$ results in a graph where the densest subgraph has density at most $τ_ρ$? Here, the density of a graph is the number of its edges…
▽ More
We analyze the computational complexity of the following computational problems called Bounded-Density Edge Deletion and Bounded-Density Vertex Deletion: Given a graph $G$, a budget $k$ and a target density $τ_ρ$, are there $k$ edges ($k$ vertices) whose removal from $G$ results in a graph where the densest subgraph has density at most $τ_ρ$? Here, the density of a graph is the number of its edges divided by the number of its vertices. We prove that both problems are polynomial-time solvable on trees and cliques but are NP-complete on planar bipartite graphs and split graphs. From a parameterized point of view, we show that both problems are fixed-parameter tractable with respect to the vertex cover number but W[1]-hard with respect to the solution size. Furthermore, we prove that Bounded-Density Edge Deletion is W[1]-hard with respect to the feedback edge number, demonstrating that the problem remains hard on very sparse graphs.
△ Less
Submitted 12 April, 2024;
originally announced April 2024.
-
Approximating Multiobjective Optimization Problems: How exact can you be?
Authors:
Cristina Bazgan,
Arne Herzel,
Stefan Ruzika,
Clemens Thielen,
Daniel Vanderpooten
Abstract:
It is well known that, under very weak assumptions, multiobjective optimization problems admit $(1+\varepsilon,\dots,1+\varepsilon)$-approximation sets (also called $\varepsilon$-Pareto sets) of polynomial cardinality (in the size of the instance and in $\frac{1}{\varepsilon}$). While an approximation guarantee of $1+\varepsilon$ for any $\varepsilon>0$ is the best one can expect for singleobjecti…
▽ More
It is well known that, under very weak assumptions, multiobjective optimization problems admit $(1+\varepsilon,\dots,1+\varepsilon)$-approximation sets (also called $\varepsilon$-Pareto sets) of polynomial cardinality (in the size of the instance and in $\frac{1}{\varepsilon}$). While an approximation guarantee of $1+\varepsilon$ for any $\varepsilon>0$ is the best one can expect for singleobjective problems (apart from solving the problem to optimality), even better approximation guarantees than $(1+\varepsilon,\dots,1+\varepsilon)$ can be considered in the multiobjective case since the approximation might be exact in some of the objectives.
Hence, in this paper, we consider partially exact approximation sets that require to approximate each feasible solution exactly, i.e., with an approximation guarantee of $1$, in some of the objectives while still obtaining a guarantee of $1+\varepsilon$ in all others. We characterize the types of polynomial-cardinality, partially exact approximation sets that are guaranteed to exist for general multiobjective optimization problems. Moreover, we study minimum-cardinality partially exact approximation sets concerning (weak) efficiency of the contained solutions and relate their cardinalities to the minimum cardinality of a $(1+\varepsilon,\dots,1+\varepsilon)$-approximation set.
△ Less
Submitted 24 May, 2023;
originally announced May 2023.
-
Exact and approximate determination of the Pareto set using minimal correction subsets
Authors:
Andreia P. Guerreiro,
João Cortes,
Daniel Vanderpooten,
Cristina Bazgan,
Inês Lynce,
Vasco Manquinho,
José Rui Figueira
Abstract:
Recently, it has been shown that the enumeration of Minimal Correction Subsets (MCS) of Boolean formulas allows solving Multi-Objective Boolean Optimization (MOBO) formulations. However, a major drawback of this approach is that most MCSs do not correspond to Pareto-optimal solutions. In fact, one can only know that a given MCS corresponds to a Pareto-optimal solution when all MCSs are enumerated.…
▽ More
Recently, it has been shown that the enumeration of Minimal Correction Subsets (MCS) of Boolean formulas allows solving Multi-Objective Boolean Optimization (MOBO) formulations. However, a major drawback of this approach is that most MCSs do not correspond to Pareto-optimal solutions. In fact, one can only know that a given MCS corresponds to a Pareto-optimal solution when all MCSs are enumerated. Moreover, if it is not possible to enumerate all MCSs, then there is no guarantee of the quality of the approximation of the Pareto frontier. This paper extends the state of the art for solving MOBO using MCSs. First, we show that it is possible to use MCS enumeration to solve MOBO problems such that each MCS necessarily corresponds to a Pareto-optimal solution. Additionally, we also propose two new algorithms that can find a (1 + {\varepsilon})-approximation of the Pareto frontier using MCS enumeration. Experimental results in several benchmark sets show that the newly proposed algorithms allow finding better approximations of the Pareto frontier than state-of-the-art algorithms, and with guaranteed approximation ratios.
△ Less
Submitted 14 April, 2022;
originally announced April 2022.
-
Dense Graph Partitioning on sparse and dense graphs
Authors:
Cristina Bazgan,
Katrin Casel,
Pierre Cazals
Abstract:
We consider the problem of partitioning a graph into a non-fixed number of non-overlap** subgraphs of maximum density. The density of a partition is the sum of the densities of the subgraphs, where the density of a subgraph is its average degree, that is, the ratio of its number of edges and its number of vertices. This problem, called Dense Graph Partition, is known to be NP-hard on general gra…
▽ More
We consider the problem of partitioning a graph into a non-fixed number of non-overlap** subgraphs of maximum density. The density of a partition is the sum of the densities of the subgraphs, where the density of a subgraph is its average degree, that is, the ratio of its number of edges and its number of vertices. This problem, called Dense Graph Partition, is known to be NP-hard on general graphs and polynomial-time solvable on trees, and polynomial-time 2-approximable. In this paper we study the restriction of Dense Graph Partition to particular sparse and dense graph classes. In particular, we prove that it is NP-hard on dense bipartite graphs as well as on cubic graphs. On dense graphs on $n$ vertices, it is polynomial-time solvable on graphs with minimum degree $n-3$ and NP-hard on $(n-4)$-regular graphs. We prove that it is polynomial-time $4/3$-approximable on cubic graphs and admits an efficient polynomial-time approximation scheme on graphs of minimum degree $n-t$ for any constant $t\geq 4$.
△ Less
Submitted 16 February, 2022; v1 submitted 28 July, 2021;
originally announced July 2021.
-
One-Exact Approximate Pareto Sets
Authors:
Arne Herzel,
Cristina Bazgan,
Stefan Ruzika,
Clemens Thielen,
Daniel Vanderpooten
Abstract:
Papadimitriou and Yannakakis show that the polynomial-time solvability of a certain singleobjective problem determines the class of multiobjective optimization problems that admit a polynomial-time computable $(1+\varepsilon, \dots , 1+\varepsilon)$-approximate Pareto set (also called an $\varepsilon$-Pareto set). Similarly, in this article, we characterize the class of problems having a polynomia…
▽ More
Papadimitriou and Yannakakis show that the polynomial-time solvability of a certain singleobjective problem determines the class of multiobjective optimization problems that admit a polynomial-time computable $(1+\varepsilon, \dots , 1+\varepsilon)$-approximate Pareto set (also called an $\varepsilon$-Pareto set). Similarly, in this article, we characterize the class of problems having a polynomial-time computable approximate $\varepsilon$-Pareto set that is exact in one objective by the efficient solvability of an appropriate singleobjective problem. This class includes important problems such as multiobjective shortest path and spanning tree, and the approximation guarantee we provide is, in general, best possible. Furthermore, for biobjective problems from this class, we provide an algorithm that computes a one-exact $\varepsilon$-Pareto set of cardinality at most twice the cardinality of a smallest such set and show that this factor of 2 is best possible. For three or more objective functions, however, we prove that no constant-factor approximation on the size of the set can be obtained efficiently.
△ Less
Submitted 28 August, 2019;
originally announced August 2019.
-
The Power of the Weighted Sum Scalarization for Approximating Multiobjective Optimization Problems
Authors:
Cristina Bazgan,
Stefan Ruzika,
Clemens Thielen,
Daniel Vanderpooten
Abstract:
We determine the power of the weighted sum scalarization with respect to the computation of approximations for general multiobjective minimization and maximization problems. Additionally, we introduce a new multi-factor notion of approximation that is specifically tailored to the multiobjective case and its inherent trade-offs between different objectives.
For minimization problems, we provide a…
▽ More
We determine the power of the weighted sum scalarization with respect to the computation of approximations for general multiobjective minimization and maximization problems. Additionally, we introduce a new multi-factor notion of approximation that is specifically tailored to the multiobjective case and its inherent trade-offs between different objectives.
For minimization problems, we provide an efficient algorithm that computes an approximation of a multiobjective problem by using an exact or approximate algorithm for its weighted sum scalarization. In case that an exact algorithm for the weighted sum scalarization is used, this algorithm comes arbitrarily close to the best approximation quality that is obtainable by supported solutions - both with respect to the common notion of approximation and with respect to the new multi-factor notion. Moreover, the algorithm yields the currently best approximation results for several well-known multiobjective minimization problems. For maximization problems, however, we show that a polynomial approximation guarantee can, in general, not be obtained in more than one of the objective functions simultaneously by supported solutions.
△ Less
Submitted 8 November, 2020; v1 submitted 3 August, 2019;
originally announced August 2019.
-
Proportionally dense subgraph of maximum size: complexity and approximation
Authors:
Cristina Bazgan,
Janka Chlebíková,
Clément Dallard,
Thomas Pontoizeau
Abstract:
We define a proportionally dense subgraph (PDS) as an induced subgraph of a graph with the property that each vertex in the PDS is adjacent to proportionally as many vertices in the subgraph as in the graph. We prove that the problem of finding a PDS of maximum size is APX-hard on split graphs, and NP-hard on bipartite graphs. We also show that deciding if a PDS is inclusion-wise maximal is co-NP-…
▽ More
We define a proportionally dense subgraph (PDS) as an induced subgraph of a graph with the property that each vertex in the PDS is adjacent to proportionally as many vertices in the subgraph as in the graph. We prove that the problem of finding a PDS of maximum size is APX-hard on split graphs, and NP-hard on bipartite graphs. We also show that deciding if a PDS is inclusion-wise maximal is co-NP-complete on bipartite graphs. Nevertheless, we present a simple polynomial-time $(2-\frac{2}{Δ+1})$-approximation algorithm for the problem, where $Δ$ is the maximum degree of the graph. Finally, we show that all Hamiltonian cubic graphs with $n$ vertices (except two) have a PDS of size $\lfloor \frac{2n+1}{3} \rfloor$, which we prove to be an upper bound on the size of a PDS in cubic graphs.
△ Less
Submitted 3 July, 2019; v1 submitted 15 March, 2019;
originally announced March 2019.
-
Graphs without a partition into two proportionally dense subgraphs
Authors:
Cristina Bazgan,
Janka Chlebíková,
Clément Dallard
Abstract:
A \emph{proportionally dense subgraph} (PDS) is an induced subgraph of a graph with the property that each vertex in the PDS is adjacent to proportionally as many vertices in the subgraph as in the rest of the graph. In this paper, we study a partition of a graph into two proportionally dense subgraphs, namely a \emph{$2$-PDS partition}. The question whether all graphs (except stars) have $2$-PDS…
▽ More
A \emph{proportionally dense subgraph} (PDS) is an induced subgraph of a graph with the property that each vertex in the PDS is adjacent to proportionally as many vertices in the subgraph as in the rest of the graph. In this paper, we study a partition of a graph into two proportionally dense subgraphs, namely a \emph{$2$-PDS partition}. The question whether all graphs (except stars) have $2$-PDS partition was left open in [Bazgan et al., Algorithmica 80(6) (2018), 1890--1908]. We give a negative answer on that question and present a class of graphs without a $2$-PDS partition.
△ Less
Submitted 10 April, 2019; v1 submitted 28 June, 2018;
originally announced June 2018.
-
A More Fine-Grained Complexity Analysis of Finding the Most Vital Edges for Undirected Shortest Paths
Authors:
Cristina Bazgan,
Till Fluschnik,
André Nichterlein,
Rolf Niedermeier,
Maximilian Stahlberg
Abstract:
We study the NP-hard Shortest Path Most Vital Edges problem arising in the context of analyzing network robustness. For an undirected graph with positive integer edge lengths and two designated vertices $s$ and $t$, the goal is to delete as few edges as possible in order to increase the length of the (new) shortest $st$-path as much as possible. This scenario has been studied from the viewpoint of…
▽ More
We study the NP-hard Shortest Path Most Vital Edges problem arising in the context of analyzing network robustness. For an undirected graph with positive integer edge lengths and two designated vertices $s$ and $t$, the goal is to delete as few edges as possible in order to increase the length of the (new) shortest $st$-path as much as possible. This scenario has been studied from the viewpoint of parameterized complexity and approximation algorithms. We contribute to this line of research by providing refined computational tractability as well as hardness results. We achieve this by a systematic investigation of various problem-specific parameters and their influence on the computational complexity. Charting the border between tractability and intractability, we also identify numerous challenges for future research.
△ Less
Submitted 24 April, 2018;
originally announced April 2018.
-
Parameterized and Approximation Complexity of Partial VC Dimension
Authors:
Cristina Bazgan,
Florent Foucaud,
Florian Sikora
Abstract:
We introduce the problem Partial VC Dimension that asks, given a hypergraph $H=(X,E)$ and integers $k$ and $\ell$, whether one can select a set $C\subseteq X$ of $k$ vertices of $H$ such that the set $\{e\cap C, e\in E\}$ of distinct hyperedge-intersections with $C$ has size at least $\ell$. The sets $e\cap C$ define equivalence classes over $E$. Partial VC Dimension is a generalization of VC Dime…
▽ More
We introduce the problem Partial VC Dimension that asks, given a hypergraph $H=(X,E)$ and integers $k$ and $\ell$, whether one can select a set $C\subseteq X$ of $k$ vertices of $H$ such that the set $\{e\cap C, e\in E\}$ of distinct hyperedge-intersections with $C$ has size at least $\ell$. The sets $e\cap C$ define equivalence classes over $E$. Partial VC Dimension is a generalization of VC Dimension, which corresponds to the case $\ell=2^k$, and of Distinguishing Transversal, which corresponds to the case $\ell=|E|$ (the latter is also known as Test Cover in the dual hypergraph). We also introduce the associated fixed-cardinality maximization problem Max Partial VC Dimension that aims at maximizing the number of equivalence classes induced by a solution set of $k$ vertices. We study the algorithmic complexity of Partial VC Dimension and Max Partial VC Dimension both on general hypergraphs and on more restricted instances, in particular, neighborhood hypergraphs of graphs.
△ Less
Submitted 28 May, 2019; v1 submitted 16 September, 2016;
originally announced September 2016.
-
Algorithmic Aspects of Upper Domination
Authors:
Cristina Bazgan,
Ljiljana Brankovic,
Katrin Casel,
Henning Fernau,
Klaus Jansen,
Michael Lampis,
Mathieu Liedloff,
Jérôme Monnot,
Vangelis Th. Paschos
Abstract:
In this paper we study combinatorial and algorithmic resp. complexity questions of upper domination, i.e., the maximum cardinality of a minimal dominating set in a graph. We give a full classification of the related maximisation and minimisation problems, as well as the related parameterised problems, on general graphs and on graphs of bounded degree, and we also study planar graphs.
In this paper we study combinatorial and algorithmic resp. complexity questions of upper domination, i.e., the maximum cardinality of a minimal dominating set in a graph. We give a full classification of the related maximisation and minimisation problems, as well as the related parameterised problems, on general graphs and on graphs of bounded degree, and we also study planar graphs.
△ Less
Submitted 24 June, 2015;
originally announced June 2015.
-
Data Reductions and Combinatorial Bounds for Improved Approximation Algorithms
Authors:
Faisal N. Abu-Khzam,
Cristina Bazgan,
Morgan Chopin,
Henning Fernau
Abstract:
Kernelization algorithms in the context of Parameterized Complexity are often based on a combination of reduction rules and combinatorial insights. We will expose in this paper a similar strategy for obtaining polynomial-time approximation algorithms. Our method features the use of approximation-preserving reductions, akin to the notion of parameterized reductions. We exemplify this method to obta…
▽ More
Kernelization algorithms in the context of Parameterized Complexity are often based on a combination of reduction rules and combinatorial insights. We will expose in this paper a similar strategy for obtaining polynomial-time approximation algorithms. Our method features the use of approximation-preserving reductions, akin to the notion of parameterized reductions. We exemplify this method to obtain the currently best approximation algorithms for \textsc{Harmless Set}, \textsc{Differential} and \textsc{Multiple Nonblocker}, all of them can be considered in the context of securing networks or information propagation.
△ Less
Submitted 12 September, 2014;
originally announced September 2014.
-
Parameterized Inapproximability of Target Set Selection and Generalizations
Authors:
Cristina Bazgan,
Morgan Chopin,
André Nichterlein,
Florian Sikora
Abstract:
In this paper, we consider the Target Set Selection problem: given a graph and a threshold value $thr(v)$ for any vertex $v$ of the graph, find a minimum size vertex-subset to "activate" s.t. all the vertices of the graph are activated at the end of the propagation process. A vertex $v$ is activated during the propagation process if at least $thr(v)$ of its neighbors are activated. This problem mo…
▽ More
In this paper, we consider the Target Set Selection problem: given a graph and a threshold value $thr(v)$ for any vertex $v$ of the graph, find a minimum size vertex-subset to "activate" s.t. all the vertices of the graph are activated at the end of the propagation process. A vertex $v$ is activated during the propagation process if at least $thr(v)$ of its neighbors are activated. This problem models several practical issues like faults in distributed networks or word-to-mouth recommendations in social networks. We show that for any functions $f$ and $ρ$ this problem cannot be approximated within a factor of $ρ(k)$ in $f(k) \cdot n^{O(1)}$ time, unless FPT = W[P], even for restricted thresholds (namely constant and majority thresholds). We also study the cardinality constraint maximization and minimization versions of the problem for which we prove similar hardness results.
△ Less
Submitted 10 June, 2015; v1 submitted 14 March, 2014;
originally announced March 2014.
-
Parameterized Approximability of Maximizing the Spread of Influence in Networks
Authors:
Cristina Bazgan,
Morgan Chopin,
André Nichterlein,
Florian Sikora
Abstract:
In this paper, we consider the problem of maximizing the spread of influence through a social network. Given a graph with a threshold value~$thr(v)$ attached to each vertex~$v$, the spread of influence is modeled as follows: A vertex~$v$ becomes "active" (influenced) if at least $thr(v)$ of its neighbors are active. In the corresponding optimization problem the objective is then to find a fixed nu…
▽ More
In this paper, we consider the problem of maximizing the spread of influence through a social network. Given a graph with a threshold value~$thr(v)$ attached to each vertex~$v$, the spread of influence is modeled as follows: A vertex~$v$ becomes "active" (influenced) if at least $thr(v)$ of its neighbors are active. In the corresponding optimization problem the objective is then to find a fixed number of vertices to activate such that the number of activated vertices at the end of the propagation process is maximum. We show that this problem is strongly inapproximable in fpt-time with respect to (w.r.t.) parameter $k$ even for very restrictive thresholds. In the case that the threshold of each vertex equals its degree, we prove that the problem is inapproximable in polynomial time and it becomes $r(n)$-approximable in fpt-time w.r.t. parameter $k$ for any strictly increasing function $r$.
Moreover, we show that the decision version is W[1]-hard w.r.t. parameter $k$ but becomes fixed-parameter tractable on bounded degree graphs.
△ Less
Submitted 17 August, 2014; v1 submitted 27 March, 2013;
originally announced March 2013.
-
The firefighter problem with more than one firefighter on trees
Authors:
Cristina Bazgan,
Morgan Chopin,
Bernard Ries
Abstract:
In this paper we study the complexity of the firefighter problem and related problems on trees when more than one firefighter is available at each time step, and answer several open questions of Finbow and MacGillivray 2009. More precisely, when $b \geq 2$ firefighters are allowed at each time step, the problem is NP-complete for trees of maximum degree $b+2$ and polynomial-time solvable for trees…
▽ More
In this paper we study the complexity of the firefighter problem and related problems on trees when more than one firefighter is available at each time step, and answer several open questions of Finbow and MacGillivray 2009. More precisely, when $b \geq 2$ firefighters are allowed at each time step, the problem is NP-complete for trees of maximum degree $b+2$ and polynomial-time solvable for trees of maximum degree $b+2$ when the fire breaks out at a vertex of degree at most $b+1$. Moreover we present a polynomial-time algorithm for a subclass of trees, namely $k$-caterpillars.
△ Less
Submitted 3 October, 2011;
originally announced October 2011.