A Study of Constraints on Eulerian Circuits (Logic, Algebraic system, Language and Related Areas in Computer Science)

The author calls the maximum of the length of a shortest subcycle of an Eulerian circuit of an Eulerian graph the Eulerian recurrence length and pursues the determination of the Eulerian recurrence length e(Kn) of a complete graph Kn with an odd size of the vertex set. So far, the value of e(Kn) has been found for all n < 15, and it has been proved that the inequality n-4 ≦ e(Kn) ≦ n-3 holds for all n ≧ 15. The author conjectures that e(Kn) = n-4 holds for all n ≧ 15 and attempts to prove this conjecture by mathematical induction with e(K₁₅) = 11 as the basis. However, running a simple search algorithm in the computing environment available to the author, it turns out that the search space is too large to prove e(K₁₅) = 11.In this paper, the author proposes to introduce two types of constraints on the edges of the trails to be searched in order to reduce the search space

Revisiting the Complexity of and Algorithms for the Graph Traversal Edit Distance and Its Variants

The graph traversal edit distance (GTED), introduced by Ebrahimpour Boroojeny et al. (2018), is an elegant distance measure defined as the minimum edit distance between strings reconstructed from Eulerian trails in two edge-labeled graphs. GTED can be used to infer evolutionary relationships between species by comparing de Bruijn graphs directly without the computationally costly and error-prone process of genome assembly. Ebrahimpour Boroojeny et al. (2018) propose two ILP formulations for GTED and claim that GTED is polynomially solvable because the linear programming relaxation of one of the ILPs will always yield optimal integer solutions. The claim that GTED is polynomially solvable is contradictory to the complexity of existing string-to-graph matching problems. We resolve this conflict in complexity results by proving that GTED is NP-complete and showing that the ILPs proposed by Ebrahimpour Boroojeny et al. do not solve GTED but instead solve for a lower bound of GTED and are not solvable in polynomial time. In addition, we provide the first two, correct ILP formulations of GTED and evaluate their empirical efficiency. These results provide solid algorithmic foundations for comparing genome graphs and point to the direction of heuristics that estimate GTED efficiently

Chinese Postman Problem on edge-colored multigraphs

It is well-known that the Chinese postman problem on undirected and directed graphs is polynomial-time solvable. We extend this result to edge-colored multigraphs. Our result is in sharp contrast to the Chinese postman problem on mixed graphs, i.e., graphs with directed and undirected edges, for which the problem is NP-hard

On the swap-distances of different realizations of a graphical degree sequence

One of the first graph theoretical problems which got serious attention (already in the fifties of the last century) was to decide whether a given integer sequence is equal to the degree sequence of a simple graph (or it is {\em graphical} for short). One method to solve this problem is the greedy algorithm of Havel and Hakimi, which is based on the {\em swap} operation. Another, closely related question is to find a sequence of swap operations to transform one graphical realization into another one of the same degree sequence. This latter problem got particular emphases in connection of fast mixing Markov chain approaches to sample uniformly all possible realizations of a given degree sequence. (This becomes a matter of interest in connection of -- among others -- the study of large social networks.) Earlier there were only crude upper bounds on the shortest possible length of such swap sequences between two realizations. In this paper we develop formulae (Gallai-type identities) for these {\em swap-distance}s of any two realizations of simple undirected or directed degree sequences. These identities improves considerably the known upper bounds on the swap-distances.Comment: to be publishe

Walking Through Waypoints

We initiate the study of a fundamental combinatorial problem: Given a capacitated graph $G=(V,E)$, find a shortest walk ("route") from a source $s\in V$ to a destination $t\in V$ that includes all vertices specified by a set $\mathscr{W}\subseteq V$: the \emph{waypoints}. This waypoint routing problem finds immediate applications in the context of modern networked distributed systems. Our main contribution is an exact polynomial-time algorithm for graphs of bounded treewidth. We also show that if the number of waypoints is logarithmically bounded, exact polynomial-time algorithms exist even for general graphs. Our two algorithms provide an almost complete characterization of what can be solved exactly in polynomial-time: we show that more general problems (e.g., on grid graphs of maximum degree 3, with slightly more waypoints) are computationally intractable

The mixing time of the switch Markov chains: a unified approach

Since 1997 a considerable effort has been spent to study the mixing time of switch Markov chains on the realizations of graphic degree sequences of simple graphs. Several results were proved on rapidly mixing Markov chains on unconstrained, bipartite, and directed sequences, using different mechanisms. The aim of this paper is to unify these approaches. We will illustrate the strength of the unified method by showing that on any $P$-stable family of unconstrained/bipartite/directed degree sequences the switch Markov chain is rapidly mixing. This is a common generalization of every known result that shows the rapid mixing nature of the switch Markov chain on a region of degree sequences. Two applications of this general result will be presented. One is an almost uniform sampler for power-law degree sequences with exponent $\gamma>1+\sqrt{3}$. The other one shows that the switch Markov chain on the degree sequence of an Erd\H{o}s-R\'enyi random graph $G(n,p)$ is asymptotically almost surely rapidly mixing if $p$ is bounded away from 0 and 1 by at least $\frac{5\log n}{n-1}$.Comment: Clarification

Cycles and Bases of Graphs and Matroids

The objective of this dissertation is to investigate the properties of cycles and bases in matroids and in graphs. In [62], Tutte defined the circuit graph of a matroid and proved that a matroid is connected if and only if its circuit graph is connected. Motivated by Tutte\u27s result, we introduce the 2nd order circuit graph of a matroid, and prove that for any connected matroid M other than U1,1, the second order circuit graph of M has diameter at most 2 if and only if M does not have a restricted minor isomorphic to U2,6.;Another research conducted in this dissertation is related to the eulerian subgraph problem in graph theory. A graph G is eulerian if G is connected without vertices of odd degrees, and G is supereulerian if G has a spanning eulerian subgraph. In [3], Boesch, Suffey and Tindel raised a problem to determine when a graph is supereulerian, and they remarked that such a problem would be a difficult one. In [55], Pulleyblank confirmed the remark by showing that the problem to determine if a graph is supereulerian, even within planar graphs, is NP-complete. Catlin in [8] introduced a reduction method based on the theory of collapsible graphs to search for spanning eulerian subgraphs in a given graph G. In this dissertation, we introduce the supereulerian width of a graph G, which generalizes the concept of supereulerian graphs, and extends the supereulerian problem to the supereulerian width problem in graphs. Further, we also generalize the concept of collapsible graphs to s-collapsible graphs and develop the reduction method based on the theory of s-collapsible graphs. Our studies extend the collapsible graph theory of Catlin. These are applied to show for any integer n \u3e 2, the complete graph Kn is (n - 3)- collapsible, and so the supereulerian width of Kn is n - 2. We also prove a best possible degree condition for a simple graph to have supereulerian width at least 3.;The number of edge-disjoint spanning trees plays an important role in the design of networks, as it is considered as a measure of the strength of the network. As disjoint spanning trees are disjoint bases in graphic matroids, it is important to study the properties related to the number of disjoint bases in matroids. In this dissertation, we develop a decomposition theory based on the density function of a matroid, and prove a decomposition theorem that partitions the ground set of a matroid M into subsets based on their densities. As applications of the decomposition theorem, we investigate problems related to the properties of disjoint bases in a matroid. We showed that for a given integer k \u3e 0, any matroid M can be embedded into a matroid M\u27 with the same rank (that is, r(M) = r( M\u27)) such that M\u27 has k disjoint bases. Further we determine the minimum value of |E( M\u27)| -- |E(M)| in terms of invariants of M. For a matroid M with at least k disjoint bases, we characterize the set of elements in M such that removing any one of them would still result in a matroid with at least k disjoint bases

Transforming graph states to Bell-pairs is NP-Complete

Critical to the construction of large scale quantum networks, i.e. a quantum internet, is the development of fast algorithms for managing entanglement present in the network. One fundamental building block for a quantum internet is the distribution of Bell pairs between distant nodes in the network. Here we focus on the problem of transforming multipartite entangled states into the tensor product of bipartite Bell pairs between specific nodes using only a certain class of local operations and classical communication. In particular we study the problem of deciding whether a given graph state, and in general a stabilizer state, can be transformed into a set of Bell pairs on specific vertices using only single-qubit Clifford operations, single-qubit Pauli measurements and classical communication. We prove that this problem is NP-Complete

How to transform graph states using single-qubit operations: computational complexity and algorithms

Graph states are ubiquitous in quantum information with diverse applications ranging from quantum network protocols to measurement based quantum computing. Here we consider the question whether one graph (source) state can be transformed into another graph (target)state,using a specific set of quantum operations (LC+LPM+CC): single-qubit Clifford operations(LC), single-qubit Pauli measurements (LPM) and classical communication (CC) between sites holding the individual qubits. This question is of interest for effective routing or state preparation decisions in a quantum network or distributed quantum processor and also in the design of quantum repeater schemes and quantum error-correction codes. We first show that deciding whether a graph state|G〉can be transformed into another graph state|G′〉using LC+LPM+CC is NP-complete, which was previously not known. We also show that the problem remains NP-complete even if|G′〉is restricted to be the GHZ-state. However, we also provide efficient algorithms for two situations of practical interest. Our results make use of the insight that deciding whether a graph state|G〉can be transformed to another graph state|G′〉is equivalent to a known decision problem in graph theory, namely the problem of deciding whether a graph G′ is a vertex-minor of a graph G. The computational complexity of the vertex-minor problem was prior to this paper an open question in graph theory. We prove that the vertex-minor problem is NP-complete by relating it to a new decision problem on 4-regular graphs which we call the semi-ordered Eulerian tour problem