In this paper, we identify \(LW\) and \(OW\) graphs, find the minimum \(\lambda\) for decomposition of \(\lambda K_n\) into these graphs, and show that for all viable values of \(\lambda\), the necessary conditions are sufficient for \(LW\)- and \(OW\)-decompositions using cyclic decompositions from base graphs.

For a connected graph \(G = (V, E)\), its inverse degree is defined as
\(\sum_{v\in V} \frac{1}{d(v)}\). Using an upper bound for the inverse degree of a graph obtained by Cioaba in [6], in this note, we present new sufficient conditions for some Hamiltonian properties of graphs.

A cancellable number (CN) is a fraction in which a decimal digit can be removed (“cancelled”) in the numerator and denominator without changing the value of the number; examples include \(\frac{16}{64}\) where the \(6\) can be cancelled and \(\frac{49}{98}\) where the \(9\) can be cancelled. We provide explicit infinite families of CNs with certain properties, subject to the restriction that the numerator and denominator have equal decimal length and the cancellable digits “line up”, i.e., all cancellation lines are vertical. The properties in question are that the CNs contain one of the following: a cancellable nine, a cancellable zero, a sequence of adjacent cancellable zeros, sequences of adjacent cancellable zeros and nines of the same length, and sequences of adjacent cancellations for certain other digits.

A \(\mathrm{GDD}(n_1+n_2,3; \lambda_1,\lambda_2)\) is a group divisible design with two groups of sizes \(n_1\) and \(n_2\), where \(n_1 < n_2\), with block size \(3\) such that each pair of distinct elements from the same group occurs in \(\lambda_1\) blocks and each pair of elements from different groups occurs in \(\lambda_2\) blocks. We prove that the necessary conditions are sufficient for the existence of group divisible designs \(\mathrm{GDD}(n_1+n_2, 3; \lambda_1, \lambda_2)\) with equal number of blocks of configuration \((1, 2)\) and \((0, 3)\) for \(n_1 + n_2 \leq 20\), \(n_1 \neq 2\) and in general for \(n_1 = 1, 3, 4, n_2 – 1\), and \(n_2 – 2\).

Given nonnegative integers \(a\), \(b\), \(c\), and \(d\), the transition function \(\nabla\) is defined by \(\nabla(a, b, c, d) = (|a-b|, |b-c|, |c-d|, |d-a|)\). The Diffy problem asks if it can reach \((0, 0, 0, 0)\) after some iterations of \(\nabla\) on the four numbers. If \((a, b, c, d)\) can transfer to \((0, 0, 0, 0)\) iterated by \(\nabla\) operations, the smallest \(N\) such that \(\nabla^N(a, b, c, d) = (0, 0, 0, 0)\) is called the stopping steps of the Diffy problem. In this paper, we will show that there exists \(N\) such that \(\nabla^N(a, b, c, d) = (0, 0, 0, 0)\) and the loose upper bound and exact upper bound of \(N\). In addition, we will also show that we can find a starting vector \((a, b, c, d)\) so that it reaches the zero vector \((0, 0, 0, 0)\) after exact \(k\) steps for any given positive integer \(k\).

This paper obtains new combinatorial batch codes (CBCs) from old ones, studies properties of uniform CBCs, and constructs uniform CBCs using semilattices.

For graphs \(F\) and \(H\), where \(H\) has chromatic index \(t\), the proper Ramsey number \(PR(F, H)\) is the smallest positive integer \(n\) such that every \(t\)-edge coloring of \(K_n\) results in a monochromatic \(F\) or a properly colored \(H\). The proper Ramsey number \(PR(F, H)\) is investigated for certain pairs \(F, H\) of connected graphs when \(t = 2\), namely when \(F\) is a complete graph, star, or path and when \(H\) is a path or even cycle of small order. In particular, \(PR(F, H)\) is determined when (1) \(F\) is a complete graph and \(H\) is a path of order 6 or less, (2) \(F\) is a complete graph and \(H\) is a 4-cycle, (3) \(F\) is a star and \(H\) is a 4-cycle or a 6-cycle, and (4) \(F\) is a star and \(H\) is a path of order 8 or less.

The \(k\)-rainbow index \(rx_k(G)\) of a connected graph \(G\) was introduced by Chartrand, Okamoto, and Zhang in 2010. Let \(G\) be a nontrivial connected graph with an edge-coloring \(c: E(G) \to \{1, 2, \ldots, q\}\), \(q \in \mathbb{N}\), where adjacent edges may be colored the same. A tree \(T\) in \(G\) is called a rainbow tree if no two edges of \(T\) receive the same color. For a graph \(G = (V, E)\) and a set \(S \subseteq V\) of at least two vertices, an \(S\)-Steiner tree or a Steiner tree connecting \(S\) (or simply, an \(S\)-tree) is a subgraph \(T = (V’, E’)\) of \(G\) that is a tree with \(S \subseteq V’\). For \(S \subseteq V(G)\) and \(|S| \geq 2\), an \(S\)-Steiner tree \(T\) is said to be a rainbow \(S\)-tree if no two edges of \(T\) receive the same color. The minimum number of colors that are needed in an edge-coloring of \(G\) such that there is a rainbow \(S\)-tree for every \(k\)-set \(S\) of \(V(G)\) is called the \(k\)-rainbow index of \(G\), denoted by \(rx_k(G)\). In this paper, we consider when \(|S| = 3\). An upper bound of complete multipartite graphs is obtained. By this upper bound, for a connected graph \(G\) with \(\text{diam}(G) \geq 3\), we give an upper bound of its complementary graph.

A tree \( T \), in an edge-colored graph \( G \), is called a rainbow tree if no two edges of \( T \) are assigned the same color. For a vertex subset \( S \subseteq V(G) \), a tree that connects \( S \) in \( G \) is called an \( S \)-tree. A \( k \)-rainbow coloring of \( G \) is an edge coloring of \( G \) having the property that for every set \( S \) of \( k \) vertices of \( G \), there exists a rainbow \( S \)-tree \( T \) in \( G \). The minimum number of colors needed in a \( k \)-rainbow coloring of \( G \) is the \( k \)-rainbow index of \( G \), denoted by \( rx_k(G) \). It is NP-hard to compute the \( rx_k(G) \) for the general graphs \( G \). We consider the \( 3 \)-rainbow index of complete bipartite graphs \( K_{s,t} \). For \( 3 \leq s \leq t \), we have determined the tight bounds of \( rx_3(K_{s,t}) \). In this paper, we continue the study. For \( 2 \leq s \leq t \), we develop a converse idea and apply it with the model of chessboard to study the problem. Finally, we obtain the exact value of \( rx_3(K_{s,t}) \) with \( 2 \leq s \leq t \).

The domination polynomials of binary graph operations, aside from union, join and corona, have not been widely studied. We compute and prove recurrence formulae and properties of the domination polynomials of families of graphs obtained by various products, including both explicit formulae and recurrences for specific families.