Ars Combinatoria

ISSN 0381-7032 (print), 2817-5204 (online)

Ars Combinatoria is the oldest Canadian journal of combinatorics, established in 1976, dedicated to advancing combinatorial mathematics through the publication of high-quality, peer-reviewed research papers. Over the decades, it has built a strong international reputation and continues to serve as a leading platform for significant contributions to the field.
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, Ars Combinatoria publishes four issues annually—in March, June, September, and December.
Scope: Publishes research in all areas of combinatorics, including graph theory, design theory, enumeration, algebraic combinatorics, combinatorial optimization and related fields.
Indexing & Abstracting:  Indexed in MathSciNet, Zentralblatt MATH, and EBSCO, ensuring wide visibility and scholarly reach.
Rapid Publication: Submissions are processed efficiently, with accepted papers published promptly in the next available issue.
Print & Online Editions: Issues are available in both print and online formats to serve a broad readership.

Kuey Chung Choi1, Sudhir Gupta2, Young Nam Son3
1Department of Computer Science and Statistics, Chosun University, Kwangju, Republic of Korea
2Division of Statistics, Northern Illinois University, DeKalb, IL 60115, U.S.A.
3The Research Institute of Statistics, Chosun University, Kwangju, Republic of Korea
Abstract:

Partially balanced diallel cross block designs with \(m\) associate classes are defined and two general methods of construction are presented. Two-associate class designs based upon group divisible, triangular, and extended group divisible association schemes obtained using the general methods are also given. Tables of designs for no more than \(24\) parental lines are provided.

Andrei Gagarin 1, William Kocay1
1Computer Science Department University of Manitoba Winnipeg, Manitoba, CANADA, R3T 2N2
Abstract:

Given a non-planar graph \(G\) with a subdivision of \(K_5\) as a subgraph, we can either transform the \(K_5\)-subdivision into a \(K_{3,3}\)-subdivision if it is possible, or else we obtain a partition of the vertices of \(G\backslash K_5\) into equivalence classes. As a result, we can reduce a projective planarity or toroidality algorithm to a small constant number of simple planarity checks [6] or to a \(K_{3,3}\)-subdivision in the graph \(G\). It significantly simplifies algorithms presented in [7], [10], and [12]. We then need to consider only the embeddings on the given surface of a \(K_{3,3}\)-subdivision, which are much less numerous than those of \(K_5\).

Ming-Guang Leu1, Cheng-Yih Lin1, Shih-Yung Weng1
1DEPARTMENT OF MATHEMATICS, NATIONAL CENTRAL UNIVERSITY, CHUNG-LI, TAIWAN 32054, REPUBLIC OF CHINA
Abstract:

Let \(M(d,n)\) denote the minimax number of group tests required for the identification of the \(d\) defectives in a set of \(n\) items. It was conjectured by Hu, Hwang, and Wang that \(M(d,n) = n-1\) for \(n \leq 3d\), a surprisingly difficult combinatorial problem with very little known. The best known result is \(M(d,n) = n-1\) for \(n \leq \frac{42}{16}d\) by Du and Hwang. In this note, we improve their result by proving \(M(d,n) = n – 1\) for \(d \geq 193\) and \(n \leq \frac{42}{16}d\).

Toru Araki1, Masayuki Kogure1, Yukio Shibata1
1Department of Computer Science, Gunma University, 1-5-1, Tenjin-cho, Kiryu, Gunma, 376-8515 Japan
Abstract:

In this paper, we investigate the divisibility of \(mn\) by \(am+bn+c\) for given \(a\), \(b\), and \(c\). We give the necessary and sufficient condition for the divisibility, that is, \(am + bn + c\) divides \(mn\). We then present the structure of the set of pairs \([m,n]\) that satisfies the divisibility. This structure is represented by a directed graph and we prove the necessary and sufficient condition for the graph to have a binary tree structure. In particular, for \(c = -1\), we show double binary tree structures on the set.

A. Cossidente1, V. Napolitano1
1DIPARTIMENTO DI MATEMATICA – UNIVERSITA DEGLI STUDI DELLA BASILICATA, VIA Nazario Sauro, 85 -I- 85100 POTENZA
Abstract:

Let \({PG}(n,q)\) be the projective \(n\)-space over the Galois field \({GF}(q)\). A \(k\)-cap in \({PG}(n,q)\) is a set of \(k\) points such that no three of them are collinear. A \(k\)-cap is said to be complete if it is maximal with respect to set-theoretic inclusion. In this paper, using classical algebraic varieties, such as Segre varieties and Veronese varieties, some new infinite classes of caps are constructed.

Catharine Baker1, Patrick Kergin1, Anthony Bonato2
1Dept. of Mathematics and CS Mount Allison University Sackville, NB Canada, E4L 1E6
2Dept. of Mathematics Wilfrid Laurier University Waterloo, ON Canada, N2L 305
Abstract:

We introduce Skolem arrays, which are two-dimensional analogues of Skolem sequences. Skolem arrays are ladders which admit a Skolem labelling in the sense of [2]. We prove that they exist exactly for those integers \(n = 0\) or \(1 \pmod{4}\). In addition, we provide an exponential lower bound for the number of distinct Skolem arrays of a given order. Computational results are presented which give an exact count of the number of Skolem arrays up to order \(16\).

Richard Hammack1
1DEPARTMENT of MATHEMATICS, RANDOLPH-MACON COLLEGE, P.O. Box 5005, ASHLAND, VA 23005, USA
Abstract:

The cyclicity of a graph is the largest integer \(n\) for which the graph is contractible to the cycle on \(n\) vertices. We prove that, for \(n\) greater than three, the problem of determining whether an arbitrary graph has cyclicity \(n\) is NP-hard. We conjecture that the case \(n = 3\) is decidable in polynomial time.

Charles F. Laywine1, Gary L.Mullen2
1MATHEMATICS DEPARTMENT Brock UNIVERSITY ST. CATHARINES, ONTARIO L2S 3A1 CANADA
2MATHEMATICS DEPARTMENT THE PENNSYLVANIA STATE UNIVERSITY UNIVERSITY PARK, PA 16802 U.S.A.
Abstract:

We provide a hierarchy, linearly ordered by inclusion, describing various complete sets of combinatorial objects starting with complete sets of mutually orthogonal Latin squares, generalizing to affine geometries and designs, frequency squares and hypercubes, and ending with \((t, m, s)\)-nets.

A. Gutiérrez1, A.S. Llado1
1Dept Matematica Aplicada i Telematica Universitat Politecnica de Catalunya Jordi Girona, 1 B-08034 Barcelona, Spain
Abstract:

In this paper we introduce the edge-residual number \(\rho(G)\) of a graph \(G\). We give tight upper bounds for \(\rho(G)\) in terms of the eigenvalues of the Laplacian matrix of the line graph of \(G\). In addition, we investigate the relation between this novel parameter and the line completion number for dense graphs. We also compute the line completion number of complete bipartite graphs \(K_{m,n}\) when either \(m = n\) or both \(m\) and \(n\) are even numbers. This partially solves an open problem of Bagga, Beinecke and Varma [2].

Spencer P.Hurd1, Dinesh G.Sarvate2
1Department of Mathematics and Computer Science The Citadel, Charleston, SC, 29409
2Department of Mathematics, University of Charleston, Charleston, SC, 29424
Abstract:

We reintroduce the problem of finding square \(\pm 1\)-matrices, denoted \(c\text{-} {H}(n)\), of order \(n\), whose rows have non-zero inner product \(c\). We obtain some necessary conditions for the existence of \(c\text{-} {H}(n)\) and provide a characterization in terms of SBIBD parameters. Several new \(c\text{-} {H}(n)\) constructions are given and new connections to Hadamard matrices and \(D\)-optimal designs are also explored.