Journal of Combinatorial Mathematics and Combinatorial Computing

ISSN: 0835-3026 (print) 2817-576X (online)

The Journal of Combinatorial Mathematics and Combinatorial Computing (JCMCC) began its publishing journey in April 1987 and has since become a respected platform for advancing research in combinatorics and its applications.
Open Access: The journal follows the Diamond Open Access model—completely free for both authors and readers, with no article processing charges (APCs)
Publication Frequency: From 2024 onward, JCMCC publishes four issues annually—in March, June, September, and December.
Scope: JCMCC publishes research in combinatorial mathematics and combinatorial computing, as well as in artificial intelligence and its applications across diverse fields.
Indexing & Abstracting: The journal is indexed in MathSciNet, Zentralblatt MATH, and EBSCO, enhancing its visibility and scholarly impact within the international mathematics community.
Rapid Publication: Manuscripts are reviewed and processed efficiently, with accepted papers scheduled for prompt appearance in the next available issue.
Print & Online Editions: All issues are published in both print and online formats to serve the needs of a wide readership.

Shai Mor1, Brett Stevens1
1School of Mathematics and Statistics Carleton University Ottawa, ON K1S 5B6 Canada
Abstract:

A set of necessary conditions for the existence of a partition of \(\{1, \ldots, 2m – 1, L\}\) into differences \(d, d + 1, \ldots, d + m – 1\) is \((m, L) \equiv (0, 0), (1, d + 1), (2, 1), (3, d) \pmod{(4, 2)}\) and \(m \geq 2d – 2\) or \(m = 1\). If \(m = 2d – 2\) then \(L = 5d – 5\), if \(m = 2d – 1\) then \(4d – 2 \leq L \leq 6d – 4\) and if \(m \geq 2d\) then \(2m \leq L \leq 3m + d – 2\). Similar conditions for the partition of \(\{1, \ldots, 2m, L\} \setminus \{2\}\) into differences \(d, d + 1, \ldots, d + m – 1\) are \((m, L) \equiv (0, 0), (1, d + 1), (2, 1), (3, d) \pmod{(4, 2)}\), \((d, m, L) \neq (1, 1, 4), (2, 3, 8)\) and \(m \geq 2d – 2\), \(m = 1\) or \((d, m, L) = (3, 2, 7), (3, 3, 9)\). If \(m = 2d – 2\) then \(L = 5d – 5, 5d – 3\), if \(m = 2d – 1\) then \(4d – 1 \leq L \leq 6d – 2\) and if \(m \geq 2d\) then \(2m + 1 \leq L \leq 3m + d – 1\).

It is shown that for many cases when the necessary conditions hold, the set \(\{1, \ldots, 2m – 1, L\}\) and \(\{1, \ldots, 2m – 1, L\} \setminus \{2\}\) can be so partitioned. These partitions exist for all the minimum and maximum \(L\), when \(d \leq 3\), when \(m = 1\) and when \(m \geq 8d – 3\) (\(m \geq 8d + 4\) in the hooked case). The constructions given fully solve the existence of these partitions if the necessary conditions for the existence of extended and hooked extended Langford sequences are sufficient.

John Ginsburg1
1Department of Mathematics and Statistics, University of Winnipeg Winnipeg, Manitoba, Canada
Abstract:

Let \( n \) and \( q \) be positive integers, with \( n \geq 3 \), and let \( N = nq \). As input, we are to be given an arbitrary ordered \( n \)-sequence \( x_1, x_2, \ldots, x_n \), where \( 1 \leq x_i \leq N \) for all \( i \). We are to be presented with this sequence one entry at a time. As each entry is received, it must be placed into one of the positions \( 1, 2, \ldots, n \), where it must remain. A natural way to do this, in an attempt to sort the input sequence, is as follows. For any integer \( x \in \{1, \ldots, N\} \), we let \( s(x) \) denote the unique integer \( s \) for which \( (s-1)q + 1 \leq x \leq sq \). When we receive the entry \( x_i \), we consider those positions still unoccupied after having placed the previous \( i-1 \) entries, and we place \( x_i \) into the one which is closest to \( s(x_i) \). In the event of a tie for closest, we choose the higher of the two positions. We refer to this procedure as the \({placement\; algorithm}\). Regarding this algorithm, we consider the following question: for how many input sequences will the last two positions filled be positions \( 1 \) and \( n \)? We show that this number is \( (n-1)^{n-3}n^2q^n \).

Ben P. C. Li1, M. Toulouse2
1Department of Computer Science University of Manitoba Winnipeg, Manitoba Canada R3T 2N2
2 CIRRELT Université de Montréal Montréal, Québec Canada H38T 1J4
Abstract:

The complexity of the maximum leaf spanning tree problem for grid graphs is currently unknown. We determine the maximum number of leaves in a grid graph with up to \(4\) rows and with \(6\) rows. Furthermore, we give some constructions of spanning trees of grid graphs with a large number of leaves.

Giorgio Ragusa1
1Dipartimento di Matematica e Informatica Universita di Catania viale A. Doria, 6 95125 Catania, Italia
Abstract:

Let \((X, \mathcal{B})\) be a \(\lambda\)-fold \(G\)-decomposition of \(\lambda H\). Let \(G_i\), \(i=1,\ldots,\mu\), be all nonisomorphic proper subgraphs of \(G\) without isolated vertices. Put \(\mathcal{B}_i = \{B_i \mid B \in \mathcal{B}\}\), where \(B_i\) is a subgraph of \(B\) isomorphic to \(G_i\). A complete simultaneous metamorphosis of \((X, \mathcal{B})\) is a rearrangement, for each \(i = 1, \ldots, \mu\), of the edges of \(\bigcup_{B \in \mathcal{B}} (E(B) \setminus E(B_i))\) into a family \(\mathcal{F}_i\) of copies of \(G_i\) with a leave \(L_i\), such that \((X, \mathcal{B}_i \cup \mathcal{F}_i, L_i)\) is a maximum packing of \(\lambda H\) with copies of \(G_i\). In this paper, we give a complete answer to the existence problem of a \(\lambda\)-fold kite system having a complete simultaneous metamorphosis.

Norman J. Finizio1, Sunra J.N. Mosconit2
1University of Rhode Island, Kingston, RI.
2Politecnico, Milano, Italy.
Abstract:

Whist tournaments for \( v \) players, \( \mathrm{Wh}(v) \), are known to exist for all \( v \equiv 0, 1 \pmod{4} \). In this paper, a new specialization of whist tournament design, namely a \({balanced\; whist\; tournament}\), is introduced. We establish that balanced whist tournaments on \( v \) players, \( \mathrm{BWh}(v) \), exist for several infinite classes of \( v \). An adaptation of a classic construction due to R. C. Bose and J. M. Cameron enables us to establish that \( \mathrm{BWh}(4n + 1) \) exist whenever \( 4n + 1 \) is a prime or a prime power. It is also established that \( \mathrm{BWh}(4n) \) exist for \( 4n = 2^k \), with \( k \equiv 0 \pmod{2, 3 \text{ or } 5} \). We demonstrate that a \( \mathrm{BWh}(4n + 1) \) is equivalent to a conference matrix of order \( 4n + 2 \). Consequently, a necessary condition for the existence of a \( \mathrm{BWh}(4n + 1) \) is that \( 4n + 1 \) is a product of primes each of which is \( \equiv 1 \pmod{4} \). Thus, in particular, \( \mathrm{BWh}(21) \) and \( \mathrm{BWh}(33) \) do not exist. Specific examples of \( \mathrm{BWh}(v) \) are given for \( v = 4, 8, 9, 20, 24, 32 \). It is also shown that a \( \mathrm{BWh}(12) \) does not exist.

Keith Neu1
1Science and Mathematics Division, Angelina College, 3500 South First Street, Lufkin, TX 75904, USA
Abstract:

Let \(\alpha(G)\) represent the maximal size of any product-free subset of a finite abelian group \(G\). It is well known that \(\alpha(G) = \frac{|G|}{3}\left(1 + \frac{1}{p}\right)\) if \(|G|\) is divisible by a prime \(p \equiv 2 \pmod{3}\) and \(p\) is the smallest such prime, \(\alpha(G) = \frac{|G|}{3}\) if \(|G|\) is not divisible by a prime \(p \equiv 2 \pmod{3}\) but \(3\) divides \(|G|\), and \(\alpha(G) = \frac{|G|}{3}\left(1 – \frac{1}{m}\right)\) if \(|G|\) is divisible only by primes \(p \equiv 1 \pmod{3}\) and \(m\) is the exponent of \(|G|\). In this paper, we use only basic group theory and number theory to derive exact expressions for the number of different maximal product-free subsets of \(G\) in the first two cases. The formulas are given in terms of the sizes of the subgroups of \(G\).

Manju K. Menon1, A. Vijayakumar1
1Department of Mathematics Cochin University of Science and Technology Cochin-682022, Kerala, India.
Abstract:

The \( P_3 \) intersection graph \( P_3(G) \) of a graph \( G \) is the intersection graph of all induced \( 3 \)-paths in \( G \). In this paper, we prove that any \( P_3 \)-convergent graph is \( P_3^n(G) \)-complete for some \( n \geq 1 \). Additionally, we prove that there are no \( P_3 \)-fixed graphs. The touching number, periodicity, and connectivity of \( P_3(G) \) are also studied.

O. Ascigil1, Y. Diao2, C. Erns3, D. High4, U. Ziegler5
1Department of Computer Science University of Kentucky Lexington, KY 40506
2Department of Mathematics University of North Carolina at Charlotte, Charlotte, NC 28223,
3Department of Mathematics Western Kentucky University Bowling Green, KY 42101
4Department of Mathematics Western Kentucky University Bowling Green, KY 42101,
5Department of Computer Science Western Kentucky University Bowling Green, KY 42101
Abstract:

This paper describes the study of a special class of 4-regular plane graphs that are Hamiltonian. These graphs are of particular interest in knot theory. An algorithm is presented that randomly generates such graphs with \( n \) vertices with a fixed (and oriented) Hamiltonian cycle in \( O(n) \) time. An exact count of the number of such graphs with \( n \) vertices is obtained, and the asymptotic growth rate of this number is determined. Numerical evidence is provided to show that the algorithm can be modified to generate these graphs with a near uniform probability. This can be considered a first step in generating large random knots without bias.

M.J. Grannell1, M. Knor2
1Department of Mathematics and Statistics The Open University Walton Hall, Milton Keynes MK7 6AA UNITED KINGDOM
2Department of Mathematics, Faculty of Civil Engineering Slovak University of Technology Radlinského 11, 813 68 Bratislava SLOVAKIA
Abstract:

We enumerate nonisomorphic minimum genus orientable embeddings of the complete bipartite graph \( K_{m,n} \) for \( 2 \leq m, n \leq 7 \) except for \( (m, n) = (7, 7) \).

Sizhong Zhou1
1School of Mathematics and Physics Jiangsu University of Science and Technology Mengxi Road 2, Zhenjiang, Jiangsu 212003 People’s Republic of China
Abstract:

A complete coloring of a graph \( G \) is a proper vertex coloring of \( G \) with the property that for every two distinct colors \( i \) and \( j \) used in the coloring, there exist adjacent vertices of \( G \) colored \( i \) and \( j \). The maximum positive integer \( k \) for which \( G \) has a complete \( k \)-coloring is the achromatic number \( \psi(G) \) of \( G \).

A Grundy coloring of a graph \( G \) is a proper vertex coloring of \( G \) with the property that for every two colors (positive integers) \( i \) and \( j \) with \( i < j \), every vertex colored \( j \) has a neighbor colored \( i \). The maximum positive integer \( k \) for which a graph \( G \) has a Grundy \( k \)-coloring is the Grundy number \( \Gamma(G) \). Thus, \( 2 \leq \chi(G) \leq \Gamma(G) \leq \psi(G) \) for every nonempty graph \( G \). It is shown that if \( a, b, \) and \( c \) are integers with \( 2 \leq a \leq b \leq c \), then there exists a connected graph \( G \) with \( \chi(G) = a \), \( \Gamma(G) = b \), and \( \psi(G) = c \) if and only if \( a = b = c = 2 \) or \( b \geq 3 \).

E-mail Alert

Add your e-mail address to receive upcoming issues of Journal of Combinatorial Mathematics and Combinatorial Computing (JCMCC).

Special Issues

The Combinatorial Press Editorial Office routinely extends invitations to scholars for the guest editing of Special Issues, focusing on topics of interest to the scientific community. We actively encourage proposals from our readers and authors, directly submitted to us, encompassing subjects within their respective fields of expertise. The Editorial Team, in conjunction with the Editor-in-Chief, will supervise the appointment of Guest Editors and scrutinize Special Issue proposals to ensure content relevance and appropriateness for the journal. To propose a Special Issue, kindly complete all required information for submission;