Section: New Results
Understanding graph representations
Distributed algorithms without knowledge of global parameters
Participants : Amos Korman, Jean-Sébastien Sereni, Laurent Viennot.
Many fundamental local distributed algorithms are non-uniform, that is, they assume that all nodes know good estimations of one or more global parameters of the network, e.g., the maximum degree or the number of nodes . In [28] , we introduce a rather general technique for transforming a non-uniform algorithm into a uniform one with same asymptotic complexity.
Asymptotic modularity
Participants : Fabien de Montgolfier, Mauricio Soto, Laurent Viennot.
Modularity has been introduced as a quality measure for graph partitioning by Newman and Girvan. It has received considerable attention in several disciplines, especially complex systems. In order to better understand this measure from a graph theoretical point of view, we study in [32] , [31] the asymptotic modularity of a variety of graph classes.
Internet Structure
Participants : Fabien de Montgolfier, Mauricio Soto, Laurent Viennot.
In [33] , [1] , we study the measurement of the Internet according to two graph parameters: treewidth and hyperbolicity.
Multipath Spanners
Participants : Cyril Gavoille, Quentin Godfroy, Laurent Viennot.
Motivated by multipath routing, we introduce in [23] , [39] a multi-connected variant of spanners.
hyperbolicity
Participants : Victor Chepoi [CNRS LIF, University of Marseille, France] , Feodor Dragan [University of Ohio, USA] , Bernard Estrellon [CNRS LIF, University of Marseille, France] , Michel Habib [CNRS LIAFA, University of Paris Diderot, France] , Yann Vaxes [University of Florence, Italy] , Yang Xiang [University of Ohio, USA] .
Hyperbolic metric spaces have been defined by M. Gromov in 1987 via a simple 4-point condition: for any four points , the two larger of the distance sums differ by at most . They play an important role in geometric group theory, geometry of negatively curved spaces, and have recently become of interest in several domains of computer science, including algorithms and networking. In [5] paper, we study un- weighted hyperbolic graphs. Using the Layering Partition technique, we show that every vertex -hyperbolic graph with has an additive spanner with at most edges and provide a simpler, in our opinion, and faster con- struction of distance approximating trees of -hyperbolic graphs with an additive error . The construction of our tree takes only linear time in the size of the input graph. As a consequence, we show that the family of vertex hyperbolic graphs with admits a routing labeling scheme with bit labels, additive stretch and time routing protocol, and a distance labeling scheme with bit labels, additive error and constant time distance decoder.
Perfect Phylogeny
Perfect Phylogeny Is Hard
Participants : Michel Habib [CNRS LIAFA, University of Paris Diderot, France] , Juraj Stacho [University of Haifa, Israel] .
We answer in the affirmative [24] , to the question pro- posed by Mike Steel as a $100 challenge: “Is the following problem hard? Given a ternary 1 phylogenetic -tree and a collection of quartet subtrees on , is the only tree that displays ?” As a particular consequence of this, we show that the unique chordal sandwich problem is also hard.
Compatibility of Multi-states Characters
Participants : Michel Habib [CNRS LIAFA, University of Paris Diderot, France] , Thu-Hien To [CNRS LIAFA, University of Paris Diderot, France] .
Perfect phylogeny consisting of determining the compatibil- ity of a set of characters is known to be complete. We propose in [25] , a conjecture on the necessary and sufficient conditions of compatibility: Given a set of states full characters, there exists a function such that is compatible every set of characters of is compatible. According to numerous references, , and . Some conjectured that for any . In this paper, we present an example showing that . Therefore it could be the case that for characters, the problem behavior drastically changes. In a second part, we propose a closure operation for chordal sandwich graphs. The later problem is a common approach of perfect phylogeny.
Graph sandwich
Participants : Arnaud Durand [CNRS LIAFA, University of Paris Diderot, France] , Michel Habib [CNRS LIAFA, University of Paris Diderot, France] .
Graph sandwich problems were introduced by Golumbic et al. (1994) in [12] for DNA physical mapping problems and can be described as follows. Given a property of graphs and two disjoint sets of edges , with on a vertex set , the problem is to find a graph on with edge set having property and such that . In [8] paper, we exhibit a quasi-linear reduction between the problem of finding an independent set of size in a graph and the problem of finding a sandwich homogeneous set of the same size . Using this reduction, we prove that a number of natural (decision and counting) problems related to sandwich homogeneous sets are hard in general. We then exploit a little further the reduction and show that finding efficient algorithms to compute small sandwich homogeneous sets would imply substantial improvement for computing triangles in graphs.
Diameter of Real-World Undirected Graphs
Participants : Pierluigi Crescenzi [University of Florence, Italy] , Roberto Grossi [University of Pisa, Italy] , Michel Habib [CNRS LIAFA, University of Paris Diderot, France] , Lorenzo Lanzi [University of Florence, Italy] , Andrea Marino [University of Florence, Italy] .
In [16] , we propose a new algorithm for computing the diameter of undirected unweighted graphs. Even though, in the worst case, this algorithm has complexity , where is the number of nodes and is the number of edges of the graph, we experimentally show (on almost 200 real-world graphs) that in practice our method works in linear time. Moreover, we show how to extend our algorithm to the case of undirected weighted graphs and, even in this case, we present some preliminary very positive experimental results.
Parsimonious flooding in dynamic graphs
Participants : Hervé Baumann [CNRS LIAFA, University of Paris Diderot, France] , Pierluigi Crescenzi [University of Florence, Italy] , Pierre Fraigniaud [CNRS LIAFA, University of Paris Diderot, France] .
An edge-Markovian process with birth-rate and death-rate generates infinite sequences of graphs with the same node set such that is obtained from as follows: if then with probability , and if then with probability . In [2] , we establish tight bounds on the complexity of flooding in edge-Markovian graphs, where flooding is the basic mechanism in which every node becoming aware of an information at step t forwards this information to all its neighbors at all forthcoming steps . These bounds complete previous results obtained by Clementi et al. Moreover, we also show that flooding in dynamic graphs can be implemented in a parsimonious manner, so that to save bandwidth, yet preserving efficiency in term of simplicity and completion time. For a positive integer , we say that the flooding protocol is active if each node forwards an information only during the time steps immediately following the step at which the node receives that information for the first time. We define the reachability threshold for the flooding protocol as the smallest integer such that, for any source s[n] , the active flooding protocol from s completes (i.e., reaches all nodes), and we establish tight bounds for this parameter. We show that, for a large spectrum of parameters p and q, the reachability threshold is by several orders of magnitude smaller than the flooding time. In particular, we show that it is even constant whenever the ratio exceeds . Moreover, we also show that being active for a number of steps equal to the reachability threshold (up to a multiplicative constant) allows the flooding protocol to complete in optimal time, i.e., in asymptotically the same number of steps as when being perpetually active. These results demonstrate that flooding can be implemented in a practical and efficient manner in dynamic graphs. The main ingredient in the proofs of our results is a reduction lemma enabling to overcome the time dependencies in edge-Markovian dynamic graphs.