A finite graph is homeomorphic to the Reeb graph of a Morse–Bott function

We prove that a finite graph (allowing loops and multiple edges) is homeomorphic (isomorphic up to vertices of degree two) to the Reeb graph of a Morse–Bott function on a smooth closed n-manifold, for any dimension n ≥ 2. The manifold can be chosen orientable or non-orientable; we estimate the co-rank of its fundamental group (or the genus in the case of surfaces) from below in terms of the cycle rank of the graph. The function can be chosen with any number k ≥ 3 of critical values, and in a few special cases with k < 3. In the case of surfaces, the function can be chosen, except for a few special cases, as the height function associated with an immersion ℝ3.

Enumerating Tree-Like Graphs and Polymer Topologies with a Given Cycle Rank

Cycle rank is an important notion that is widely used to classify, understand, and discover new chemical compounds. We propose a method to enumerate all non-isomorphic tree-like graphs of a given cycle rank with self-loops and no multiple edges. To achieve this, we develop an algorithm to enumerate all non-isomorphic rooted graphs with the required constraints. The idea of our method is to define a canonical representation of rooted graphs and enumerate all non-isomorphic graphs by generating the canonical representation of rooted graphs. An important feature of our method is that for an integer n≥1, it generates all required graphs with n vertices in O(n) time per graph and O(n) space in total, without generating invalid intermediate structures. We performed some experiments to enumerate graphs with a given cycle rank from which it is evident that our method is efficient. As an application of our method, we can generate tree-like polymer topologies of a given cycle rank with self-loops and no multiple edges.

An Efficient Algorithm to Count Tree-Like Graphs with a Given Number of Vertices and Self-Loops

Graph enumeration with given constraints is an interesting problem considered to be one of the fundamental problems in graph theory, with many applications in natural sciences and engineering such as bio-informatics and computational chemistry. For any two integers n≥1 and Δ≥0, we propose a method to count all non-isomorphic trees with n vertices, Δ self-loops, and no multi-edges based on dynamic programming. To achieve this goal, we count the number of non-isomorphic rooted trees with n vertices, Δ self-loops and no multi-edges, in O(n2(n+Δ(n+Δ·min{n,Δ}))) time and O(n2(Δ2+1)) space, since every tree can be uniquely viewed as a rooted tree by either regarding its unicentroid as the root, or in the case of bicentroid, by introducing a virtual vertex on the bicentroid and assuming the virtual vertex to be the root. By this result, we get a lower bound and an upper bound on the number of tree-like polymer topologies of chemical compounds with any “cycle rank”.

Cycle intersection graphs and minimum decycling sets of even graphs

We introduce the cycle intersection graph of a graph, an adaptation of the cycle graph of a graph, and use the structure of these graphs to prove an upper bound for the decycling number of all even graphs. This bound is shown to be significantly better when an even graph admits a cycle decomposition in which any two cycles intersect in at most one vertex. Links between the cycle rank of the cycle intersection graph of an even graph and the decycling number of the even graph itself are found. The problem of choosing an ideal cycle decomposition is addressed and is presented as an optimization problem over the space of cycle decompositions of even graphs, and we conjecture that the upper bound for the decycling number of even graphs presented in this paper is best possible.

Approximation of metric spaces by Reeb graphs: Cycle rank of a Reeb graph, the co-rank of the fundamental group, and large components of level sets on Riemannian manifolds

For a connected locally path-connected topological space X and a continuous function f on it such that its Reeb graph Rf is a finite topological graph, we show that the cycle rank of Rf, i.e., the first Betti number b1(Rf), in computational geometry called number of loops, is bounded from above by the co-rank of the fundamental group ?1(X), the condition of local path-connectedness being important since generally b1(Rf) can even exceed b1(X). We give some practical methods for calculating the co-rank of ?1(X) and a closely related value, the isotropy index. We apply our bound to improve upper bounds on the distortion of the Reeb quotient map, and thus on the Gromov-Hausdorff approximation of the space by Reeb graphs, for the distance function on a compact geodesic space and for a simple Morse function on a closed Riemannian manifold. This distortion is bounded from below by what we call the Reeb width b(M) of a metric space M, which guarantees that any real-valued continuous function on M has large enough contour (connected component of a level set). We show that for a Riemannian manifold, b(M) is non-zero and give a lower bound on it in terms of characteristics of the manifold. In particular, we show that any real-valued continuous function on a closed Euclidean unit ball E of dimension at least two has a contour C with diam(C??E)??3.

Digraph complexity measures and applications in formal language theory

Automata, Logic and Semantics International audience We investigate structural complexity measures on digraphs, in particular the cycle rank. This concept is intimately related to a classical topic in formal language theory, namely the star height of regular languages. We explore this connection, and obtain several new algorithmic insights regarding both cycle rank and star height. Among other results, we show that computing the cycle rank is NP-complete, even for sparse digraphs of maximum outdegree 2. Notwithstanding, we provide both a polynomial-time approximation algorithm and an exponential-time exact algorithm for this problem. The former algorithm yields an O((log n)^(3/2))- approximation in polynomial time, whereas the latter yields the optimum solution, and runs in time and space O*(1.9129^n) on digraphs of maximum outdegree at most two. Regarding the star height problem, we identify a subclass of the regular languages for which we can precisely determine the computational complexity of the star height problem. Namely, the star height problem for bideterministic languages is NP-complete, and this holds already for binary alphabets. Then we translate the algorithmic results concerning cycle rank to the bideterministic star height problem, thus giving a polynomial-time approximation as well as a reasonably fast exact exponential algorithm for bideterministic star height.