Edge-bipancyclicity of a hypercube with faulty vertices and edges

A bipartite graph G=(V,E) is said to be bipancyclic if it contains a cycle of every even length from 4 to |V|. Furthermore, a bipancyclic G is said to be edge-bipancyclic if every edge of G lies on a cycle of every even length. Let F_v (respectively, F_e) be the set of faulty vertices (respectively, faulty edges) in an n-dimensional hypercube Q_n. In this paper, we show that every edge of Q_n-F_v-F_e lies on a cycle of every even length from 4 to 2ⁿ-2|F_v| even if |F_v|+|F_e|?n-2, where n?3. Since Q_n is bipartite of equal-size partite sets and is regular of vertex-degree n, both the number of faults tolerated and the length of a longest fault-free cycle obtained are worst-case optimal.     

Embedding cycles of various lengths into star graphs with both edge and vertex faults

The n-dimensional star graph S_n is an attractive alternative to the hypercube graph and is a bipartite graph with two partite sets of equal size. Let F_v and F_e be the sets of faulty vertices and faulty edges of S_n, respectively. We prove that S_n − F_v − F_e contains a fault-free cycle of every even length from 6 to n! − 2∣F_v∣ with ∣F_v∣ + ∣F_e∣ ? n − 3 for every n ? 4. We also show that S_n − F_v − F_e contains a fault-free path of length n! − 2∣F_v∣ − 1 (respectively, n! − 2∣F_v∣ − 2) between two arbitrary vertices of S_n in different partite sets (respectively, the same partite set) with ∣F_v∣ + ∣F_e∣ ? n − 3 for every n ? 4.     

Cycles embedding on folded hypercubes with faulty nodes

Let F_Fv$F{F}_v$ be the set of faulty nodes in an n$n$-dimensional folded hypercube F_Qn$F{Q}_n$ with |F_Fv|≤n−2$\left|F{F}_v\right|\le n-2$. In this paper, we show that if n≥3$n\ge 3$, then every edge of F_Qn−F_Fv$F{Q}_n-F{F}_v$ lies on a fault-free cycle of every even length from 4$4$ to 2ⁿ−2|F_Fv|$2^n-2\left|F{F}_v\right|$, and if n≥2$n\ge 2$ and n$n$ is even, then every edge of F_Qn−F_Fv$F{Q}_n-F{F}_v$ lies on a fault-free cycle of every odd length from n+1$n+1$ to 2ⁿ−2|F_Fv|−1$2^n-2\left|F{F}_v\right|-1$.     

Characterizations of restricted pairs of planar graphs allowing simultaneous embedding with fixed edges

A set of planar graphs {G₁(V,E₁),…,Gk(V,Ek)} admits a simultaneous embedding if they can be drawn on the same pointset P of order n in the Euclidean plane such that each point in P corresponds one-to-one to a vertex in V and each edge in Ei does not cross any other edge in Ei (except at endpoints) for i∈{1,…,k}. A fixed edge is an edge (u,v) that is drawn using the same simple curve for each graph Gi whose edge set Ei contains the edge (u,v). We give a necessary and sufficient condition for two graphs whose union is homeomorphic to K₅ or K3,3 to admit a simultaneous embedding with fixed edges (SEFE). This allows us to characterize the class of planar graphs that always have a SEFE with any other planar graph. We also characterize the class of biconnected outerplanar graphs that always have a SEFE with any other outerplanar graph. In both cases, we provide O(n⁴)-time algorithms to compute a SEFE.     

On some cycles in linearized Wenger graphs

Let ${\mathbb{F}}_q$ be the finite field of $q$ elements for prime power $q$ and let $p$ be the character of ${\mathbb{F}}_q$. For any positive integer $m$, the linearized Wenger graph $L_m\left(q\right)$ is defined as follows: it is a bipartite graph with the vertex partitions being two copies of the $(m+1)$-dimensional vector space ${\mathbb{F}}_q^{m+1}$, and two vertices $p=\left(p\left(1\right),\dots ,p(m+1)\right)$ and $l=\left[l\left(1\right),\dots ,l(m+1)\right]$ being adjacent if $p\left(i\right)+l\left(i\right)=p\left(1\right){\left(l\left(1\right)\right)}^{p^{i?2}}$, for all $i=2,3,\dots ,m+1$. In this paper, we show that for any positive integers $m$ and $k$ with $3\le k\le p^2$, $L_m\left(q\right)$ contains even cycles of length $2k$ which is an open problem put forward by Cao et al. (2015).     

On 2-factors with cycles containing specified edges in a bipartite graph

Let k≥1 be an integer and G=(V₁,V₂;E) a bipartite graph with |V₁|=|V₂|=n such that n≥2k+2. In this paper it has been proved that if for each pair of nonadjacent vertices x∈V₁ and y∈V₂, , then for any k independent edges e₁,…,e_k of G, G has a 2-factor with k+1 cycles C₁,…,C_k+1 such that e_i∈E(C_i) and |V(C_i)|=4 for each i∈{1,…,k}. We shall also show that the conditions in this paper are sharp.     

On cycle lengths in claw-free graphs with complete closure

We show a construction that gives an infinite family of claw-free graphs of connectivity κ=2,3,4,5 with complete closure and without a cycle of a given fixed length. This construction disproves a conjecture by the first author, A. Saito and R.H. Schelp.     

Fault-free Hamiltonian cycles passing through a prescribed linear forest in 3-ary n-cube with faulty edges

The k-ary n-cube Qkn （n ≥2 and k ≥3） is one of the most popular interconnection networks. In this paper, we consider the problem of a fault- free Hamiltonian cycle passing through a prescribed linear forest （i.e., pairwise vertex-disjoint paths） in the 3-ary n-cube Qn^3 with faulty edges. The following result is obtained. Let E0 （≠θ） be a linear forest and F （≠θ） be a set of faulty edges in Q3 such that E0∩ F = 0 and ｜E0｜ ＋｜F｜ ≤ 2n - 2. Then all edges of E0 lie on a Hamiltonian cycle in Qn^3- F, and the upper bound 2n - 2 is sharp.     

Complexity of 3-edge-coloring in the class of cubic graphs with a polyhedral embedding in an orientable surface

A polyhedral embedding in a surface is one in which any two faces have boundaries that are either disjoint or simply connected. In a cubic (3-regular) graph this is equivalent to the dual being a simple graph. In 1968, Grünbaum conjectured that every cubic graph with a polyhedral embedding in an orientable surface is 3-edge-colorable. For the sphere, this is equivalent to the Four-Color Theorem, but we have disproved the conjecture in the general form. In this paper we extend this result and show that if we restrict our attention to a class of cubic graphs with a polyhedral embedding in an orientable surface, then the computational complexity of the 3-edge-coloring problem and its approximation does not improve.