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.

A.Y. M.Chin1
1 Institute of Mathematical Sciences Faculty of Science University of Malaya 50603 Kuala Lumpur Malaysia
Abstract:

Let \(G\) be a finite group written additively and \(S\) a non-empty subset of \(G\). We say that \(S\) is \(e-exhaustive\) if \(G = S + \cdots + S\) (\(e\) times). The minimal integer \(e > 0\), if it exists, such that \(S\) is \(e-exhaustive\), is called the exhaustion number of the set \(S\) and is denoted by \(e(S)\). In this paper, we completely determine the exhaustion numbers of subsets of Abelian groups which are in arithmetic progression. The exhaustion numbers of various subsets of Abelian groups which are not in arithmetic progression are also determined.

Gabor N.Sarkozy1, Stanley Selkow1
1Computer Science Department Worcester Polytechnic Institute Worcester, MA 01609
Abstract:

Given graphs \(G\) and \(H\), an edge coloring of \(G\) is called an \((H,q)\)-coloring if the edges of every copy of \(H \subset G\) together receive at least \(q\) colors. Let \(r(G,H,q)\) denote the minimum number of colors in a \((H,q)\)-coloring of \(G\). In [6] Erdős and Gyárfás studied \(r(K_n,K_p,q)\) if \(p\) and \(q\) are fixed and \(n\) tends to infinity. They determined for every fixed \(p\) the smallest \(q\) for which \(r(K_n,K_p,q)\) is linear in \(n\) and the smallest \(q\) for which \(r(K_n,K_p,q)\) is quadratic in \(n\). In [9] we studied what happens between the linear and quadratic orders of magnitude. In [2] Axenovich, Füredi, and Mubayi generalized some of the results of [6] to \(r(K_{n,n},K_{p,p},q)\). In this paper, we adapt our results from [9] to the bipartite case, namely we study \(r(K_{n,n},K_p,p,q)\) between the linear and quadratic orders of magnitude. In particular, we show that we can have at most \(\log p + 1\) values of \(q\) which give a linear \(r(K_{n,n},K_{p,p},q)\).

Iwona Wloch1
1Department of Mathematics Technical University of Rzeszdw ul. W. Pola 2, 35-959 Rzeszdw, Poland
Abstract:

In this paper, we define the concept of generalized Fibonacci polynomial of a graph \(G\) which gives the total number of all \(k\)-stable sets in generalized lexicographical products of graphs. This concept generalizes the Fibonacci polynomial of a graph introduced by G. Hopkins and W. Staton in [3].

Titus Hilberdink1, Carol Whitehead2, Norma Zagaglia Salvi3
1Reading University, Whiteknights, PO Box 217, Reading Berkshire RG6 2AH, U.K.
2Goldsmiths College, London SE14 6NW, U.K.
3Politecnico di Milano, P.za L. da Vinci 32, 20133 Milano, Italy
Abstract:

A Fibonacci string of order \(n\) is a binary string of length \(n\) with no two consecutive ones. The Fibonacci cube \(\Gamma_n\) is the subgraph of the hypercube \(Q_n\) induced by the set of Fibonacci strings of order \(n\). For positive integers \(i, n\), with \(n \geq i\), the \(i\)th extended Fibonacci cube is the vertex-induced subgraph of \(Q_n\) for which \(V(\Gamma_{i}^{n}) = V_i\) is defined recursively by

\[V_{n+2}^{i} = 0 V_{n+1}^{i} + 10V_n^{i},\]

with initial conditions \(V_i^i = B_i, V_{i+1}^{i} = B_{i+1}\), where \(B_k\) denotes the set of binary strings of length \(k\). In this study, we answer in the affirmative a conjecture of Wu [10] that the sequences \(\{|V_n^i|\}_{i={1+2}}^\infty\) are pairwise disjoint for all \(i \geq 0\), where \(V_n^0 = V(\Gamma_n)\).

Marilyn Breen1
1University of Oklahoma Norman, OK 73019-0315 US.A.
Abstract:

Let \(S\) be a simple polygon in the plane whose vertices may be partitioned into sets \(A’, B’\), such that for every two points of \(A’\) (of \(B’\)), the corresponding segment is in \(S\). Then \(S\) is a union of \(6\) (or possibly fewer) convex sets. The number \(6\) is best possible. Moreover, the simple connectedness requirement for set \(S\) cannot be removed.

Nick C.Fiala1
1Department of Mathematics The Ohio State University Columbus, OH 43210
Abstract:

An \(\lambda\)-design on \(v\) points is a set of \(v\) distinct subsets (blocks) of a \(v\)-element set (points) such that any two different blocks meet in exactly \(\lambda\) points and not all of the blocks have the same size. Ryser’s and Woodall’s \(\lambda\)-design conjecture states that all \(\lambda\)-designs can be obtained from symmetric designs by a certain complementation procedure. The main result of the present paper is that the \(\lambda\)-design conjecture is true when \(v = 8p + 1\), where \(p \equiv 1\) or \(7\) (mod \(8\)) is a prime number.

Varaporn Saenpholphat1, Ping Zhang1
1Department of Mathematics Western Michigan University Kalamozoo, MI 48008, USA
Abstract:

For an ordered set \(W = \{w_1, w_2, \ldots, w_e\}\) of vertices and a vertex \(v\) in a connected graph \(G\), the representation of \(v\) with respect to \(W\) is the \(e\)-vector \(r(v|W) = (d(v, w_1), d(v, w_2), \ldots, d(v, w_k))\), where \(d(x, y)\) represents the distance between the vertices \(x\) and \(y\). The set \(W\) is a resolving set for \(G\) if distinct vertices of \(G\) have distinct representations with respect to \(W\). A resolving set for \(G\) containing a minimum number of vertices is a basis for \(G\). The dimension \(\dim(G)\) is the number of vertices in a basis for \(G\). A resolving set \(W\) of \(G\) is connected if the subgraph \(\langle W \rangle\) induced by \(W\) is a connected subgraph of \(G\). The minimum cardinality of a connected resolving set in a graph \(G\) is its connected resolving number \(cr(G)\). The relationship between bases and minimum connected resolving sets in a graph is studied. A connected resolving set \(W\) of \(G\) is a minimal connected resolving set if no proper subset of \(W\) is a connected resolving set. The maximum cardinality of a minimal connected resolving set is the upper connected resolving number \(cr^+(G)\). The upper connected resolving numbers of some well-known graphs are determined. We present a characterization of nontrivial connected graphs of order \(n\) with upper connected resolving number \(n-1\). It is shown that for a pair \(a,b\) of integers with \(1 \leq a \leq b\) there exists a connected graph \(G\) with \(cr(G) = a\) and \(cr^+(G) = b\) if and only if \((a,b) \neq (1,4)\) for all \(i > 2\).

Hui Kheng Aw1, Yeow Meng Chee2, Alan C. H. Ling3
1 Kimberly-Clark Corporation 2100 Winchester Road Neenah, Wisconsin 54956 USA
212 Jambol Place Singapore 119339
3Department of Computer Science University of Vermont Burlington, Vermont 05405 USA
Abstract:

We give six improved bounds on \(A(n,d,w)\), the maximum cardinality of a binary code of length \(n\) with minimum distance \(d\) and constant weight \(w\).

Maged Z. Youssef1
1Department of Mathematics, Faculty of Science Ain Shams University, Abbassia, Cairo, Egypt.
Abstract:

In this paper, we show that if \(G\) is an “\(\alpha\)-labeled” graph and if \(H\) is a “pseudograceful” graph, then \(G \cup H\) can be graceful or “pseudograceful” under some conditions on the \(\alpha\)-labeling function of \(G\). This generalizes Theorem 2.1 of [21]. We also show that if \(G\) is a Skolem-graceful, then \(G + \overline{K_n}\) is graceful for all \(n \geq 1\). We also give a partial answer to the question in [1] about the gracefulness of \(\overline{K_n} + mK_2\) for \(m \geq 3\). Finally, we complete the characterization of graceful graphs in the family \(C_m \cup S_n\).

S. Amghibech1
1UPRES-A CNRS 60 85 Universiré pe RoveN. UFR hes xcteacns Lato re arin, Tek Mont SAINT AIGNAN FRANCE
Abstract:

We study the discrete version of the \(p\)-Laplacian operator — \(\textrm{div}(|\nabla u|^{p-2}\nabla u)\) — and we give some estimates of its smallest positive eigenvalue. In earlier papers, eigenvalues of the discrete Laplacian have been considered. We shall here study more general means. We shall also, in particular, study the case when the graph is complete. We give an estimate of the smallest positive eigenvalue of the \(p\)-Laplacian when the graph is a subgraph of \(\mathbb{Z}^n\) in this context. We give all eigenvalues of the \(p\)-Laplacian when the graph is complete.