Ars Combinatoria

ISSN 0381-7032 (print), 2817-5204 (online)

Ars Combinatoria is the oldest Canadian Journal of Combinatorics, established in 1976. The journal is dedicated to advancing the field of combinatorial mathematics through the publication of high-quality research papers. From 2024 onward, it publishes four volumes per year in March, June, September and December. Ars Combinatoria has gained recognition and visibility in the academic community and is indexed in renowned databases such as MathSciNet, Zentralblatt, and Scopus. The Scope of the journal includes Graph theory, Design theory, Extremal combinatorics, Enumeration, Algebraic combinatorics, Combinatorial optimization, Ramsey theory, Automorphism groups, Coding theory, Finite geometries, Chemical graph theory but not limited.

N.M. Singhi1, G.R. Vijayakumar1, N.Usha Devi2
1School of Mathematics Tata Institute of Fundamental Research Homi Bhabha Road, Colaba Mumbai 400005 India
2Mannar Thirumalai Naickar College Pasumalai Madurai 625004 Tamil Nadu India
Abstract:

A graph \(G\) without isolated vertices is said to be set-magic if its edges can be assigned distinct subsets of a set \(X\) such that for every vertex \(v\) of \(G\), the union of the subsets assigned to the edges incident with \(v\) is \(X\); such a set-assignment is called a set-magic labeling of \(G\). In this note, we study infinite set-magic graphs and characterize infinite graphs \(G\) having set-magic labelings \(f\) such that \(|f(e)| = 2\) for all \(e \in E(G)\).

Abstract:

A perfect \(\langle k,r \rangle\)-latin square \(A = (a_{i,j})\) of order \(n\) with \(m\) elements is an \(n \times n\) array in which each element occurs in each row and column, and the element \(a_{i,j}\) occurs either \(k\) times in row \(i\) and \(r\) times in column \(j\), or occurs \(r\) times in row \(i\) and \(k\) times in column \(j\). In 1989, Cai, Kruskal, Liu, and Shen studied the existence of perfect \(\langle k,r \rangle\)-latin squares. Here, a simpler construction of perfect \(\langle k,r \rangle\)-latin squares is given.

Yi-Chih Hsieh1
1Department of Industrial Management National Huwei Institute of Technology Huwei, Yunlin 63208, Taiwan
Abstract:

De Bruijn sequences had been well investigated in \(70s-80s\). In the past, most of the approaches used to generate de Bruijn sequences were based upon either finite field theory or combinatorial theory. This paper describes a simple approach for generating de Bruijn sequences as “seeds”, and then based upon the “seeds”, a simple procedure is presented to reproduce a class of de Bruijn sequences. Numerical results of the distribution of reproduced sequences are provided. Additionally, this paper also reports some recent applications of de Bruijn sequences in psychology and engineering.

Martin Sutton1, Anna Draganova2, Mirka Miller3
1School of Management University of Newcastle, NSW 2308, Australia
2Department of Mathematics Pomona College Claremont, California 91711, USA
3Department of Computer Science and Software Engineering University of Newcastle, NSW 2308, Australia
Abstract:

A graph \(G(V, E)\) is a mod sum graph if there is a labeling of the vertices with distinct positive integers so that an edge is present if and only if the sum of the labels of the vertices incident on the edge, modulo some positive integer, is the label of a vertex of the graph. It is known that wheels are not mod sum graphs. The mod sum number of a graph is the minimum number of isolates that, together with the given graph, form a mod sum graph. The mod sum number is known for just a few classes of graphs. In this paper we show that the mod sum number of the \(n\)-spoked wheel, \(\rho(W_n)\), \(n \geq 5\), is \(n\) when \(n\) is odd and \(2\) when \(n\) is even.

Yoomi Rho1
1Department of Mathematics Yonsei University Seoul, Korea 120-749
Abstract:

Kahn (see [3]) reported that N. Alon, M. Saks, and P. D. Seymour made the following conjecture. If the edge set of a graph \(G\) is the disjoint union of the edge sets of \(m\) complete bipartite graphs, then \(\chi(G) \leq m+1\). The purpose of this paper is to provide a proof of this conjecture for \(m \leq 4\) and \(m \geq n – 3\) where \(G\) has \(n\) vertices.

Gabor Basco1, Zsolt Tuza1
1 Computer and Automation Institute Hungarian Academy of Sciences H-1111 Budapest, Kende u. 13-17 Hungary
Abstract:

In a graph \(G = (V, E)\), a set \(S\) of vertices (as well as the subgraph induced by \(S\)) is said to be dominating if every vertex in \(V \setminus S\) has at least one neighbor in \(S\). For a given class \(\mathcal{D}\) of connected graphs, it is an interesting problem to characterize the class \({Dom}(\mathcal{D})\) of graphs \(G\) such that each connected induced subgraph of \(G\) contains a dominating subgraph belonging to \(\mathcal{D}\). Here we determine \({Dom}(\mathcal{D})\) for \(\mathcal{D} = \{P_1, P_2, P_5\}\), \(\mathcal{D} = \{K_t \mid t \geq 1\} \cup \{P_5\}\), and \(\mathcal{D} =\) {connected graphs on at most four vertices} (where \(P_t\) and \(K_t\) denote the path and the complete graph on \(t\) vertices, respectively). The third theorem solves a problem raised by Cozzens and Kelleher [\(Discr. Math.\) 86 (1990), 101-116]. It turns out that, in each case, a concise characterization in terms of forbidden induced subgraphs can be given.

Alan C.H.Ling1
1Department of Computer Science University of Vermont Burlington, VT U.S.A. 05405
Abstract:

We use the results on \(5\)-GDDs to obtain optimal packings with block size five and index one. In particular, we prove that if \(v \equiv 2, 6, 10 \pmod{20}\), there exists an optimal packing with block size five on \(v\) points with at most \(32\) possible exceptions. Furthermore, if \(v \equiv 14, 18 \pmod{20}\), there exists an optimal packing with block size five on \(v\) points with a finite (large) number of possible exceptions.

Jason I.Brown1, Carl A.Hickman1
1Department of Mathematics and Statistics Dalhousie University Halifax, Nova Scotia, Canada B3H 3J5
Abstract:

A chromatic root is a root of the chromatic polynomial of some graph \(G\). E. Farrell conjectured in \(1980\) that no chromatic root can lie in the left-half plane, and in \(1991\) Read and Royle showed by direct computation that the chromatic polynomials of some graphs do have a root there. These examples, though, yield only finitely many such chromatic roots. Subsequent results by Shrock and Tsang show the existence of chromatic roots of arbitrarily large negative real part. We show that theta graphs with equal path lengths of size at least \(8\) have chromatic roots with negative real part.

Marisa Gutierrez1, Joao Meidanis2
1Departamento de Matematica Universidad Nacional de La Plata C. C. 172, (1900) La Plata, Argentina
2 Instituto de Computacao Universidade Estadual de Campinas P.O.Box 6176, 13084-971 Campinas, Brazil
Abstract:

The clique operator \(K\) maps a graph \(G\) into its clique graph, which is the intersection graph of the (maximal) cliques of \(G\). Recognizing clique graphs is a problem known to be in NP, but no polynomial time algorithm or proof of NP-completeness is known. In this note we prove that this recognition problem can be reduced to the case of graphs of diameter at most two.

Candido F.Xavier de Mendonga Neto1, Karl Schaffer2, Erico F.Xavier3, Jorge Stolfi3, Luerbio Faria4, Celina M.H.de Figueiredo5
1Departamento de Informatica, UEM, Maringé, PR, Brazil.
2De Anza College, Cupertino, CA, USA.
3Instituto de Computacio, Unicamp, Campinas, SP, Brazil.
4Faculdade de Formacio de Professores, UERJ, Sao Gongalo, RJ, Brazil.
5Instituto de Matematica and COPPE Sistemas e Computagéo, UFRJ, Rio de Janeiro, RJ, Brazil.
Abstract:

The skewness of a graph \(G\) is the minimum number of edges that need to be deleted from \(G\) to produce a planar graph. The splitting number of a graph \(G\) is the minimum number of splitting steps needed to turn \(G\) into a planar graph; where each step replaces some of the edges \(\{u,v\}\) incident to a selected vertex \(u\) by edges \(\{u’,v\}\), where \(u’\) is a new vertex. We show that the splitting number of the toroidal grid graph \(C_n \times C_m\) is \(\min\{n,m\} – 2\delta_{n,3}\delta_{m,3} – \delta_{n,4}\delta_{m,3} – \delta_{n,3}\delta_{m,4}\) and its skewness is \(\min\{n, m\} – \delta_{n,3}\delta_{m,3 }- \delta_{n,4}\delta_{m,3} – \delta_{n,3}\delta_{m,4}\). Here, \(\delta\) is the Kronecker symbol, i.e., \(\delta_{i,j}\) is \(1\) if \(i = j\), and \(0\) if \(i \neq j\).

E-mail Alert

Add your e-mail address to receive upcoming issues of Ars Combinatoria.

Special Issues

The Combinatorial Press Editorial Office routinely extends invitations to scholars for the guest editing of Special Issues, focusing on topics of interest to the scientific community. We actively encourage proposals from our readers and authors, directly submitted to us, encompassing subjects within their respective fields of expertise. The Editorial Team, in conjunction with the Editor-in-Chief, will supervise the appointment of Guest Editors and scrutinize Special Issue proposals to ensure content relevance and appropriateness for the journal. To propose a Special Issue, kindly complete all required information for submission;