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.

Hui-Chuan Lu1, Dung-Ming Lee1
1National United University Miaoli, Taiwan, R.O.C
Abstract:

In this paper, three methods for constructing larger harmonious graphs from one or a set of harmonious graphs are provided.

(Ben) Pak Ching Li1, Michel Toulouse1
1Department of Computer Science University of Manitoba Winnipeg, Manitoba R3T 2N2, Canada
Abstract:

The complexity of determining if a Steiner triple system on \(v = 6n + 3\) points contains a parallel class is currently unknown. In this paper, we show that the problem of determining if a partial Steiner triple system on \(v = 6n + 3\) points contains a parallel class is NP-complete. We also consider the problem of determining the chromatic index of a partial Steiner triple system and show that this problem is NP-hard.

R.S. Manikandan1, P. Paulraja1
1Department of Mathematics Annamalai University Annamalainagar 608 002 India
Abstract:

In this paper, it has been proved that \(K_{r,r} \times K_{m}\), \(m \geq 3\), is hamiltonian decomposable.

Wen-Chung Huang1, Fu-Chang Ke1
1Department of Mathematics Soochow University, Taipei, Taiwan, Republic of China.
Abstract:

A twofold extended triple system with two idempotent elements, \(TETS(v)\), is a pair \((V, B)\), where \(V\) is a \(v\)-set and \(B\) is a collection of triples, called blocks, of type \(\{x,y,z\}\), \(\{x,x,y\}\) or \(\{x,x,x\}\) such that every pair of elements of \(V\), not necessarily distinct, belongs to exactly two triples and there are only two triples of the type \(\{x, x, x\}\).
This paper shows that an indecomposable \(TETS(v)\) exists which contains exactly \(k\) pairs of repeated blocks if and only if \(v \not\equiv 0 \mod 3\), \(v \geq 5\) and \(0 \leq k \leq b_v – 2\), where \(b_v = \frac{(v + 2)(v + 1)}{6}\).

Teresa W.Haynes1, Michael A.Henning2
1Department of Mathematics East Tennessee State University Johnson City, TN 37614-0002 USA
2School of Mathematics, Statistics, & Information Technology University of KwaZulu-Natal Pietermaritzburg, 3209 South Africa
Abstract:

For a subset of vertices \(S\) in a graph \(G\), if \(v \in S\) and \(w \in V-S\), then the vertex \(w\) is an \(external\; private\; neighbor\; of \;v\) (with respect to \(S\)) if the only neighbor of \(w\) in \(S\) is \(v\). A dominating set \(S\) is a private dominating set if each \(v \in S\) has an external private neighbor. Bollébas and Cockayne (Graph theoretic parameters concerning domination, independence and irredundance. J. Graph Theory \(3 (1979) 241-250)\) showed that every graph without isolated vertices has a minimum dominating set which is also a private dominating set. We define a graph \(G\) to be a \(private\; domination\; graph\) if every minimum dominating set of \(G\) is a private dominating set. We give a constructive characterization of private domination trees.

Dominic Lanphier1, Christopher Miller2, Jason Rosenhouse3, Amber Russell4
1 DEPT. OF MATHEMATICS, WESTERN KENTUCKY UNIV., BOWLING GREEN, KY 42101, USA,
2DEPT. OF MATHEMATICS, FAIRFIELD UNIVERSITY, FAIRFIELD, CT 06824, USA
3DEPT. OF MATH. AND STAT., JAMES MADISON UNIV., HARRISON- BURG, VA 22801, USA,
4DEPT. OF MATH. AND STAT., MISSISSIPPI STATE UNIV., MISS. ST, MS 39762, USA
Abstract:

The Levi graph of a balanced incomplete block design is the bipartite graph whose vertices are the points and blocks of the design, with each block adjacent to those points it contains. We derive upper and lower bounds on the isoperimetric numbers of such graphs, with particular attention to the special cases of finite projective planes and Hadamard designs.

Ryan R.Martin1
1Department of Mathematics, lowa State University, Ames, IA 50011. The author partially supported by the Clay Mathematics Institute.
Abstract:

This note proves that, given one member, \(T\), of a particular family of radius-three trees, every radius-two, triangle-free graph, \(G\), with large enough chromatic number contains an induced copy of \(T\).

Zhou Bo1, Liu Bolian1
1Department of Mathematics South China Normal University Guangzhou 510631, China
Abstract:

Let \(k(D)\) be the index of convergence of a digraph \(D\) of order \(n \geq 8\). It is proved that if \(D\) is not strong with only minimally strong components and the greatest common divisor of the cycle lengths of \(D\) is at least two, then

\[k(D) \leq \begin{cases}
\frac{1}{2}(n^2 – 8n + 24) & \text{if } n \text{ is even}, \\
\frac{1}{2}(n^2 – 10n + 35) & \text{if } n \text{ is odd}.
\end{cases}\]

The cases of equality are also characterized.

Yang Yuansheng1, Xu Xirong1, Xi Yue1, Li Huijun1, Khandoker Mohammed Mominul Haque2
1Department of Computer Science Dalian University of Technology Dalian, 116024, P. R. China
2Department of Computer Science and Engineering Shahjalal University of Science and Technology Sylhet-3114 , Bangladesh
Abstract:

Let \(C_n\) denote the cycle with \(n\) vertices, and \(C_n^{(t)}\) denote the graphs consisting of \(t\) copies of \(C_n\), with a vertex in common. Koh et al. conjectured that the graphs \(C_n^{(t)}\) are graceful if and only if \(nt \equiv 0, 3 \pmod{4}\). The conjecture has been shown true for \(n = 3, 5, 6, 4k\). In this paper, the conjecture is shown to be true for \(n = 7\).

G. Viswanath1, B.Sundar Rajan2
1Blectrical Communication Engineering Department, Indian Institute of Sci- ence, Bangalore, India 560 012.
2Blectrical Communication Engineering Department, Indian Institute of Sci- ence, Bangalore, India 560 012.
Abstract:

It is well known that a linear code over a finite field with the systematic generator matrix \([I | P]\) is MDS (Maximum Distance Separable) if and only if every square submatrix of \(P\) is nonsingular. In this correspondence, we obtain a similar characterization for the class of Near-MDS codes in terms of the submatrices of \(P\).