In this paper, we consider the relationship between toughness and the existence of \([a, b]\)-factors with inclusion/exclusion properties. We obtain that if \(t(G) \geq a – 1 + \frac{a – 1}{b}\) with \(b > a > 2\), where \(a, b\) are two integers, then for any two given edges \(e_1\) and \(e_2\), there exist an \([a, b]\)-factor including \(e_1, e_2\); and an \([a, b]\)-factor including \(e_1\) and excluding \(e_2\); as well as an \((a, b)\)-factor excluding \(e_1, e_2\). Furthermore, it is shown that the results are best possible in some sense.

In this paper, we will determine the NBB bases with respect to a certain standard ordering of atoms of lattices of \(321\)-\(312\)-\(231\)-avoiding permutations and of \(321\)-avoiding permutations with the weak Bruhat order. Using our expressions of NBB bases, we will calculate the Möbius numbers of these lattices. These values are shown to be related to Fibonacci polynomials.

Let \(D(G)\) denote the signless Dirichlet spectral radius of the graph \(G\) with at least a pendant vertex, and \(\pi_1\) and \(\pi_2\) be two nonincreasing unicyclic graphic degree sequences with the same frequency of number \(1\). In this paper, the signless Dirichlet spectral radius of connected graphs with a given degree sequence is studied. The results are used to prove a majorization theorem of unicyclic graphs. We prove that if \(\pi_1 \unrhd \pi_2\), then \(D(G_1) \leq D(G_2)\) with equality if and only if \(\pi_1 = \pi_2\), where \(G_1\) and \(G_2\) are the graphs with the largest signless Dirichlet spectral radius among all unicyclic graphs with degree sequences \(\pi_1\) and \(\pi_2\), respectively. Moreover, the graphs with the largest signless Dirichlet spectral radius among all unicyclic graphs with \(k\) pendant vertices are characterized.

A function \(f\) is called a graceful labeling of a graph \(G\) with \(m\) edges, if \(f\) is an injective function from \(V(G)\) to \(\{0, 1, 2, \ldots, m\}\) such that when every edge \(uv\) is assigned the edge label \(|f(u) – f(v)|\), then the resulting edge labels are distinct. A graph which admits a graceful labeling is called a graceful graph. A graceful labeling of a graph \(G\) with \(m\) edges is called an \(\alpha\)-labeling if there exists a number \(\alpha\) such that for any edge \(uv\), \(\min\{f(u), f(v)\} \leq \lambda < \max\{f(u), f(v)\}\). The characterization of graceful graphs appears to be a very difficult problem in Graph Theory. In this paper, we prove a basic structural property of graceful graphs, that every tree is a subtree of a graceful graph, an \(\alpha\)-labeled graph, and a graceful tree, and we discuss a related open problem towards settling the popular Graceful Tree Conjecture.

We use rook placements to prove Spivey’s Bell number formula and other identities related to it, in particular, some convolution identities involving Stirling numbers and relations involving Bell numbers. To cover as many special cases as possible, we work on the generalized Stirling numbers that arise from the rook model of Goldman and Haglund. An alternative combinatorial interpretation for the Type II generalized \(q\)-Stirling numbers of Remmel and Wachs is also introduced, in which the method used to obtain the earlier identities can be adapted easily.

An \(H\)-triangle is a triangle with corners in the set of vertices of a tiling of \(\mathbb{R}^2\) by regular hexagons of unit edge. Let \(b(\Delta)\) be the number of the boundary \(H\)-points of an \(H\)-triangle \(\Delta\). In [3] we made a conjecture that for any \(H\)-triangle with \(k\) interior \(H\)-points, we have \(b(\Delta) \in \{3, 4, \ldots, 3k+4, 3k+5, 3k+7\}\). In this note, we prove the conjecture is true for \(k = 4\), but not true for \(k = 5\) because \(b(\Delta)\) cannot equal \(15\).

For a positive integer \(d \geq 1\), an \(L(d, 1)\)-labeling of a graph \(G\) is an assignment of nonnegative integers to \(V(G)\) such that the difference between labels of adjacent vertices is at least \(d\), and the difference between labels of vertices that are distance two apart is at least \(1\). The span of an \(L(d, 1)\)-labeling of a graph \(G\) is the difference between the maximum and minimum integers used by it. The minimum span of an \(L(d, 1)\)-labeling of \(G\) is denoted by \(\lambda(G)\). In [17], we obtained that \(r\Delta + 1 \leq \lambda(G(rP_5)) \leq r\Delta + 2\), \(\lambda(G(rP_k)) = r\Delta + 1\) for \(k \geq 6\); and \(\lambda(G(rP_4)) \leq (\Delta + 1)r + 1\), \(\lambda(G(rP_3)) \leq (\Delta + 1)r + \Delta\) for any graph \(G\) with maximum degree \(\Delta\). In this paper, we will focus on \(L(d, 1)\)-labelings of the edge-multiplicity-path-replacement \(G(rP_k)\) of a graph \(G\) for \(r \geq 2\), \(d \geq 3\), and \(k \geq 3\). And we show that the class of graphs \(G(rP_k)\) with \(k \geq 3\) satisfies the conjecture proposed by Havet and Yu [7].

Let \(R\) be a commutative ring with non-zero identity. The cozero-divisor graph of \(R\), denoted by \(\Gamma'(R)\), is a graph with vertex-set \(W^*(R)\), which is the set of all non-zero non-unit elements of \(R\), and two distinct vertices \(a\) and \(b\) in \(W^*(R)\) are adjacent if and only if \(a \not\in Rb\) and \(b \not\in Ra\), where for \(c \in R\), \(Rc\) is the ideal generated by \(c\). In this paper, we completely determine all finite commutative rings \(R\) such that \(\Gamma'(R)\) is planar, outerplanar and a ring graph.

The Wiener index is the sum of distances between all pairs of vertices in a connected graph. A cactus is a connected graph in which any two of its cycles have at most one common vertex. In this article, we present some graphic transformations and derive the formulas for calculating the Wiener index of new graphs. With these transformations, we characterize the graphs having the smallest Wiener index among all cacti given matching number and cycle number.

A Roman dominating function on a graph \(G\) is a function \(f: V(G) \to \{0, 1, 2\}\) satisfying the condition that every vertex \(u\) of \(G\) for which \(f(u) = 0\) is adjacent to at least one vertex \(v\) of \(G\) for which \(f(v) = 2\). The weight of a Roman dominating function is the value \(f(V(G)) = \sum_{u \in V(G)} f(u)\). The Roman domination number, \(\gamma_R(G)\), of \(G\) is the minimum weight of a Roman dominating function on \(G\). A graph \(G\) is said to be Roman domination edge critical, or simply \(\gamma_R\)-edge critical, if \(\gamma_R(G + e) < \gamma_R(G)\) for any edge \(e \not\in E(G)\). In this paper, we characterize all \(\gamma_R\)-edge critical connected graphs having precisely two cycles.

An \(h\)-edge-coloring (block-coloring) of type \(s\) of a graph \(G\) is an assignment of \(h\) colors to the edges (blocks) of \(G\) such that for every vertex \(x\) of \(G\), the edges (blocks) incident with \(x\) are colored with \(s\) colors. For every color \(i\), \(\xi_{x,i}\) (\(\mathcal{B}_{x,i}\)) denotes the set of all edges (blocks) incident with \(x\) and colored by \(i\). An \(h\)-edge-coloring (\(h\)-block-coloring) of type \(s\) is equitable if for every vertex \(x\) and for colors \(i\), \(j\), \(||\xi_{x,i}| – |\xi_{x,j}|| \leq 1\) (\(||\mathcal{B}_{x,i}| – |\mathcal{B}_{x,j}|| \leq 1\)). In this paper, we study the existence of \(h\)-edge-colorings of type \(s = 2,3\) of \(K_t\) and then show that the solution of this problem induces the solution of the existence of a \(C_4\)-\(_tK_2\)-design having an equitable \(h\)-block-coloring of type \(s = 2,3\).

G. Chartrand et al. [3] define a graph \(G\) without isolated vertices to be the least common multiple (lcm) of two graphs \(G_1\) and \(G_2\) if \(G\) is a graph of minimum size such that \(G\) is both \(G_1\)-decomposable and \(G_2\)-decomposable. A bi-star \(B_{m,n}\) is a caterpillar with spine length one. In this paper, we discuss a good lower bound for \(lcm(B_{m,n}, G)\), where \(G\) is a simple graph. We also investigate \(lcm(B_{m,n}, rK_2)\) and provide a good lower bound and an appropriate upper bound for \(lcm(B_{m,n}, P_{r+1})\) for all \(m \geq 1\), \(n \geq 1\), and \(r \geq 1\).

A path in an edge-colored graph is said to be a rainbow path if no two edges on the path share the same color. An edge-colored graph \(G\) is rainbow connected if there exists a \(u-v\) rainbow path for any two vertices \(u\) and \(v\) in \(G\). The rainbow connection number of a graph \(G\), denoted by \(rc(G)\), is the smallest number of colors that are needed in order to make \(G\) rainbow connected. For any two vertices \(u\) and \(v\) of \(G\), a rainbow \(u-v\) geodesic in \(G\) is a rainbow \(u\)–\(v\) path of length \(d(u,v)\), where \(d(u,v)\) is the distance between \(u\) and \(v\). The graph \(G\) is strongly rainbow connected if there exists a rainbow \(u-v\) geodesic for any two vertices \(u\) and \(v\) in \(G\). The strong rainbow connection number of \(G\), denoted by \(src(G)\), is the smallest number of colors that are needed in order to make \(G\) strongly rainbow connected.

In this paper, we determine the precise (strong) rainbow connection numbers of ladders and Möbius ladders. Let \(p\) be an odd prime; we show the (strong) rainbow connection numbers of Cayley graphs on the dihedral group \(D_{2p}\) of order \(2p\) and the cyclic group \(\mathbb{Z}_{2p}\) of order \(2p\). In particular, an open problem posed by Li et al. in [8] is solved.

Given a collection of graphs \(\mathcal{H}\), an \(\mathcal{H}\)-decomposition of \(\lambda K_v\) is a decomposition of the edges of \(\lambda K_v\) into isomorphic copies of graphs in \(\mathcal{H}\). A kite is a triangle with a tail consisting of a single edge. In this paper, we investigate the decomposition problem when \(\mathcal{H}\) is the set containing a kite and a \(4\)-cycle, that is, this paper gives a complete solution to the problem of decomposing \(\lambda K_v\) into \(r\) kites and \(s\) \(4\)-cycles for every admissible values of \(v\), \(r,\lambda\), and \(s\).

A \(b\)-coloring of a graph \(G\) with \(k\) colors is a proper coloring of \(G\) using \(k\) colors in which each color class contains a color dominating vertex, that is, a vertex which has a neighbor in each of the other color classes. The largest positive integer \(k\) for which \(G\) has a \(b\)-coloring using \(k\) colors is the \(b\)-chromatic number \(\beta(G)\) of \(G\). The \(b\)-spectrum \(\mathcal{S}_b(G)\) of a graph \(G\) is the set of positive integers \(k\), \(\chi(G) \leq k \leq b(G)\), for which \(G\) has a \(b\)-coloring using \(k\) colors. A graph \(G\) is \(b\)-continuous if \(\mathcal{S}_b(G) = \{\chi(G), \ldots, b(G)\}\). It is known that for any two graphs \(G\) and \(H\), \(b(G \Box H) \geq \max\{b(G), b(H)\}\), where \(\Box\) stands for the Cartesian product. In this paper, we determine some families of graphs \(G\) and \(H\) for which \(b(G \Box H) \geq b(G) + b(H) – 1\). Further, we show that if \(O_k,i=1,2,\ldots,n\) are odd graphs with \(k_i \geq 4\) for each \(i\), then \(O_{k_1} \Box O_{k_2} \Box \ldots \Box O_{k_n}\) is \(b\)-continuous and \(b(O_{k_1} \Box O_{k_2} \Box \ldots \Box O_{k_n}) = 1 + \sum\limits_{i=1}^{n} k_i\).

We study the number of elements \(x\) and \(y\) of a finite group \(G\) such that \(x \otimes y = 1_{G \oplus G}\) in the nonabelian tensor square \(G \otimes G\) of \(G\). This number, divided by \(|G|^2\), is called the tensor degree of \(G\) and has connections with the exterior degree, introduced a few years ago in [P. Niroomand and R. Rezaei, On the exterior degree of finite groups, Comm. Algebra \(39 (2011), 335–343\)]. The analysis of upper and lower bounds of the tensor degree allows us to find interesting structural restrictions for the whole group.

For a (molecular) graph \(G\), the general sum-connectivity index \(\chi_\alpha(G)\) is defined as the sum of the weights \((d_u + d_v)^\alpha\) of all edges \(uv\) of \(G\), where \(d_u\) (or \(d_v\)) denotes the degree of a vertex \(u\) (or \(v\)) in \(G\) and \(\alpha\) is an arbitrary real number. In this paper, we give an efficient formula for computing the general sum-connectivity index of polyomino chains and characterize the extremal polyomino chains with respect to this index, which generalizes one of the main results in [Z. Yarahmadi, A. Ashrafi, S. Moradi, Extremal polyomino chains with respect to Zagreb indices, Appl. Math. Lett. 25 (2012): 166-171].

In this paper, we investigate the basis number for the wreath product of wheels with paths. Also, as a related problem, we construct a minimum cycle basis of the same.

Let\(ex(m, C_{\leq n})\) denote the maximum size of a graph of order \(m\) and girth at least \(n+1\), and \(EX(m, C_{\leq n})\) be the set of all graphs of girth at least \(n+1\) and size \(ex(m, C_{\leq n})\). The Ramsey number \(R(C_{\leq n}, K_m)\) is the smallest \(k\) such that every graph of order \(k\) contains either a cycle of order \(n\) for some \(3 \leq l \leq n\) or a set of \(m\) independent vertices. It is known that \(ex(2n, C_{\leq n}) = 2n + 2\) for \(n \geq 4\), and the exact values of \(R(C_{\leq n}, K_m)\) for \(n \geq m\) are known. In this paper, we characterize all graphs in \(EX(2n, C_{\leq n})\) for \(n \geq 5\), and then obtain the exact values of \(R(C_{\leq n}, K_m)\) for \(m \in \{n, n+1\}\).

Since their desirable features, variable-weight optical orthogonal codes (VWOOCs) have found wide ranges of applications in various optical networks and systems. In recent years, optimal \(2\)-CP\((W, 1, Q; n)\)s are used to construct optimal VWOOCs. So far, some works have been done on optimal \(2\)-CP\((W, 1, Q; n)\)s with \(w_{\max} \leq 6\), where \(w_{\max} = \max\{w: w \in W\}\). As far as the authors are aware, little is known for explicit constructions of optimal \(2\)-CP\((W, 1, Q; n)\)s with \(w_{\max} \geq 7\) and \(|W| = 3\). In this paper, two explicit constructions of \(2\)-CP\((\{3, 4, 7\}, 1, Q; n)\)s are given, and two new infinite classes of optimal VWOOCs are obtained.

In this study, it has been researched which Euclidean regular polyhedrons are also taxicab regular and which are not. The existence of non-Euclidean taxicab regular polyhedrons in the taxicab \(3\)-space has also been investigated.

As a generalization of attenuated space, the concept of singular linear spaces was firstly introduced in [1]. In this paper, we construct a family of error-correcting pooling designs with the incidence matrix of two types of subspaces of singular linear space over finite fields, and exhibit their disjunct properties. Moreover, we show that the new construction gives better ratio of efficiency than the former ones under certain conditions. Finally, the paper gives a brief introduction about the relationship between the columns (rows) of the matrix and the related parameters.

A map is unicursal if all its vertices are even-valent except two odd-valent vertices. This paper investigates the enumeration of rooted nonseparable unicursal planar maps and provides two functional equations satisfied by its generating functions with the number of nonrooted vertices, the number of inner faces (or the number of edges) and the valencies of the two odd vertices of maps as parameters.

Let \(\sigma_k(G)\) denote the minimum degree sum of \(k\) independent vertices of a graph \(G\). A spanning tree with at most \(3\) leaves is called a spanning \(3\)-ended tree. In this paper, we prove that for any \(k\)-connected claw-free graph \(G\) with \(|G| = n\), if \(\sigma_{k+3}(G) \geq n – k\), then \(G\) contains a spanning \(3\)-ended tree.

As a promotion of the channel assignment problem, an \(L(1,1,1)\)-labeling of a graph \(G\) is an assignment of nonnegative integers to \(V(G)\) such that the difference between labels of adjacent vertices is at least \(1\), and the difference between labels of vertices that are distance two and three apart is at least \(1\). About \(10\) years ago, many mathematicians considered colorings (proper, general, total or from lists) such that vertices (all or adjacent) are distinguished either by sets or multisets or sums. In this paper, we will study \(L(1,1,1)\)-labeling-number and \(L(1,1)\)-edge-labeling-number of the edge-path-replacement. From this, we will consider the total-neighbor-distinguishing coloring and the neighbor-distinguishing coloring of the edge-multiplicity-paths-replacements, give a reference for the conjectures: \(\text{tndis-}_\Sigma(G) \leq \Delta + 3\), \(\text{ndi}_\Sigma(G) \leq \Delta + 2\), and \(\text{tndi}_S(G) \leq \Delta + 3\) for the edge-multiplicity-paths-replacements \(G(rP_k)\) with \(k \geq 3\) and \(r \geq 1\).

A \(T\)-shape tree is a tree with exactly one of its vertices having maximal degree \(3\). In this paper, we consider a class of tricyclic graphs which is obtained from a \(T\)-shape tree by attaching three identical odd cycles \(C_ks\) to three vertices of degree \(1\) of the \(T\)-shape tree, respectively, where \(k \geq 3\) is odd. It is shown that such graphs are determined by their adjacency spectrum.

In this paper, we have proved that if a contraction critical \(8\)-connected graph \(G\) has no vertices of degree \(8\), then for every vertex \(x\) of \(G\), either \(x\) is adjacent to a vertex of degree \(9\), or there are at least \(4\) vertices of degree \(9\) such that every one of them is at distance \(2\) from \(x\).

The crossing number of a graph \(G\) is the minimum number of pairwise intersections of edges in a drawing of \(G\). The \(n\)-dimensional locally twisted cubes \(LTQ_n\), proposed by X.F. Yang, D.J. Evans and G.M. Megson, is an important interconnection network with good topological properties and applications. In this paper, we mainly obtain an upper bound on the crossing number of \(LTQ_n\), no more than \(\frac{265}{6}4^{n-4} – (n^2 + \frac{15+(-1)^{n-1}}{6}2^{n-3}\).

Let \(G\) be an infinite geometric graph; in particular, a graph whose vertices are a countable discrete set of points on the plane, with vertices \(u, v\) adjacent if their Euclidean distance is less than 1. A “fire” begins at some finite set of vertices and spreads to all neighbors in discrete steps; in the meantime, \(f\) vertices can be deleted at each time-step. Let \(f(G)\) be the least \(f\) for which any fire on \(G\) can be stopped in finite time. We show that if \(G\) has bounded density, in the sense that no open disk of radius \(r\) contains more than \(\lambda\) vertices, then \(f(G)\) is bounded above by ceiling of a universal constant times \(\frac{\lambda}{r^2}\). Similarly, if the density of \(G\) is bounded from below in the sense that every open disk of radius \(r\) contains at least \(\beta\) vertices, then \(f(G)\) is bounded below by \(\kappa\) times the square of the floor of a universal constant times \(\frac{1}{r}\).

Let \(G\) be a graph, and let \(k \geq 2\) be an integer. A graph \(G\) is fractional independent-set-deletable \(k\)-factor-critical (in short, fractional ID-\(k\)-factor-critical) if \(G – I\) has a fractional \(k\)-factor for every independent set \(I\) of \(G\). In this paper, a Fan-type condition for fractional ID-\(k\)-factor-critical graphs is given.

The crossing number of a graph \(G\) is the smallest number of pairwise crossings of edges among all the drawings of \(G\) in the plane. The pancake graph is an important network topological structure for interconnecting processors in parallel computers. In this paper, we prove the exact crossing number of the pancake graph \(P_4\) is six.

A planar graph is called \(C_4\)-free if it has no cycles of length four. Let \(f(n,C_4)\) denote the maximum size of a \(C_4\)-free planar graph with order \(n\). In this paper, it is shown that \(f(n,C_4) = \left\lfloor \frac{15}{7}(n-2) \right\rfloor – \mu\) for \(n \geq 30\), where \(\mu = 1\) if \(n \equiv 3 \pmod{7}\) or \(n = 32, 33, 37\), and \(\mu = 0\) otherwise.

The Harary spectral radius \(\rho(G)\) of a graph \(G\) is the largest eigenvalue of the Harary matrix \(RD(G)\). In this paper, we determine graphs with the largest Harary spectral radius in four classes of simple connected graphs with \(n\) vertices: with given matching number, vertex connectivity, edge connectivity, and chromatic number, respectively.

We consider the relationship between the minimum degree \(\delta(G\) of a graph and the complexity of recognizing if a graph is \(T\)-tenacious. Let \(T \geq 1\) be a rational number. We first show that if \(\delta(G) \geq \frac{Tn}{T+1}\) then \(G\) is \(T\)-tenacious. On the other hand, for any fixed \(\epsilon > 0\), we show that it is NP-hard to determine if \(G\) is \(T\)-tenacious, even for the class of graphs with \(\delta(G) \geq (\frac{T}{T+1} – \epsilon)n\).

Let \(G\) be a finite group and let \(S\) be a nonempty subset of \(G\). For any positive integer \(k\), let \(S^k\) be the subset product given by the set \(\{s_1 \cdots s_k \mid s_1, \ldots, s_k \in S\}\). If there exists a positive integer \(n\) such that \(S^n = G\), then \(S\) is said to be exhaustive. Let \(e(S)\) denote the smallest positive integer \(n\), if it exists, such that \(S^n = G\). We call \(e(S)\) the exhaustion number of the set \(S\). If \(S^n \neq G\) for any positive integer \(n\), then \(S\) is said to be non-exhaustive. In this paper, we obtain some properties of exhaustive and non-exhaustive subsets of finite groups.

A graph \(G\) is called \(H\)-equipackable if every maximal \(H\)-packing in \(G\) is also a maximum \(H\)-packing in \(G\). In 2012, \(P_k\)-equipackable paths and cycles, \(M_k\)-equipackable paths and cycles are characterized. In this paper, \(P_m \cup P_k\)-equipackable paths and cycles are characterized.

If \(X\) is a geodesic metric space and \(x_1, x_2, x_3 \in X\), a geodesic triangle \(T = \{x_1, x_2, x_3\}\) is the union of the three geodesics \([x_1x_2]\), \([x_2x_3]\) and \([x_3x_1]\) in \(X\). The space \(X\) is \(\delta\)-hyperbolic (in the Gromov sense) if any side of \(T\) is contained in a \(\delta\)-neighborhood of the union of the two other sides, for every geodesic triangle \(T\) in \(X\). The study of hyperbolic graphs is an interesting topic since the hyperbolicity of a geodesic metric space is equivalent to the hyperbolicity of a graph related to it. Regular graphs are a very interesting class of graphs with many applications. The main aim of this paper is to obtain information about the hyperbolicity constant of regular graphs. We obtain several bounds for this parameter; in particular, we prove that \(\delta(G) \leq \frac{\Delta n}{8(\Delta-1)+1}\) for any \(4\)-regular graph \(G\) with \(n\) vertices. Furthermore, we show that for each \(\Delta \geq 2\) and every possible value \(t\) of the hyperbolicity constant, there exists a \(\Delta\)-regular graph \(G\) with \(\delta(G) = t\). We also study the regular graphs \(G\) with \(\delta(G) \leq 1\), i.e., the graphs which are like trees (in the Gromov sense). Besides, we prove some inequalities involving the hyperbolicity constant and domination numbers for regular graphs.

When \(G\) and \(F\) are graphs, \(v \in V(G)\) and \(\varphi\) is an orbit of \(V(F)\) under the action of the automorphism group of \(F\), \(s(F,G,v,\varphi)\) denotes the number of induced subgraphs of \(G\) isomorphic to \(F\) such that \(v\) lies in orbit \(\theta\) of \(F\). Vertices \(v \in V(G)\) and \(w \in V(H)\) are called \(k\)-vertex subgraph equivalent (\(k\)-SE), \(2 \leq k < n = |V(G)|\), if for each graph \(F\) with \(k\) vertices and for every orbit \(\varphi\) of \(F\), \(s(F,G,v,\varphi) = s(F,H,w,\varphi)\), and they are called similar if there is an isomorphism from \(G\) to \(H\) taking \(v\) to \(w\). We prove that \(k\)-SE vertices are \((k-1)\)-SE and several parameters of \((n-1)\)-SE vertices are equal. It is also proved that in many situations, “(n-1)-SE between vertices is equivalent to their similarity'' and it is true always if and only if Ulam's Graph Reconstruction Conjecture is true.

External Difference Families \((EDFs)\) are a new type of combinatorial designs originated from cryptography. In this paper, some constructions of \(EDFs\) are presented by using Gauss sums. Several classes of \(EDFs\) and related combinatorial designs are obtained.

The crossing number problem is in the forefront of topological graph theory. At present, there are only a few results concerning crossing numbers of join of some graphs. In this paper, for the special graph \(Q\) on six vertices, we give the crossing numbers of its join with \(n\) isolated vertices, as well as with the path \(P_n\) on \(n\) vertices and with the cycle \(C_n\).

In this article, we give a generalization of the multiparameter non-central Stirling numbers of the first and second kinds, Lah numbers, and harmonic numbers. Some new combinatorial identities, new explicit formulas, and many relations between different types of Stirling numbers and generalized harmonic numbers are found. Moreover, some interesting special cases of the generalized multiparameter non-central Stirling numbers are deduced. Furthermore, a matrix representation of the results obtained is given and a computer program is written using Maple and executed for calculating \(GMPNSN-1\) and their inverse \((GMPNSN-2)\), along with some of their interesting special cases.

Suppose \(G\) is a graph. Let \(u\) be a vertex of \(G\). A vertex \(v\) is called an \(i\)-neighbor of \(u\) if \(d_G(u,v) = i\). A \(1\)-neighbor of \(u\) is simply called a neighbor of \(u\). Let \(s\) and \(t\) be two nonnegative integers. Suppose \(f\) is an assignment of nonnegative integers to the vertices of \(G\). If the following three conditions are satisfied, then \(f\) is called an \((s, t)\)-relaxed \(L(2,1)\)-labeling of \(G\): (1) for any two adjacent vertices \(u\) and \(v\) of \(G\), \(f(u) \neq f(v)\); (2) for any vertex \(u\) of \(G\), there are at most \(s\) neighbors of \(u\) receiving labels from \(\{f(u) – 1, f(u)+ 1\}\); (3) for any vertex \(u\) of \(G\), the number of \(2\)-neighbors of \(u\) assigned the label \(f(u)\) is at most \(t\). The minimum span of \((s, t)\)-relaxed \(L(2,1)\)-labelings of \(G\) is called the \((s,t)\)-relaxed \(L(2,1)\)-labeling number of \(G\), denoted by \(\lambda_{2,1}^{s,t}(G)\). It is clear that \(\lambda_{2,1}^{0,0}(G)\) is the so-called \(L(2, 1)\)-labeling number of \(G\). In this paper, the \((s, t)\)-relaxed \(L(2, 1)\)-labeling number of the hexagonal lattice is determined for each pair of two nonnegative integers \(s\) and \(t\). And this provides a series of channel assignment schemes for the corresponding channel assignment problem on the hexagonal lattice.

As an additive weight version of the Harary index, the reciprocal degree distance of a simple connected graph \(G\) is defined as \(RDD(G) = \sum\limits_{u,v \subseteq V(G)} \frac{d_G(u)+d_G(v)}{d_G(u,v)}\), where \(d_G(u)\) is the degree of \(u\) and \(d_G(u,v)\) is the distance between \(u\) and \(v\) in \(G\). In this paper, we respectively characterize the extremal graphs with the maximum \(RDD\)-value among all the graphs of order \(n\) with given number of cut vertices and cut edges. In addition, an upper bound on the reciprocal degree distance in terms of the number of cut edges is provided.

In this work, linear codes over \(\mathbb{Z}_{2^s}\) are considered together with the extended Lee weight, which is defined as
\[w_L(a) = \begin{cases}
a & \text{if } a \leq 2^{s-1}, \\
2^s – x & \text{if } a > 2^{s-1}.
\end{cases}\]
The ideas used by Wilson and Yildiz are employed to obtain divisibility properties for sums involving binomial coefficients and the extended Lee weight. These results are then used to find bounds on the power of 2 that divides the number of codewords whose Lee weights fall in the same congruence class modulo \(2^e\). Comparisons are made with the results for the trivial code and the results for the homogeneous weight.

In this paper we study the Laplacian spectral radius of bicyclic graphs with given independence number and characterize the extremal graphs completely.

In this paper, we obtain some analytical expressions and give two simple formulae for the expected values of the Wiener indices of the random Phenylene and Spiro hexagonal chains.

Let \(G\) be a bicyclic graph. Bicyclic graphs are connected graphs in which the number of edges equals the number of vertices plus one. In this paper, we determine the graph with the maximal signless Laplacian spectral radius among all the bicyclic graphs with \(n\) vertices and diameter \(d\).

The harmonic index \(H(G)\) of a graph \(G\) is defined as the sum of the weights \(\frac{2}{d_u+ d_v}\) of all edges \(uv\) of \(G\), where \(d_u\) denotes the degree of a vertex \(u\) in \(G\). We determine the \(n\)-vertex trees with the second and third maximum harmonic indices for \(n \geq 7\), the fourth maximum harmonic index for \(n \geq 10\), and fifth maximum harmonic index for $n \geq 11\), and unicyclic graphs with the second and third maximum harmonic indices for \(n \geq 5\), the fourth maximum harmonic index for \(n \geq 7\), and fifth maximum harmonic index for \(n \geq 8\), and bicyclic graphs with the maximum harmonic index for \(n \geq 6\), the second and third maximum harmonic indices for \(n \geq 7\), and fourth maximum harmonic index for \(n \geq 9\).

Graph embedding has been known as a powerful tool for implementation of parallel algorithms and simulation of different interconnection networks. In this paper, we obtain the minimum wirelength of embedding circulant networks into necklace and windmill graphs. The algorithms for obtaining the same are of \(O(2n)\)-linear time.

In this paper, a reliable symbolic computational algorithm is presented for inverting a general companion matrix by using parallel computing along with recursion. The computational cost of the algorithm is \(O(n^2)\). The algorithm is implementable to the Computer Algebra System (CAS) such as MAPLE, MATLAB, and MATHEMATICA. Three examples are presented for the sake of illustration.