Self-stabilizing algorithms for Connected Vertex Cover and Clique decomposition problems

In many wireless networks, there is no fixed physical backbone nor centralized network management. The nodes of such a network have to self-organize in order to maintain a virtual backbone used to route messages. Moreover, any node of the network can be a priori at the origin of a malicious attack. Thus, in one hand the backbone must be fault-tolerant and in other hand it can be useful to monitor all network communications to identify an attack as soon as possible. We are interested in the minimum \emph{Connected Vertex Cover} problem, a generalization of the classical minimum Vertex Cover problem, which allows to obtain a connected backbone. Recently, Delbot et al.~\cite{DelbotLP13} proposed a new centralized algorithm with a constant approximation ratio of $2$ for this problem. In this paper, we propose a distributed and self-stabilizing version of their algorithm with the same approximation guarantee. To the best knowledge of the authors, it is the first distributed and fault-tolerant algorithm for this problem. The approach followed to solve the considered problem is based on the construction of a connected minimal clique partition. Therefore, we also design the first distributed self-stabilizing algorithm for this problem, which is of independent interest

An approximation algorithm for feedback vertex sets in tournaments

We obtain a necessary and sufficient condition in terms of forbidden structures for tournaments to possess the min-max relation on packing and covering directed cycles, together with strongly polynomial time algorithms for the feedback vertex set problem and the cycle packing problem in this class of tournaments. Applying the local ratio technique of Bar-Yehuda and Even to the forbidden structures, we find a 2.5-approximation polynomial time algorithm for the feedback vertex set problem in any tournament.published_or_final_versio

Vertex Cover Approximations: Experiments and Observations

Abstract. The vertex cover problem is a classic NP-complete problem for which the best worst-case approximation ratio is roughly 2. In this paper, we use a col-lection of simple reductions, each of which guarantees an approximation ratio of 3 2, to find approximate vertex covers for a large collection of test graphs from various sources. We explain these reductions and explore the interaction between them. These reductions are extremely fast and even though they, by themselves are not guaranteed to find a vertex cover, we manage to find a 3/2-approximate vertex cover for every single graph in our large collection of test examples.

The Incremental Constraint of k-Server

Online algorithms are characterized by operating on an input sequence revealed over time versus a single static input. Instead of generating a single solution, they produce a sequence of incremental solutions corresponding to the input seen so far. An online algorithm's ignorance of future inputs limits its ability to produce optimal solutions. The incremental nature of its solutions is also an obstacle. The two factors can be differentiated by examining the corresponding incremental algorithm, which has knowledge of future inputs, but must still provide a competitive solution at each step. In this thesis, the lower bound of the incremental constraint of k-server is shown to be to 2

Approximability of Combinatorial Optimization Problems on Power Law Networks

One of the central parts in the study of combinatorial optimization is to classify the NP-hard optimization problems in terms of their approximability. In this thesis we study the Minimum Vertex Cover (Min-VC) problem and the Minimum Dominating Set (Min-DS) problem in the context of so called power law graphs. This family of graphs is motivated by recent findings on the degree distribution of existing real-world networks such as the Internet, the World-Wide Web, biological networks and social networks. In a power law graph the number of nodes yi of a given degree i is proportional to i-ß, that is, the distribution of node degrees follows a power law. The parameter ß > 0 is the so called power law exponent. With the aim of classifying the above combinatorial optimization problems, we are pursuing two basic approaches in this thesis. One is concerned with complexity theory and the other with the theory of algorithms. As a result, our main contributions to the classification of the problems Min-VC and Min-DS in the context of power law graphs are twofold: - Firstly, we give substantial improvements on the previously known approximation lower bounds for Min-VC and Min-DS in combinatorial power law graphs. More precisely, we are going to show the APX-hardness of Min-VC and Min-DS in connected power law graphs and give constant factor lower bounds for Min-VC and the first logarithmic lower bounds for Min-DS in this setting. The results are based on new approximation-preserving embedding reductions that embed certain instances of Min-VC and Min-DS into connected power law graphs. - Secondly, we design a new approximation algorithm for the Min-VC problem in random power law graphs with an expected approximation ratio strictly less than 2. The main tool is a deterministic rounding procedure that acts on a half-integral solution for Min-VC and produces a good approximation on the subset of low degree vertices. Moreover, for the case of Min-DS, we improve on the previously best upper bounds that rely on a greedy algorithm. The improvements are based on our new techniques for determining upper and lower bounds on the size and the volume of node intervals in power law graphs