A \(k\)-circuit is a directed cycle of length \(k\). In this paper, we completely solve the problem of finding maximum packings and minimum coverings of \(\lambda\)-fold complete bipartite symmetric digraphs with \(6\)-circuits.

Until now, all known simple \(t-(v, k, \lambda)\) designs with \(t \geq 6\) have \(\lambda \geq 4\). On the other hand, P. J. Cameron and C. E. Praeger showed that there are no flag-transitive simple \(7-(v, k, \lambda)\) designs. In the present paper, we considered the flag-transitive simple \(6-(v, k, \lambda)\) designs and proved that there are no non-trivial flag-transitive simple \(6-(v, k, \lambda)\) designs with \(\lambda \leq 5\).

In \(1972\), Erdős, Faber, and Lovász made the now famous conjecture: If a graph \(G\) consists of \(n\) copies of the complete graph \(K_n\), such that any two copies have at most one common vertex (such graphs are called EFL graphs), then \(G\) is \(n\)-colorable. In this paper, we show that the conjecture is true for two different classes of EFL graphs. Furthermore, a new shorter proof of the conjecture is given for a third class of EFL graphs.

The edge set of \(K_n\) cannot be decomposed into edge-disjoint octagons (or \(8\)-cycles) when \(n \not\equiv 1 \pmod{16}\). We consider the problem of removing edges from the edge set of \(K_n\) so that the remaining graph can be decomposed into edge-disjoint octagons. This paper gives the solution of finding maximum packings of complete graphs with edge-disjoint octagons and the minimum leaves are given.

In this paper, we introduced the notion of symmetric \(f\) bi-derivations on lattices and investigated some related properties. We characterized the distributive lattice by symmetric \(f\) bi-derivations.

In \(1990\), Anderson et al. \([1]\) generalized the competition graph of a digraph to the competition multigraph of a digraph and defined the multicompetition number of a multigraph. The competition multigraph \(CM(D)\) of a digraph \(D = (V, A)\) is the multigraph \(M = (V, E’)\) where two vertices of \(V\) are joined by \(k\) parallel edges if and only if they have exactly \(\ell\) common preys in \(D\). The multicompetition number \(k^*(M)\) of the multigraph \(M\) is the minimum number \(p\) such that \(M \cup I_p\) is the competition multigraph of an acyclic digraph, where \(I_k\) is a set of \(p\) isolated vertices. In this paper, we study the multicompetition numbers for some multigraphs and generalize some results provided by Kim and Roberts \([9]\), and by Zhao and He \([18]\) on general competition graphs, respectively.

Frank Harary contributed numerous questions to a variety of topics in graph theory. One of his favourite topics was the Reconstruction Problem, which, in its first issue in \(1977\), the Journal of Graph Theory described as the major unsolved problem in the field. Together with Plantholt, Frank Harary initiated the study of reconstruction numbers of graphs. We shall here present a survey of some of the work done on reconstruction numbers, focusing mainly on the questions which this work leaves open.

An upper bound of the basis number of the lexicographic product of two graphs from the basis number of the factors is presented. Furthermore, the basis numbers of the lexicographic product of some classes of graphs is determined.

In this paper, we prove that for any graph \(G\), \(\lambda(G^{+++}) = \delta(G^{-++})\) and all but for a few exceptions, \(G^{-++}\) is super edge-connectivity where \(G^{-++}\) is the transformation graph of a graph \(G\) introduced in \([1]\).

A graph-pair of order \(t\) is two non-isomorphic graphs \(G\) and \(H\) on \(t\) non-isolated vertices for which \(G \cup H \cong K_t\) for some integer \(t \geq 4\). Given a graph-pair \((G,H)\), we say \((G, H)\) divides some graph \(K\) if the edges of \(K\) can be partitioned into copies of \(G\) and \(H\) with at least one copy of \(G\) and at least one copy of \(H\). We will refer to this partition as a \((G, H)\)-\(multidecomposition\) of \(K\).

In this paper, we consider the existence of multidecompositions of \(K_n – F\) into graph-pairs of order \(5\) where \(F\) is a Hamiltonian cycle or (almost) \(1\)-factor.