
Journal of Combinatorial Mathematics and Combinatorial Computing
ISSN: 0835-3026 (print) 2817-576X (online)
The Journal of Combinatorial Mathematics and Combinatorial Computing (JCMCC) embarked on its publishing journey in April 1987. From 2024 onward, it publishes four volumes per year in March, June, September and December. JCMCC has gained recognition and visibility in the academic community and is indexed in renowned databases such as MathSciNet, Zentralblatt, Engineering Village and Scopus. The scope of the journal includes; Combinatorial Mathematics, Combinatorial Computing, Artificial Intelligence and applications of Artificial Intelligence in various files.
- Research article
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 020
- Pages: 155-159
- Published: 28/02/1996
A graph is said to be in \({L}_1\) if \(\deg(u) + \deg(v) \geq |N(u) \cup N(w) \cup N(v)| – 1\) for each induced path \(uwv\) of order three. We prove that a \(2\)-connected graph \(G\) in \({L}_1\) of diameter two is hamiltonian, or \(K_{d,d+1} \subset G \subset K_{d} + (d + 1)K_1\) for some \(d \geq 2\). This theorem generalizes a couple of known sufficient conditions for a graph to be hamiltonian. We also discuss the relation between this theorem and several other degree conditions for hamiltonicity.
- Research article
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 020
- Pages: 139-154
- Published: 28/02/1996
On the basis of circuit uniqueness, the concept of strong circuit uniqueness is introduced, and some graphs with the property of strong circuit uniqueness are identified. The results are then used to prove successfully the circuit uniqueness of the graphs \(K_m \cup K_n\) and \(K_{m,n}\). This represents an improvement on the previous papers on the same subject.
- Research article
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 020
- Pages: 129-137
- Published: 28/02/1996
Several criteria have been proposed as desirable for binary cryptographic functions. Three important ones are balance, correlation-immunity, and higher order strict avalanche criterion. Lloyd [7] has shown that there are no balanced, uncorrelated functions which satisfy the strict avalanche criterion of order \(n-2\). In this note, we give a short proof of this result using elementary combinatorial arguments. The proof relies on the solution of a recurrence relation that seems to be of interest in its own right.
- Research article
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 020
- Pages: 121-128
- Published: 28/02/1996
In this paper, we introduce some concepts relating to idempotent ordered orthogonal quasigroups (IOOQ), ordered orthogonal Steiner triple systems (ordered OSTS), and ordered orthogonal group divisible designs (ordered OGDD), and use them to obtain some construction methods for OGDD.
- Research article
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 020
- Pages: 111-120
- Published: 28/02/1996
- Research article
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 020
- Pages: 97-109
- Published: 28/02/1996
It is known that triangle-free graphs of diameter \(2\) are just maximal triangle-free graphs. Kantor ([5]) showed that if \(G\) is a triangle-free and \(4\)-cycle free graph of diameter \(2\), then \(G\) is either a star or a Moore graph of diameter \(2\); if \(G\) is a \(4\)-cycle free graph of diameter \(2\) with at least one triangle, then \(G\) is either a star-like graph or a polarity graph (defined from a finite projective plane with polarities) of order \(r^2 + r + 1\) for some positive integer \(r\) (or \(P_r\)-\emph{graph} for short). We study, by purely graph theoretical means, the structure of \(P_r\)-graphs and construct \(P_r\)-graphs for small values of \(r\). Further, we characterize graphs of diameter \(2\) without \(5\)-cycles and \(6\)-cycles, respectively. In general, one can characterize \(C_k\)-free graphs of diameter \(2\) with \(k > 6\) with a similar approach.
- Research article
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 020
- Pages: 89-96
- Published: 28/02/1996
Dey’s formula can be used to count the subgroups of finitely generated groups and to establish congruence properties of subgroup counting functions. We develop an algebraic technique based on this formula for counting the subgroups of given index in Hecke groups, and show how to streamline it for efficient computation modulo \(2\).
- Research article
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 020
- Pages: 65-80
- Published: 28/02/1996
A simple graph \(G\) with a perfect matching is said to be \emph{\(k\)-extendable} if for every set \(M\) of \(k\) independent edges, there exists a perfect matching in \(G\) containing all the edges of \(M\). In an earlier paper, we characterized \((n-2)\)-extendable graphs on \(2n \geq 10\) vertices. In this paper, we complete the characterization by resolving the remaining small cases of \(2n = 6\) and \(8\). In addition, the subclass of \(k\)-extendable graphs that are “critical” and “minimal” are determined.
- Research article
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 020
- Pages: 53-63
- Published: 28/02/1996
Given a graph \(G = (V, E)\) and a vertex subset \(D \subseteq V\), a subset \(S \subseteq V\) is said to realize a “parity assignment” \(D\) if for each vertex \(v \in V\) with closed neighborhood \(N[v]\) we have that \(|N[v] \cap S|\) is odd if and only if \(v \in D\). Graph \(G\) is called all parity realizable if every parity assignment \(D\) is realizable. This paper presents some examples and provides a constructive characterization of all parity realizable trees.
- Research article
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 020
- Pages: 33-52
- Published: 28/02/1996
The set of all possible intersection sizes between two simple triple systems \({TS}(v, \lambda_1)\) and \({TS}(v, \lambda_2)\) is denoted by \({Int}(v, \lambda_1, \lambda_2)\). In this paper, for \(6 \leq v \leq 14\), and for all feasible \(\lambda$’s, \({Int}(v, \lambda_1, \lambda_2)\) is determined.