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.

Tay-Woei Shyu1
1Department of Mathematics and Science National Taiwan Normal University Linkou, New Taipei City 24449, Taiwan, R.O.C.
Abstract:

Let \(P_{k+1}\) denote a path of length \(k\) and let \(C_k\) denote a cycle of length \(k\). A triangle is a cycle of length three. As usual, \(K_n\) denotes the complete graph on \(n\) vertices. It is shown that for all nonnegative integers \(p\) and \(q\) and for all positive integers \(n\), \(K_n\) can be decomposed into \(p\) copies of \(P_4\) and \(q\) copies of \(C_3\) if and only if \(3(p+q) = e(K_n)\), \(p \neq 1\) if \(n\) is odd, and \(p \geq \frac{n}{2}\) if \(n\) is even.

Ali Ahmad1, M.K. Siddiqui2, M.F. Nadeem2, M. Imran3
1College of computer and information system, Jazan University, Jazan, KSA.
2Abdus Salam School of Mathematical Sciences, GC University, 68-B, New Muslim Town, Lahore, Pakistan.
3Center for Advenced Mathematics and Physics (CAMP), National University of Sciences and Technology (NUST), H-12 Sector, Islamabad, Pakistan.
Abstract:

Motivated by Kotzig and Rosa’s concept of edge magic deficiency, Figueroa-Centeno, Ichishima, and Muntaner-Batle defined a similar concept for super edge magic total labelings. The super edge magic deficiency of a graph \(G\), which is denoted by \(\mu_s(G)\), is the minimum nonnegative integer \(n\) \(+\infty\) if there exists no such \(n\). In this paper, we study the super edge magic deficiency of kite graphs.

Hong Bian1, Xiaoling Ma2, Elkin Vumar2, Haizheng Yu2
1School of Mathematical Science, Xinjiang Normal University, Urumai, Xinjiang 830054, P.R.China
2 College of Mathematics and System Sciences Xinjiang University, Urumdi Xinjiang 830046, P.R.China
Abstract:

The corona of two graphs \(G\) and \(H\), written as \(G \odot H\), is the graph obtained by taking one copy of \(G\) and \(|V(G)|\) copies of \(H\), and then joining the \(i\)th vertex of \(G\) to every vertex in the \(i\)th copy of \(H\). In this paper, we present the explicit formulae for the Wiener, hyper-Wiener and reverse-Wiener indices of the corona of two graphs.

Dongdong Wang1, Hongbo Hua1
1Department of Computing Science & Institute of Applied Mathematics Huaiyin Institute of Technology Huaian, Jiangsu 223000, P. R. China
Abstract:

The energy of a graph \(G\), denoted by \(E(G)\), is defined to be the sum of absolute values of all eigenvalues of the adjacency matrix of \(G\). Let \(\mathcal{B}(p, q)\) denote the set of bipartite unicyclic graphs with a \((p, q)\)-bipartition, where \(q \geq p \geq 2\). Recently, Li and Zhou [MATCH Commun. Math. Comput. Chem. \(54 (2005) 379-388]\) conjectured that for \(q \geq 3\), \(E(B(3, q)) > E(H(3, q))\), where \(B(3, q)\) and \(H(3, q)\) are respectively graphs as shown in Fig. 1. In this note, we show that this conjecture is true for \(3 \leq q \leq 217\). As a byproduct, we determined the graph with minimal energy among all graphs in \(\mathcal{B}(3, q)\).

Tahsin Oner1
1Ece University, DEPARTMENT oF MaTHematics, 35100, izmimn, TURKEY,
Abstract:

In this work, infinite similarities of permutation groups are investigated by means of new methods. For this purpose, we handle distinct groups on the set of natural numbers and we give the separation of the subgroups of them. Afterwards, we give the matrix representation of this groups.

Jean-Luc Baril1, Hamamache Kheddouci2, Olivier Togni3
1LE2I, UMR 5158 CNRS, Université de Bourgogne, BP 47870, 21078 Dijon cedex, France
2LIESP, Université-Claude Bernard Lyon, 843, Bd. du 11 novembre 1918, 68622 Villeurbanne Cedex France,
3 LE2I, UMR 5158 CNRS, Université de Bourgogne, BP 47870, 21078 Dijon cedex, France
Abstract:

This paper studies edge- and total-colorings of graphs in which (all or only adjacent) vertices are distinguished by their sets of colors. We provide bounds for the minimum number of colors needed for such colorings for the Cartesian product of graphs along with exact results for generalized hypercubes. We also present general bounds for the direct, strong and lexicographic products.

Gang Chen1, Jian-Hua Yin2, Ze-Tu Gao2
1 Department of Math, Ningxia University, Yinchuan, Ningxia 750021, China.
2Department of Applied Math, College of Information Science and Technology, Hainan University, Haikou, Hainan 570228, China.
Abstract:

The pebbling number \(f(G)\) of a graph \(G\) is the smallest number \(k\) such that, however \(n\) pebbles are placed on the vertices of \(G\), we can move a pebble to any vertex by a sequence of moves, each move taking two pebbles off one vertex and placing one on an adjacent vertex. Graham conjectured that for any connected graphs \(G\) and \(H\), \(f(G \times H) \leq f(G)f(H)\), where \(G \times H\) represents the Cartesian product of \(G\) and \(H\). In this paper, we prove that \(f(G \times H) \leq f(G)f(H)\) when \(G\) has the two-pebbling property and \(H = K_{r,s}^{ – k}\), a graph obtained from the \(r \times s\) complete bipartite graph \(K_{r,s}\) by deleting \(k\) edges which form a matching. We also show that Graham’s conjecture holds for \(K_{r,s}^{-k_1} \times K_{m,n}^{-k_2}\).

Xiaoxia Lin1, Xiaofeng Guo 2
1School of Sciences, Jimei University, Xiamen Fujian 361021, China
2 School of Mathematical Sciences, Xiamen University, Xiamen Fu- jian 361005, China
Abstract:

The Hosoya polynomial of a graph \(G\) is defined as \(H(G,x) = \sum\limits_{k\geq 0} d(G,k)x^k,\)
where \(d(G, k)\) is the number of vertex pairs at distance \(k\) in \(G\). The calculation of Hosoya polynomials of molecular graphs is a significant topic because some important molecular topological indices such as Wiener index, hyper-Wiener index, and Wiener vector, can be obtained from Hosoya polynomials. Hosoya polynomials of zig-zag open-ended nanotubes have been given by Xu and Zheng et al. A capped zig-zag nanotube \(T(p, q)[C, D; a]\) consists of a zig-zag open-ended nanotube \(T(p, q)\) and two caps \(C\) and \(D\) with the relative position \(a\) between \(C\) and \(D\). In this paper, we give a general formula for calculating the Hosoya polynomial of any capped zig-zag nanotube. By the formula, the Hosoya polynomial of any capped zig-zag nanotube can be deduced. Furthermore, it is also shown that any two non-isomorphic capped zig-zag nanotubes \(T(p, q)[C, D; a_1]\), \(T(p, q’)[C, D; a_2]\) with \(q’ \geq q^* \geq p+1\) have the same Hosoya polynomial, where \(q^*\) is an integer that depends on the structures of \(C\) and \(D\).

Zhao Chengye1,2, Yang Yuansheng2, Sun Linlin2
1 College of Science, China Jiliang University Hangzhou , 310018, P. R. China
2 Department of Computer Science, Dalian University of Technology Dalian, 116024, P. R. China
Abstract:

Ewa Wojcicka (Journal of Graph Theory, \(14(1990), 205-215)\) showed that every connected, 3-color-critical graph on more than 6 vertices has a Hamiltonian path. Henning et al. (Discrete Mathematics, \(161(1996), 175-184)\) defined a graph \(G\) to be \(k\)-\((\gamma, d)\)-critical graph if \(\gamma(G) = k\) and \(\gamma(G + uv) = k – 1\) for each pair \(u, v\) of nonadjacent vertices of \(G\) that are at distance at most \(d\) apart. They asked if a 3-\((\gamma, 2)\)-critical graph must contain a dominating path. In this paper, we show that every connected, 3-\((\gamma, 2)\)-critical graph must contain a dominating path. Further, we show that every connected, 3-\((\gamma, 2)\)-critical graph on more than 6 vertices has a Hamiltonian path.

M. Ali1, M.T. Rahim1, G. Ali1, M. Farooq1
1Department of Mathematics, National University of computer and emerging sciences, Peshawar, Pakistan.
Abstract:

Let \(d(u,v)\) denote the distance between two distinct vertices of a connected graph \(G\) and \(diam(G)\) be the diameter of \(G\). A radio labeling \(f\) of \(G\) is an assignment of positive integers to the vertices of \(G\) satisfying \(d(u,v) + |f(u) – f(v)| \geq diam(G) + 1\). The maximum integer in the range of the labeling is its span. The radio number of \(G\), denoted by \(rn(G)\), is the minimum possible span. In \([7]\) M. Farooq et al. found the lower bound for the radio number of generalized gear graph. In this paper, we give an upper bound for the radio number of generalized gear graph, which coincides with the lower bound found in \([7]\).