The balanced hypercube, which is a variant of the hypercube, is proposed as a novel inter-processor network. Among the attractive properties of the balanced hypercube, the most special one is that each processor has a backup processor sharing the same neighborhood. A connected graph \(G\) with at least \(2m + 2\) vertices is said to be \(m\)-extendable if it possesses a matching of size \(m\) and every such matching can be extended to a perfect matching of \(G\). In this paper, we prove that the balanced hypercube \(BH_n\) is \(m\)-extendable for every \(m\) with \(1 \leq m \leq 2n – 2\), and our result is optimal.

A set \(W \subseteq V(G)\) is called a resolving set, if for each two distinct vertices \(u, v \in V(G)\) there exists \(w \in W\) such that \(d(u, w) \neq d(v, w)\), where \(d(x, y)\) is the distance between the vertices \(x\) and \(y\). A resolving set for \(G\) with minimum cardinality is called a metric basis. A graph with a unique metric basis is called a unique basis graph. In this paper, we study some properties of unique basis graphs.

In this paper, we study the number of 1-factors and edge-colorings of the Möbius ladder graphs. We find exact formulae for such numbers and show that there are exponentially many 1-factors and edge-colorings in such graphs. As applications, we show that every “man-made” triangular embedding for \(K_{12m+7}\), by combining the current graphs with those of Youngs and Ringel, permits exponentially many “Grünbaum colorings” (i.e., 3-edge-colored triangulations in such a way that each triangle receives three distinct colors).

Multi-receiver authentication codes with dynamic sender (\(DMRA\)-codes) are extensions of traditional group communication systems in which any member of a group can broadcast an authenticated message such that all other group members can individually verify its authenticity, and some malicious participants of the group cannot successfully impersonate the potential sender, or substitute a transmitted message. In this paper, a construction of \(DMRA\)-code will be given using linear code and its unconditional security is also guaranteed.

We consider the problem of finding quasiperiodicities in Fibonacci strings. A factor \(u\) of a string \(y\) is a cover of \(y\) if every letter of \(y\) falls within some occurrence of \(u\) in \(y\). A string \(v\) is a seed of \(y\) if it is a cover of a superstring of \(y\). A left seed of a string \(y\) is a prefix of \(y\) that is a cover of a superstring of \(y\). Similarly, a right seed of a string \(y\) is a suffix of \(y\) that is a cover of a superstring of \(y\). In this paper, we present some interesting results regarding quasiperiodicities in Fibonacci strings; we identify all covers, left/right seeds, and seeds of a Fibonacci string and all covers of a circular Fibonacci string.

We investigate a modifications of the well-known irregularity strength of graphs, namely the total edge irregularity strength and the total vertex irregularity strength. In this paper, we determine the exact value of the total edge (vertex) irregularity strength for convex polytope graphs with pendent edges.

Two \(G\)-designs \((X, \mathcal{A}_1)\) and \((X, \mathcal{A}_2)\) are said to intersect in \(m\) blocks if \(|\mathcal{A}_1 \cap \mathcal{A}_2| = m\). In this paper, we complete the solution of the intersection problem for \(G\)-designs, where \(G\) is a connected graph of size five which contains a cycle.

In this paper we discuss how the addition of a new edge affects the total edge irregularity strength of a graph.

Let \(G\) be a connected graph and \(k > 1\) be an integer. The local \(k\)-restricted edge connectivity \(\lambda_k(X,Y)\) of \(X,Y\) in \(G\) is the maximum number of edge-disjoint \(X\)-\(Y\) paths for \(X,Y \subseteq V\) with \(|X| = |Y| = k\), \(X \cap Y = \emptyset\), \(G[X]\) and \(G[Y]\) are connected. The \(k\)-restricted edge connectivity of \(G\) is defined as \(\lambda_k(G) = \min\{\lambda_k(X,Y) : X,Y \subseteq V, |X| = |Y| = k, X \cap Y = \emptyset, G[X] \text{ and } G[Y]\) are connected. Then \(G\) is local optimal \(k\)-restricted edge connected if \(\lambda_k(X,Y) = \min\{w(X), w(Y)\}\) for all \(X,Y \subseteq V\) with \(|X| = |Y| = k\), \(G[X]\) and \(G[Y]\) are connected, where \(w(X) = |E(X, \overline{X})|\). If \(\lambda_k(G) = \xi_k(G)\), where \(\xi_k(G) = \min\{w(X) : U \subset V, |U| = k \text{ and } G[U] \text{ is connected}\}\), then \(G\) is called \(\lambda_k\)-optimal. In this paper, we obtain several sufficient conditions for a graph to be \(3\)-optimal (or local optimal \(k\)-restricted edge connected).

A graph \(G\) is called edge-magic if there exists a bijective function \(f: V(G) \cup E(G) \to \{1, 2, \ldots, |V(G)| + |E(G)|\}\) such that \(f(u) + f(v) + f(uv)\) is a constant for each \(uv \in E(G)\). Also, \(G\) is called super edge-magic if \(f(V(G)) = \{1, 2, \ldots, |V(G)|\}\). Moreover, the super edge-magic deficiency, \(\mu_s(G)\), of a graph \(G\) is defined to be the smallest nonnegative integer \(n\) with the property that the graph \(G \cup nK_1\) is super edge-magic, or \(+\infty\) if there exists no such integer \(n\). In this paper, we introduce the notion of the sequential number, \(\sigma(G)\), of a graph \(G\) without isolated vertices to be either the smallest positive integer \(n\) for which it is possible to label the vertices of \(G\) with distinct elements from the set \(\{0, 1, \ldots, n\}\) in such a way that each \(uv \in E(G)\) is labeled \(f(u) + f(v)\) and the resulting edge labels are \(|E(G)|\) consecutive integers, or \(+\infty\) if there exists no such integer \(n\). We prove that \(\sigma(G) = \mu_s(G) + |V(G)| – 1\) for any graph \(G\) without isolated vertices, and \(\sigma(K_{m,n}) = mn\) for every two positive integers \(m\) and \(n\), which allows us to settle the conjecture that \(\mu_s(K_{m,n}) = (m-1)(n-1)\) for every two positive integers \(m\) and \(n\).