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.

Murat Sahin1
1Ankara University Faculty of Science Department of Mathematics Tan-Dogan TR-06100 Ankara, Turkey
Abstract:

Let \(a_0, a_1, \ldots, a_{r-1}\) be positive integers and define a conditional sequence \(\{q_n\}\), with initial conditions \(q_0 = 0\) and \(q_1 = 1\), and for all \(n \geq 2\), \(q_n = a_1q_{n-1} + q_{n-2}\) where \(n \equiv t \pmod{r}\). For \(r = 2\), the author studied it in \([1]\). For general \(\{q_n\}\), we found a closed form of the generating function for \(\{q_n\}\) in terms of the continuant in \([2]\). In this paper, we give the matrix representation and a Binet-like formula for the conditional sequence \(\{q_n\}\) by using the matrix methods.

F. Larrion1, M.A. Pizana2, R. Villarroel-Flores3
1 Instituto de MatemAticas. Universidad Nacional Aut6noma de México. México, D.F. C.P. 04510.
2Depto. de Ingenieria Eléctrica. Universidad Auténoma Metropolitana, Av. San Rafael Atlixco 186, Col Vicentina, México 09340 D.F. MEXICO.
3Centro de Investigaci6n en Matematicas, Universidad Auténoma del Estado de Hidalgo, Carr. Pachuca-Tulancingo km. 4.5, Pachuca Hgo. 42184, MEXICO.
Abstract:

A locally \(nK_2\) graph \(G\) is a graph such that the set of neighbors of any vertex of \(G\) induces a subgraph isomorphic to \(nK_2\). We show that a locally \(nK_2\) graph \(G\) must have at least \(6n – 3\) vertices, and that a locally \(nK_2\) graph with \(6n – 3\) vertices exists if and only if \(n \in \{1, 2, 3, 5\}\), and in these cases the graph is unique up to isomorphism. The case \(n = 5\) is surprisingly connected to a classic theorem of algebraic geometry: The only locally \(5K_2\) graph on \(6 \times 5 – 3 = 27\) vertices is the incidence graph of the 27 straight lines on any nonsingular complex projective cubic surface.

H.W. Gould1, Jocelyn Quaintance1
1 West Virginia University
Andrea Vietri1
1 Sapienza Universita di Roma
Abstract:

Every graph can be associated to a cheracteristic exponential equation involving powers of (say) \(2\), whose unknowns represent ver-
tex labels and whose general solution is equivalent to a graceful labelling of the graph. If we do not require that the solutions be
integers, we obtain a generalisation of a graceful labelling that uses real numbers as labels. Some graphs that are well known to be non-graceful become graceful in this more general context. Among other things, “real-graceful” labellings provide some information on the Tigidity to be non-graceful, also asymptotically.

Xiangyang Lv1
1School of Economics and Management Jiangsu University of Science and Technology Mengxi Road 2, Zhenjiang, Jiangsu 212003 People’s Republic of China
Abstract:

Let \(G\) be a graph of order \(n\), and let \(a, b, k\) be nonnegative integers with \(1 \leq a \leq b\). A spanning subgraph \(F\) of \(G\) is called an \([a, b]\)-factor if \(a \leq d_F(x) \leq b\) for each \(x \in V(G)\). Then a graph \(G\) is called an \((a, b, k)\)-critical graph if \(G – N\) has an \([a, b]\)-factor for each \(N \subseteq V(G)\) with \(|N| = k\). In this paper, it is proved that \(G\) is an \((a, b, k)\)-critical graph if \(n \geq \frac{(a+b-1)(a+b-2)}{b} +\frac{bk}{b-1}\), \(bind(G) \geq \frac{(a+b-1)(n-1)}{b(n-1-k)}\), and \(\delta(G) \neq \left\lfloor \frac{(a-1)n+a+b+bk-2}{a+b-1} \right\rfloor\).

Goksen Bacak-Turan1, Alpay Kirlangic2
1DEPARTMENT OF MatueMatics, YASAR UniversiTy, Izmir, TURKEY
2DEPARTMENT OF MATHEMATICS, EGE University, Izmir, TURKEY
Abstract:

The vulnerability shows the resistance of the network until communication breakdown after the disruption of certain stations or communication links. This study introduces a new vulnerability parameter, neighbor rupture degree. The neighbor rupture degree of a non-complete connected graph \(G\) is defined to be

\[Nr(G) = \max\{w(G/S) – |S| – c(G/S): S \subset V(G), w(G/S) \geq 1\}\]

where \(S\) is any vertex subversion strategy of \(G\), \(w(G/S)\) is the number of connected components in \(G/S\), and \(c(G/S)\) is the maximum order of the components of \(G/S\). In this paper, the neighbor rupture degree of some classes of graphs are obtained and the relations between neighbor rupture degree and other parameters are determined.

H. Karami1, Abdollah Khodkar2, S.M. Sheikholeslami3
1 Department of Mathematics Sharif University of Technology P.O. Box 11365-9415 Tehran, I.R. Iran
2 Department of Mathematics University of West Georgia Carrollton, GA 30118
3Department of Mathematics Azarbaijan University of Tarbiat Moallem Tabriz, I.R. Iran
Abstract:

A set \(S\) of vertices of a graph \(G = (V, E)\) without isolated vertices is a total dominating set if every vertex of \(V(G)\) is adjacent to some vertex in \(S\). The total domination number \(\gamma_t(G)\) is the minimum cardinality of a total dominating set of \(G\). The total domination subdivision number \(sd_{\gamma t}(G)\) is the minimum number of edges that must be subdivided (each edge in \(G\) can be subdivided at most once) in order to increase the total domination number. In this paper, we first prove that \(sd_{\gamma t}(G) \leq n – \delta + 2\) for every simple connected graph \(G\) of order \(n \geq 3\). We also classify all simple connected graphs \(G\) with \(sd_{\gamma t}(G) = n – \delta + 2, n – \delta + 1\), and \(n – \delta\).

M. Mansour1, M.A. Obaid1
1King AbdulAziz University, Faculty of Science, Mathematics Department, P, 0. Box 80203, Jeddah 21589 , Saudi Arabia.
Abstract:

In this paper, we obtain the following upper and lower bounds for \(q\)-factorial \([n]_q!\):

\[(q; q)_\infty (1 – q)^{-n} e^{f_q(n+1)} < [n]_q! < (q; q)_\infty (1 – q)^{-n} e^{g_q(n+1)},\] where \(n \geq 1\), \(0 < q < 1\), and the two sequences \(f_q(n)\) and \(g_q(n)\) tend to zero through positive values. Also, we present two examples of the two sequences \(f_q(n)\) and \(g_q(n)\).

H. Karami1, Abdollah Khodkar2, S.M. Sheikholeslami3
1Department of Mathematics Sharif University of Technology P.O. Box 11365-9415 Tehran, I.R. Iran
2Department of Mathematics University of West Georgia Carrollton, GA 30118
3 Department of Mathematics Azarbaijan University of Tarbiat Moallem Tabriz, I.R. Iran
Abstract:

A set \(S\) of vertices of a graph \(G = (V, E)\) without isolated vertices is a total dominating set if every vertex of \(V(G)\) is adjacent to some vertex in \(S\). The total domination number \(\gamma_t(G)\) is the minimum cardinality of a total dominating set of \(G\). The total domination subdivision number \(sd_{\gamma t}(G)\) is the minimum number of edges that must be subdivided (each edge in \(G\) can be subdivided at most once) in order to increase the total domination number. In this paper, we first prove that \(sd_{\gamma t}(G) \leq n – \delta + 2\) for every simple connected graph \(G\) of order \(n \geq 3\). We also classify all simple connected graphs \(G\) with \(sd_{\gamma t}(G) = n – \delta + 2, n – \delta + 1\), and \(n – \delta\).

Hacéne Belbachir1, Farid Bencherif1
1USTHB, Department of Mathematics, P.B. 32 El Alia, 16111, Algiers, Algeria.
Abstract:

In this paper, we show that the sequences \(p(n, k) := 2^{n-2k} \binom{n-k}{k}\) and \(q(n,k) := 2^{n-2k}\frac{n}{n-k}\binom{n-k}{k}\), \(k = 0, \ldots, \lfloor \frac{n}{2} \rfloor\), are strictly log-concave and then unimodal with at most two consecutive modes. We localize the modes and the integers where there is a plateau. We also give a combinatorial interpretation of \(p(n, k)\) and \(q(n, k)\). These sequences are associated respectively to the Pell numbers and the Pell-Lucas numbers, for which we give some trigonometric relations.