9 research outputs found
Square-Root Finding Problem In Graphs, A Complete Dichotomy Theorem
Graph G is the square of graph H if two vertices x,y have an edge in G if and
only if x,y are of distance at most two in H. Given H it is easy to compute its
square H^2. Determining if a given graph G is the square of some graph is not
easy in general. Motwani and Sudan proved that it is NP-complete to determine
if a given graph G is the square of some graph. The graph introduced in their
reduction is a graph that contains many triangles and is relatively dense.
Farzad et al. proved the NP-completeness for finding a square root for girth 4
while they gave a polynomial time algorithm for computing a square root of
girth at least six. Adamaszek and Adamaszek proved that if a graph has a square
root of girth six then this square root is unique up to isomorphism. In this
paper we consider the characterization and recognition problem of graphs that
are square of graphs of girth at least five. We introduce a family of graphs
with exponentially many non-isomorphic square roots, and as the main result of
this paper we prove that the square root finding problem is NP-complete for
square roots of girth five. This proof is providing the complete dichotomy
theorem for square root problem in terms of the girth of the square roots
Computing Graph Roots Without Short Cycles
Graph G is the square of graph H if two vertices x, y have an edge in G if
and only if x, y are of distance at most two in H. Given H it is easy to
compute its square H2, however Motwani and Sudan proved that it is NP-complete
to determine if a given graph G is the square of some graph H (of girth 3). In
this paper we consider the characterization and recognition problems of graphs
that are squares of graphs of small girth, i.e. to determine if G = H2 for some
graph H of small girth. The main results are the following. - There is a graph
theoretical characterization for graphs that are squares of some graph of girth
at least 7. A corollary is that if a graph G has a square root H of girth at
least 7 then H is unique up to isomorphism. - There is a polynomial time
algorithm to recognize if G = H2 for some graph H of girth at least 6. - It is
NP-complete to recognize if G = H2 for some graph H of girth 4. These results
almost provide a dichotomy theorem for the complexity of the recognition
problem in terms of girth of the square roots. The algorithmic and graph
theoretical results generalize previous results on tree square roots, and
provide polynomial time algorithms to compute a graph square root of small
girth if it exists. Some open questions and conjectures will also be discussed
Strongly simplicial vertices of powers of trees
AbstractFor a tree T and an integer k⩾1, it is well known that the kth power Tk of T is strongly chordal and hence has a strong elimination ordering of its vertices. In this note we obtain a complete characterization of strongly simplicial vertices of Tk, thereby characterizing all strong elimination orderings of the vertices of Tk
The square of a block graph
AbstractThe square H2 of a graph H is obtained from H by adding new edges between every two vertices having distance two in H. A block graph is one in which every block is a clique. For the first time, good characterizations and a linear time recognition of squares of block graphs are given in this paper. Our results generalize several previous known results on squares of trees
Large-girth roots of graphs
We study the problem of recognizing graph powers and computing roots of
graphs. We provide a polynomial time recognition algorithm for r-th powers of
graphs of girth at least 2r+3, thus improving a bound conjectured by Farzad et
al. (STACS 2009). Our algorithm also finds all r-th roots of a given graph that
have girth at least 2r+3 and no degree one vertices, which is a step towards a
recent conjecture of Levenshtein that such root should be unique. On the
negative side, we prove that recognition becomes an NP-complete problem when
the bound on girth is about twice smaller. Similar results have so far only
been attempted for r=2,3.Comment: 14 pages, 4 figure
The Structure Of Functional Graphs For Functions From A Finite Domain To Itself For Which A Half Iterate Exists
The notion of a replica of a nontrivial in-tree is defined. A result enabling to determine whether an in-tree is a replica of another in-tree employing an injective mapping between some subsets of sources of these in-trees is presented. There are given necessary and sufficient conditions for the existence of a functional square root of a function from a finite set to itself through presenting necessary and sufficient conditions for the existence of a square root of a component of the functional graph for the function and for the existence of a square root of the union of two components of the functional graph for the function containing cycles of the same length using the concept of the replica
Graph Powers: Hardness Results, Good Characterizations and Efficient Algorithms
Given a graph H = (V_H,E_H) and a positive integer k, the k-th power of H, written H^k, is the graph obtained from H by adding edges between any pair of vertices at distance at most k in H; formally, H^k = (V_H, {xy | 1 <= d_H (x, y) <= k}). A graph G is the k-th power of a graph H if G = H^k, and in this case, H is a k-th root of G. Our investigations deal with the computational complexity of recognizing k-th powers of general graphs as well as restricted graphs. This work provides new NP-completeness results, good characterizations and efficient algorithms for graph powers
Proceedings of the 26th International Symposium on Theoretical Aspects of Computer Science (STACS'09)
The Symposium on Theoretical Aspects of Computer Science (STACS) is held alternately in France and in Germany. The conference of February 26-28, 2009, held in Freiburg, is the 26th in this series. Previous meetings took place in Paris (1984), Saarbr¨ucken (1985), Orsay (1986), Passau (1987), Bordeaux (1988), Paderborn (1989), Rouen (1990), Hamburg (1991), Cachan (1992), W¨urzburg (1993), Caen (1994), M¨unchen (1995), Grenoble (1996), L¨ubeck (1997), Paris (1998), Trier (1999), Lille (2000), Dresden (2001), Antibes (2002), Berlin (2003), Montpellier (2004), Stuttgart (2005), Marseille (2006), Aachen (2007), and Bordeaux (2008). ..
Linear-Time Algorithms for Tree Root Problems
Abstract. Let T be a tree on a set V of nodes. The p-th power T p of T is the graph on V such that any two nodes u and w of V are adjacent in T p if and only if the distance of u and w in T is at most p. Given an n-node m-edge graph G and a positive integer p, the p-th tree root problem asks for a tree T, if any, such that G = T p. Given a graph G, the tree root problem asks for a positive integer p and a tree T, if any, such that G = T p. Kearney and Corneil gave the best previously known algorithms for both problems. Their algorithm for the former (respectively, latter) problem runs in O(n3) (respectively, O(n4)) time. In this paper, we give O(n + m)-time algorithms for both problems.