arXiv++ Combinatorics

Given two 2 disjoint vertex-sets $S=\{u,x\}$ and $T=\{v,y\}$, a paired many-to-many 2-disjoint path cover joining S and T, is a set of two vertex-disjoint paths with endpoints $u,v$ and $x,y$, respectively, that cover every vertex of the graph. If the graph has a many-to-many 2-disjoint path cover for any two disjoint vertex-sets $S$ and $T$, then it is called paired 2-coverable. It is known that if a graph is paired 2-coverable, then it must be Hamilton-connected, but the reverse is not true. It has been proved that Johnson graphs $J(n,k)$, $0\le k\le n$, are Hamilton-connected by Brian Alspach in [Ars Math. Contemp. 6 (2013) 21--23]. In this paper, we prove that Johnson graphs are paired 2-coverable. Moreover, we obtain that another family of graphs $QJ(n,k)$ constructed from Johnson graphs by Alspach are also paired 2-coverable.

Let $\mathscr{U}(n,τ)$ be the set of all {\rm(0,1)}-matrices of order $n$ with exactly $τ$ 0's. Brualdi et al. investigated the maximum permanents of all matrices in $\mathscr{U}(n,τ)$(R.A. Brualdi, J.L. Goldwasser, T.S. Michael, Maximum permanents of matrices of zeros and ones, J. Combin. Theory Ser. A 47 (1988) 207--245.). And they put forward an open problem to characterize the maximum permanents among all matrices in $\mathscr{U}(n,τ)$. In this paper, we focus on the problem. And we characterize the maximum permanents of all matrices in $\mathscr{U}(n,τ)$ when $n^{2}-3n\leqτ\leq n^{2}-2n-1$. Furthermore, we also prove the maximum permanents of all matrices in $\mathscr{U}(n,τ)$ when $σ-kn\equiv0 (mod~k+1)$ and $(k+1)n-σ\equiv0(mod~k)$, where $σ=n^{2}-τ$, $kn\leqσ\leq (k+1)n$ and $k$ is integer.

A graph $G$ $=$ $(V,E)$ is vertex-pancyclic if for every vertex $u$ and any integer $l$ ranging from $3$ to $|V|$, $G$ contains a cycle $C$ of length $l$ such that $u$ is on $C$. A bipartite graph $G$ $=$ $(V,E)$ is vertex-bipancyclic if for every vertex $u$ and any even integer $l$ ranging from $4$ to $|V|$, $G$ contains a cycle $C$ of length $l$ such that $u$ is on $C$. The simplified shuffle-cube and the balanced shuffle-cube, which are two variants of the shuffle-cube and are superior to shuffle-cube in terms of vertex-transitivity. In this paper, we show that the $n$-dimensional simplified shuffle-cube is vertex-pancyclic for $n\geqslant 6$, and the $n$-dimensional balanced shuffle-cube is vertex-bipancyclic for $n\geqslant 2$.

The balanced hypercube $BH_{n}$, a variant of the hypercube, is a novel interconnection network for massive parallel systems. It is known that the balanced hypercube remains Hamiltonian after deleting at most $4n-5$ faulty edges if each vertex is incident with at least two edges in the resulting graph for all $n\geq2$. In this paper, we show that there exists a fault-free Hamiltonian cycle in $BH_{n}$ for $n\ge 2$ with $\left | F \right |\le 5n-7$ if the degree of every vertex in $BH_{n}-F$ is at least two and there exists no $f_{4}$-cycles in $BH_{n}-F$, which improves some known results.

Li et al. in [Inf. Process. Lett. 77 (2001) 35--41] proposed the shuffle cube $SQ_{n}$ as an attractive interconnection network topology for massive parallel and distributed systems. By far, symmetric properties of the shuffle cube remains unknown. In this paper, we show that $SQ_{n}$ is not vertex-transitive for all $n>2$, which is not an appealing property in interconnection networks. To overcome this limitation, two novel vertex-transitive variants of the shuffle-cube, namely simplified shuffle-cube $SSQ_{n}$ and balanced shuffle cube $BSQ_{n}$ are introduced. Then, routing algorithms of $SSQ_{n}$ and $BSQ_{n}$ for all $n>2$ are given respectively. Furthermore, we show that both $SSQ_{n}$ and $BSQ_{n}$ possess Hamiltonian cycle embedding for all $n>2$. Finally, as a by-product, we mend a flaw in the Property 3 in [IEEE Trans. Comput. 46 (1997) 484--490].

The connectivity of a graph is an important parameter to evaluate its reliability. $k$-restricted connectivity (resp. $R^h$-restricted connectivity) of a graph $G$ is the minimum cardinality of a set $S$ of vertices in $G$, if exists, whose deletion disconnects $G$ and leaves each component of $G-S$ with more than $k$ vertices (resp. $δ(G-S)\geq h$). In contrast, structure (substructure) connectivity of $G$ is defined as the minimum number of vertex-disjoint subgraphs whose deletion disconnects $G$. As generalizations of the concept of connectivity, structure (substructure) connectivity, restricted connectivity and $R^h$-restricted connectivity have been extensively studied from the combinatorial point of view. Very little is known about the computational complexity of these variants, except for the recently established NP-completeness of $k$-restricted edge-connectivity. In this paper, we prove that the problems of determining structure, substructure, restricted, and $R^h$-restricted connectivity are all NP-complete.

The forcing number of a perfect matching $M$ in a graph $G$ is the smallest number of edges inside $M$ that can not be contained in other perfect matchings. The anti-forcing number of $M$ is the smallest number of edges outside $M$ whose removal results in a subgraph with a single perfect matching, that is $M$. Recently, in order to investigate the distributions of forcing numbers and anti-forcing numbers, the forcing polynomial and anti-forcing polynomial were proposed, respectively. In this work, the forcing and anti-forcing polynomials of a polyomino graph are obtained. As consequences, the forcing and anti-forcing spectra of this polyomino graph are determined, and the asymptotic behaviors on the degree of freedom and the sum of all anti-forcing numbers are revealed, respectively.

The balanced hypercube $BH_n$, a variant of the hypercube, was proposed as a desired interconnection network topology. It is known that $BH_n$ is bipartite. Assume that $S=\{s_1,s_2,\cdots,s_{2n-2}\}$ and $T=\{t_1,t_2,\cdots,t_{2n-2}\}$ are any two sets of vertices in different partite sets of $BH_n$ ($n\geq2$). It has been proved that there exists paired 2-disjoint path cover of $BH_n$. In this paper, we prove that there exists unpaired $(2n-2)$-disjoint path cover of $BH_n$ ($n\geq2$) from $S$ to $T$, which improved some known results. The upper bound $2n-2$ of the number of disjoint paths in unpaired $(2n-2)$-disjoint path cover is best possible.

The restricted hypercube-like graphs, variants of the hypercube, were proposed as desired interconnection networks of parallel systems. The matching preclusion number of a graph is the minimum number of edges whose deletion results in the graph with neither perfect matchings nor almost perfect matchings. The fractional perfect matching preclusion and fractional strong perfect matching preclusion are generalizations of the concept matching preclusion. In this paper, we obtain fractional matching preclusion number and fractional strong matching preclusion numbers of restricted hypercube-like graphs, which extend some known results.

Dong and Wang in [Theor. Comput. Sci. 771 (2019) 93--98] conjectured that the resulting graph of the $n$-dimensional folded hypercube $FQ_n$ by deleting any perfect matching is isomorphic to the hypercube $Q_n$. In this paper, we show that the conjecture holds when $n=2,3$, and it is not true for $n\geq4$.

The connectivity of a network directly signifies its reliability and fault-tolerance. Structure and substructure connectivity are two novel generalizations of the connectivity. Let $H$ be a subgraph of a connected graph $G$. The structure connectivity (resp. substructure connectivity) of $G$, denoted by $κ(G;H)$ (resp. $κ^s(G;H)$), is defined to be the minimum cardinality of a set $F$ of connected subgraphs in $G$, if exists, whose removal disconnects $G$ and each element of $F$ is isomorphic to $H$ (resp. a subgraph of $H$). In this paper, we shall establish both $κ(BH_n;H)$ and $κ^s(BH_n;H)$ of the balanced hypercube $BH_n$ for $H\in\{K_1,K_{1,1},K_{1,2},K_{1,3},C_4\}$.

Edge-connectivity is a classic measure for reliability of a network in the presence of edge failures. $k$-restricted edge-connectivity is one of the refined indicators for fault tolerance of large networks. Matching preclusion and conditional matching preclusion are two important measures for the robustness of networks in edge fault scenario. In this paper, we show that the DCell network $D_{k,n}$ is super-$λ$ for $k\geq2$ and $n\geq2$, super-$λ_2$ for $k\geq3$ and $n\geq2$, or $k=2$ and $n=2$, and super-$λ_3$ for $k\geq4$ and $n\geq3$. Moreover, as an application of $k$-restricted edge-connectivity, we study the matching preclusion number and conditional matching preclusion number, and characterize the corresponding optimal solutions of $D_{k,n}$. In particular, we have shown that $D_{1,n}$ is isomorphic to the $(n,k)$-star graph $S_{n+1,2}$ for $n\geq2$.

The restricted $h$-connectivity of a graph $G$, denoted by $κ^h(G)$, is defined as the minimum cardinality of a set of vertices $F$ in $G$, if exists, whose removal disconnects $G$ and the minimum degree of each component of $G-F$ is at least $h$. In this paper, we study the restricted $h$-connectivity of the balanced hypercube $BH_n$ and determine that $κ^1(BH_n)=κ^2(BH_n)=4n-4$ for $n\geq2$. We also obtain a sharp upper bound of $κ^3(BH_n)$ and $κ^4(BH_n)$ of $n$-dimension balanced hypercube for $n\geq3$ ($n\neq4$). In particular, we show that $κ^3(BH_3)=κ^4(BH_3)=12$.

Gu et al. in [Inform. Process. Lett. 134 (2018) 52--56] conjectured that the data center network $D_{k,n}$ is vertex-transitive for all $k\geq0$ and $n\geq2$. In this paper, we show that $D_{k,n}$ is vertex-transitive for $k\leq1$ and $n\geq2$, and it is not vertex-transitive for all $k\geq2$ and $n\geq2$.

As a variant of the well-known hypercube, the balanced hypercube $BH_n$ was proposed as a novel interconnection network topology for parallel computing. It is known that $BH_n$ is bipartite. Assume that $S=\{s_1,s_2\}$ and $T=\{t_1,t_2\}$ are any two sets of two vertices in different partite sets of $BH_n$ ($n\geq1$). It has been proved that there exist two vertex-disjoint $s_1,t_1$-path and $s_2,t_2$-path of $BH_n$ covering all vertices of it. In this paper, we prove that there always exist two vertex-disjoint $s_1,t_1$-path and $s_2,t_2$-path covering all vertices of $BH_n$ with at most $2n-3$ faulty edges. The upper bound $2n-3$ of edge faults tolerated is optimal.

The anti-Kekulé number of a connected graph $G$ is the smallest number of edges whose deletion results in a connected subgraph having no Kekulé structures (perfect matchings). As a common generalization of (conditional) matching preclusion number and anti-Kekulé number of a graph $G$, we introduce $s$-restricted matching preclusion number of $G$ as the smallest number of edges whose deletion results in a subgraph without perfect matchings such that each component has at least $s+1$ vertices. In this paper, we first show that conditional matching preclusion problem and anti-Kekulé problem are NP-complete, respectively, then generalize this result to $s$-restricted matching preclusion problem. Moreover, we give some sufficient conditions to compute $s$-restricted matching preclusion numbers of regular graphs. As applications, $s$-restricted matching preclusion numbers of complete graphs, hypercubes and hyper Petersen networks are determined.