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.

Penghao Cao1, Liping Yuan2
1College of Mathematics and Information Science, Hebei Normal University, 050016 Shijiazhuang, China.
2Mathematics Research Center of Hebei Province, 050016 Shijiazhuang, China.
Abstract:

Let an \(H\)-point be a vertex of a tiling of \(\mathbb{R}^2\) by regular hexagons of side length 1, and \(D(n)\) a circle of radius \(n\) (\(n \in \mathbb{Z}^+\)) centered at an \(H\)-point. In this paper, we present an algorithm to calculate the number, \(\mathcal{N}_H(D(n))\), of H-points that lie inside or on the boundary of \(D(n)\). Furthermore, we show that the ratio \(\mathcal{N}_H(D(n))/n^2\) tends to \(\frac{2\pi}{S}\) as \(n\) tends to \(\infty\), where \(S = \frac{3\sqrt{3}}{2}\) is the area of the regular hexagonal tiles.

Cao Jian Xiang1, Yuan Xudong2, Moo Young Sohn3
1School of Animation, Communication University of China 100024, Beijing, P.R.China
2Mathematics, Guangxi Normal University 541004, Guilin, P.R.China
3Applied Mathematics, Changwon National University 641-773, Changwon, Korea
Abstract:

Let \(G\) be a finite, simple graph. We denote by \(\gamma(G)\) the domination number of \(G\). The bondage number of \(G\), denoted by \(b(G)\), is the minimum number of edges of \(G\) whose removal increases the domination number of \(G\). \(C_n\) denotes the cycle of \(n\) vertices. For \(n \geq 5\) and \(n \neq 5k + 3\), the domination number of \(C_5 \times C_n\) was determined in [6]. In this paper, we calculate the domination number of \(C_5 \times C_n\) for \(n = 5k + 3\) (\(k \geq 1\)), and also study the bondage number of this graph, where \(C_5 \times C_n\) is the cartesian product of \(C_5\) and \(C_n\).

Yingying Chen1, Jixiang Meng1, Yingzhi Tian1
1College of Mathematics and System Sciences, Xinjiang University Urumai, Xinjiang, 830046, P.R.China
Abstract:

A vertex cut that separates the connected graph into components such that every vertex in these components has at least \(g\) neighbors is an \(R^g\)-vertex-cut. \(R^g\)-vertex-connectivity, denoted by \(\kappa^g(G)\), is the cardinality of a minimum \(R^g\)-vertex-cut of \(G\). In this paper, we will determine \(\kappa^g\) and characterize the \(R^g\)-vertex-atom-part for the first and second type Harary graphs.

Dengxin Li1, Shengyu Li2
1Faculty of Science, Chongqing Technology and Business University, Chongqing 400047, P.R. China
2Faculty of Computer and Information Engineering Chongqing Technology and Business University, Chongaing 400047, P.R. China
Abstract:

A graph \(G\) is supereulerian if \(G\) has a spanning eulerian subgraph. We use \(\mathcal{SL}\) to denote the families of supereulerian graphs. In 1995, Zhi-Hong Chen and Hong-Jian Lai presented the following open problem [2, problem 8.8]: Determine

\[L=\min\max\limits_{G\in SL-\{K_1\}}\{\frac{|E(H)|}{|E(G)|} : H \text{ is spanning eulerian subgroup of G}\}.\]

For a graph \(G\), \(O(G)\) denotes the set of all odd-degree vertices of \(G\). Let \(G\) be a simple graph and \(|O(G)| = 2k\). In this note, we show that if \(G\in{SL}\) and \(k \leq 2\), then \(L \geq \frac{2}{3}\).

Mitsunori Imaoka1, Isao Takata2, Yu Fujiwara3
1DEPARTMENT OF MATHEMATICS EDUCATION, GRADUATE SCHOOL OF EDUCATION, Hi- ROSHIMA UNIVERSITY, 1-1-1 KAGAMIYAMA HIGASHI-HIROSHIMA 739-8524, JAPAN
2DEPARTMENT OF ARTS AND SCIENCE, AKASHI.NATIONAL COLLEGE OF TECHNOLOGY, 679-3 NISHIOKA, UOZUMI, AKASHI 674-8501, JAPAN
3GRADUATE SCHOOL OF EDUCATION, HIROSHIMA UNIVERSITY, 1-1-1 KAGAMIYAMA HIGASHI- HIROSHIMA 739-8524, JAPAN
Abstract:

It is known that the number of Dyck paths is given by a Catalan number. Dyck paths are represented as plane lattice paths which start at the origin \(O\) and end at the point \(P_n = (n,n)\) repeating \((1,0)\) or \((0,1)\) steps without going above the diagonal line \(OP_n\). Therefore, it is reasonable to ask of any positive integers \(a\) and \(b\) what number of lattice paths start at \(O\) and end at point \(A = (a, b)\) repeating the same steps without going above the diagonal line \(OA\). In this article, we show a formula to represent the number of such generalized Dyck paths.

Sin-Min Lee1, Ho Kuen Ng2
1Department of Computer Science San Jose State University San Jose, CA 95192, USA
2Department of Mathematics San Jose State University San Jose, CA 95192, USA
Abstract:

Let \(G\) be a graph with vertex set \(V(G)\) and edge set \(E(G)\), and let \(A\) be an abelian group. A labeling \(f : V(G) \to A\) induces an edge labeling \(f^* : E(G) \to A\) defined by \(f^*(xy) = f(x) + f(y)\), for each edge \(xy \in E(G)\). For \(i \in A\), let \(v_f(i) = \mathrm{card}\{v \in V(G) : f(v) = i\}\) and \(e_f(i) = \mathrm{card}\{e \in E(G) : f^*(e) = i\}\). Let \(c(f) = \{|e_f(i) – e_f(j)|: (i, j) \in A \times A\}\). A labeling \(f\) of a graph \(G\) is said to be \(A\)-friendly if \(|v_f(i)- v_f(j)| \leq 1\) for all \((i, j) \in A \times A\). If \(c(f)\) is a \((0, 1)\)-matrix for an \(A\)-friendly labeling \(f\), then \(f\) is said to be \(A\)-cordial. When \(A = \mathbb{Z}_2\), the friendly index set of the graph \(G\), \(FI(G)\), is defined as \(\{|e_f(0) – e_f(1)| : \text{the vertex labeling } f \text{ is } \mathbb{Z}_2\text{-friendly}\}\). In [13] the friendly index set of cycles are completely determined. In this paper we describe the friendly index sets of cycles with parallel chords. We show that for a cycle with an arbitrary non-empty set of parallel chords, the numbers in its friendly index set form an arithmetic progression with common difference 2.

Garry Johns1, Steven J.Winters2, Amy Hlavacek1
1Saginaw Valley State University
2University of Wisconsin-Oshkosh
Abstract:

The eccentricity \(e(v)\) of a vertex \(v\) in a connected graph \(G\) is the distance between \(v\) and a vertex furthest from \(v\). The center \(C(G)\) is the subgraph induced by those vertices whose eccentricity is the radius of \(G\), denoted \(\mathrm{rad}G\), and the periphery \(P(G)\) is the subgraph induced by those vertices with eccentricity equal to the diameter of \(G\), denoted \(\mathrm{diam}G\). The annulus \(\mathrm{Ann}(G)\) is the subgraph induced by those vertices with eccentricities strictly between the radius and diameter of \(G\). In a graph \(G\) where \(\mathrm{rad}G < \mathrm{diam}G\), the interior of \(G\) is the subgraph \(\mathrm{Int}(G)\) induced by the vertices \(v\) with \(e(v) < \mathrm{diam}G\). Otherwise, if \(\mathrm{rad}G = \mathrm{diam}G\), then \(\mathrm{Int}(G) = G\). Another subgraph for a connected graph \(G\) with \(\mathrm{rad}G < \mathrm{diam}G\), called the exterior of \(G\), is defined as the subgraph \(\mathrm{Ext}(G)\) induced by the vertices \(v\) with \(\mathrm{rad}G < e(v)\). As with the interior, if \(\mathrm{rad}G = \mathrm{diam}G\), then \(\mathrm{Ext}(G) = G\). In this paper, the annulus, interior, and exterior subgraphs in trees are characterized.

Margaret A.Francel1, David J.John2
1Mathematics and Computer Science The Citadel Charleston, SC 29409
2Computer Science Wake Forest University Winston-Salem, NC 27109
Abstract:

This paper investigates the dihedral group as the array stabilizer of an augmented \(k\)-set of mutually orthogonal Latin squares. Necessary conditions for the stabilizer to be a dihedral group are established. A set of two-variable identities essential for a dihedral group to be contained in an array stabilizer are determined. Infinite classes of models that satisfy the identities are constructed.

Haihui Zhang1
1School of Mathematical Science, Huaiyin Normal University, 111 Changjieng West Road, Huaian, Jiangsu, 223300, China
Abstract:

A proper vertex coloring of a graph \(G = (V, E)\) is acyclic if \(G\) contains no bicolored cycle. A graph \(G\) is acyclically \(L\)-list colorable if for a given list assignment \(L = \{L(v) : v \in V\}\), there exists a proper acyclic coloring \(\phi\) of \(G\) such that \(\phi(v) \in L(v)\) for all \(v \in V(G)\). If \(G\) is acyclically \(L\)-list colorable for any list assignment with \(|L(v)| = k\) for all \(v \in V\), then \(G\) is acyclically \(k\)-choosable. In this paper, it is proved that every toroidal graph without 4- and 6-cycles is acyclically \(5\)-choosable.

Omur Deveci1, Erdal Karaduman2, Colin M.Campbell3
1Department of Mathematics, Faculty of Science and Letters, Kafkas University, 36100 Kars, TURKEY
2Department of Mathematics, Faculty of Science, Atatiirk University , 25240 Erzurum, TURKEY
3School of Mathematics and Statistics, University of St Andrews, North Haugh, St Andrews, Fife, KY16 98S, Scotland
Abstract:

The centro-polyhedral group \(\langle l,m,n\rangle\), for \(l, m, n \in \mathbb{Z}\), is defined by the presentation
\[\langle x, y, z : x^l = y^m = z^n = xyz \rangle.\]
In this paper, we obtain the periods of \(k\)-nacci sequences in centro-polyhedral groups and related groups.