Let {\cal{C}}_1 be the set of fundamental cycles of breadth-first-search trees in a graph G and {\cal{C}}_2 the set of the sums of two cycles in {\cal{C}}_1. Then we show that (1) {\cal{C}}={\cal{C}}_1\bigcup{\cal{C}}_2 contains a shortest \Pi-twosided cycle in a \Pi-embedded graph G;(2) \cal{C} contains all the possible shortest even cycles in a graph G;(3) If a shortest cycle in a graph G is an odd cycle, then \cal{C} contains all the shortest odd cycles in G. This implies the existence of a polynomially bounded algorithm to find a shortest \Pi-twosided cycle in an embedded graph and thus solves an open problem of B.Mohar and C.Thomassen[2,pp112]
The collection \cal C of cycles defined above satisfies the following conditions:
(a). There exists a shortest \Pi-twosided cycle (in a \Pi-embedded graph ) in \cal C;
(b). Each shortest even cycle of a graph is contained in \cal C;
(c). If a shortest cycle of a graph is an odd cycle, then every shortest odd cycle is contained in {\cal C}_1.
There exists a polynomially bounded algorithm to find a shortest \Pi-twosided cycle in a \Pi-embedded graph and all the shortest even cycles in a graph.
There is a polynomially bounded algorithm to find a shortest contractible cycle in an embedded graph in the projective plane.
In the following, we will see that a cycle satisfying (2) may be written as a sum of two shorter cycles. Therefore, a shortest cycle in a collection of cycles satisfying the 3-path-condition can’t satisfy (2).
Let G and \cal C be as defined in Theorem A and C a shortest \Pi-twosided cycle in G satisfying (2). Then \cal C contains a shortest \Pi-twosided cycle of G.
We assume that C has a clockwise ( anticlockwise )orientation \overrightarrow{C} (C)and for any two vertices u and v of C, u\overrightarrow{C}v (u\overleftarrow{C}v) denotes the closed interval from u to v along \overrightarrow{C} (\overleftarrow{C}). Similarly, we may define a segment uPv as the closed interval from u to v in a path P. If u is a vertex of C, then u^{-} (u^{+}) is the predecessor ( successor) of u along \overrightarrow{C}.
0.2cm
We consider two vertices x, y of C such that d_G(x,y) is minimum subject to (2). Then for any shortest (x-y) path P in G, P and C has no inner vertex on C( since otherwise, there would be another two vertices x_1, y_1 od C satisfying (2) and D_G(x_1,y_1)<d_G(x,y)). Let T_x be a breadth-first-search tree rooted at x. Then it contains a (x-y) path P and each of the two cycles P\cup x\overrightarrow{C}y and P\cup x\overleftarrow{C}y is a \Pi-onesided cycle shorter than that of C and satisfies (1) (since otherwise one of them may be written as a sum of two shorter cycles,among then, one is a \Pi-twosided ). Under these structure,each of P\cup x\overrightarrow{C}y and P\cup x\overleftarrow{C}y is a fundamental cycle of a breadth-first-search tree rooted at a vertex on itself. This completes the proof of Lemma 1.
0.2cm
Now we turn to the cycles satisfying (1). Firstly, the following result is easy to be verified and we omit the proof of it.
0.2cm
Let C be a shortest \Pi-twosided cycle in a \Pi-embedded graph G. Then for any three vertices x,u,v of C with
any shortest (x-u)path P and x\overleftarrow{C}v has no inner vertex in common.
Let G and \cal C be as defined in Theorem A and C a shortest \Pi-twosided cycle in G satisfying (1). Then \cal C contains a shortest \Pi-twosided cycle of G.
0.2cm
Case 1 |C|=2n,\, n\in N.
0.2cm
Let x and y be two vertices of C with d_G(x,y)=n and T_x a breadth-first-search tree rooted at x whose edges are all assigned signature \lambda=+1. Then T_x contains a (x-y)path P, a (x-y^{-})path P_1, and a (x-y^{+})path P_2.
0.2cm
Subcase 1.1 Either P_1\subset P or P_2\subset P.
0.2cm
We may suppose that P_1\subset P and \lambda(y,y^{+})=-1 without generality. If P is not contained in C,then P\cap C=\{x=x_1,x_2,...,x_m=y\}. By Lemma 2, we may choose an index i such that C_i=x_i\overrightarrow{P}x_{i+1}\cup{x_i\overrightarrow{C}x_{i+1}} is an even \Pi-onesided cycle such that P has no inner vertex on x_i\overrightarrow{C}x_{i+1} other than x_i and x_{i+1}. Since |C_i|<|C|, C_i can’t be a sum of two shorter cycles. Therefore, C_i satisfies (1) and further, C_i is a fundamental cycle of a breadth-first-tree rooted at some vertex of C_i. Now C_i\cup(P_2\cup P\cup \{(y,y^{+})\}) has a shortest \Pi-twosided cycle in G.
0.2cm
If P\subset C, then P_2 can’t be contained in C (since C is \Pi-twosided). As we have reasoned above, there exists a segment x_j\overleftarrow{C}x_{j+1} of C such that C_j=x_j\overleftarrow{C}x_{j+1}\cup{x_j\overleftarrow{P_2}x_{j+1}} is a fundamental cycle and so, C_j\cup(P_2\cup P\cup \{(y,y^{+})\}) contains a shortest \Pi-twosided cycle in G.
0.2cm
Subcase 1.2 P_1\not\subset P and P_2\not\subset P.
0.2cm
If \lambda(y,y^{-})=+1 or \lambda(y,y^{+})=+1, then P_1\cup{P\cup {(y,y^{-})}} or P_2\cup{P\cup {(y,y^{+})}} will contain a shortest \Pi-twosided cycle. Assume further that \lambda(y,y^{-})=\lambda(y,y^{+})=-1. Then P_1\cup P_2\cup \{(y,y^{-}),(y,y^{+})\} also contains a shortest \Pi-twosided cycle in G.
0.2cm
Case 2. |C|=2n+1,\,n\in N
0.2cm
Let x,y\in C with d_C(x,y)=d_C(x,y^{+})=n and T_x be a breadth-first-search tree rooted at x with all its edges been assigned \lambda=+1. Then T_x contains a (x-y)path P_1 and a (x,y^{+})path P_2 and a branched vertex \alpha\in{P_1\cap P_2}. Suppose that P_1 is not a part of C and \lambda(y,y^{+})=-1. Then as we have shown in Case 1 there exists an index i such that C_i=x_i\overrightarrow{C}x_{i+1}\cup{x_i\overrightarrow{P_1}x_{i+1}} is a fundamental cycle and thus C_i\cup P_1\cup P_2\cup \{(y,y^{+})\} contains a shortest \Pi-twosided cycle in \cal C. This completes the proof of Lemma 3 and so, finishes the proof of part (a) of Theorem A.
0.2cm
As for the proof of parts (b) and (c) of Theorem A, it follows from the proving procedure of (a) of Theorem A.
0.2cm
Based on the above statement, Theorem A is proved.
0.3cm
0.5cm References 0.5cm # 1#1
[1] J.A.Bondy and U.S.R.Murty, Graph theory with applications, Macmillan,
London, (1978). [2] B.Mohar and C.Thomassen, Graphs on Surfaces The Johns Hopkins University Press, Baltimore and London, 2001. [3] C.Thomassen, Embeddings of graphs with no short noncontractible cycles, J. of Combin. Theory., Ser B 48 (1990), pp155-177
The text on this page is from arXiv:0807.1620v1 by Han Ren and Ni Cao, under the licence CC BY 4.0. The corpus made these changes: it read the items out of the LaTeX source, it expanded the macros of the paper, it put each proof after its statement, and it converted the text to HTML. The formulas are the TeX of the paper, and KaTeX renders them. A formula or a reference can look different from the PDF. The page is published under CC BY 4.0.
The record of each item is in analysis/objects/0807/0807.1620.jsonl.