Design by Measure and Conquer, A Faster Exact Algorithm for Dominating Set

The measure and conquer approach has proven to be a powerful tool to analyse exact algorithms for combinatorial problems, like Dominating Set and Independent Set. In this paper, we propose to use measure and conquer also as a tool in the design of algorithms. In an iterative process, we can obtain a series of branch and reduce algorithms. A mathematical analysis of an algorithm in the series with measure and conquer results in a quasiconvex programming problem. The solution by computer to this problem not only gives a bound on the running time, but also can give a new reduction rule, thus giving a new, possibly faster algorithm. This makes design by measure and conquer a form of computer aided algorithm design. When we apply the methodology to a Set Cover modelling of the Dominating Set problem, we obtain the currently fastest known exact algorithms for Dominating Set: an algorithm that uses $O(1.5134^n)$ time and polynomial space, and an algorithm that uses $O(1.5063^n)$ time

A Branch-and-Reduce Algorithm for Finding a Minimum Independent Dominating Set

An independent dominating set D of a graph G = (V,E) is a subset of vertices such that every vertex in V \ D has at least one neighbor in D and D is an independent set, i.e. no two vertices of D are adjacent in G. Finding a minimum independent dominating set in a graph is an NP-hard problem. Whereas it is hard to cope with this problem using parameterized and approximation algorithms, there is a simple exact O(1.4423^n)-time algorithm solving the problem by enumerating all maximal independent sets. In this paper we improve the latter result, providing the first non trivial algorithm computing a minimum independent dominating set of a graph in time O(1.3569^n). Furthermore, we give a lower bound of \Omega(1.3247^n) on the worst-case running time of this algorithm, showing that the running time analysis is almost tight.Comment: Full version. A preliminary version appeared in the proceedings of WG 200

Heuristic algorithms for wireless mesh network planning

x, 131 leaves : ill. ; 29 cmTechnologies like IEEE 802.16j wireless mesh networks are drawing increasing attention of the research community. Mesh networks are economically viable and may extend services such as Internet to remote locations. This thesis takes interest into a planning problem in IEEE 802.16j networks, where we need to establish minimum cost relay and base stations to cover the bandwidth demand of wireless clients. A special feature of this planning problem is that any node in this network can send data to at most one node towards the next hop, thus traffic flow is unsplittable from source to destination. We study different integer programming formulations of the problem. We propose four types of heuristic algorithms that uses greedy, local search, variable neighborhood search and Lagrangian relaxation based approaches for the problem. We evaluate the algorithms on database of network instances of 500-5000 nodes, some of which are randomly generated network instances, while other network instances are generated over geometric distribution. Our experiments show that the proposed algorithms produce satisfactory result compared to benchmarks produced by generalized optimization problem solver software

Domination in graphs with application to network reliability

In this thesis we investigate different domination-related graph polynomials, like the connected domination polynomial, the independent domination polynomial, and the total domination polynomial. We prove some basic properties of these polynomials and obtain formulas for the calculation in special graph classes. Furthermore, we also prove results about the calculation of the different graph polynomials in product graphs and different representations of the graph polynomials. One focus of this thesis lays on the generalization of domination-related polynomials. In this context the trivariate domination polynomial is defined and some results about the bipartition polynomial, which is also a generalization of the domination polynomial, is presented. These two polynomials have many useful properties and interesting connections to other graph polynomials. Furthermore, some more general domination-related polynomials are defined in this thesis, which shows some possible directions for further research.In dieser Dissertation werden verschiedene, zum Dominationspolynom verwandte, Graphenpolynome, wie das zusammenhängende Dominationspolynom, das unabhängige Dominationspolynom und das totale Dominationspolynom, untersucht. Es werden grundlegende Eigenschaften erforscht und Sätze für die Berechnung dieser Polynome in speziellen Graphenklassen bewiesen. Weiterhin werden Ergebnisse für die Berechnung in Produktgraphen und verschiedene Repräsentationen für diese Graphenpolynome gezeigt. Ein Fokus der Dissertation liegt auf der Verallgemeinerung der verschiedenen Dominationspolynome. In diesem Zusammenhang wird das trivariate Dominationspolynom definiert. Außerdem werden Ergebnisse für das Bipartitionspolynom bewiesen. Diese beiden Polynome haben viele interessante Eigenschaften und Beziehungen zu anderen Graphenpolynomen. Darüber hinaus werden weitere multivariate Graphenpolynome definiert, die eine mögliche Richtung für weitere Forschung auf diesem Gebiet aufzeigen