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.

Guantao Chen1, Joan Hutchinson2, Wiktor Piotrowski3, Warren Shreve4, Bing Wei5
1Department of Mathematics and Computer Science Georgia State University Atlanta GA 30303 USA
2Department of Mathematics and Computer Science Macalester College St. Paul MN 55105 USA
3Department of Mathematics and Computer Science University of Wisconsin-Superior Superior WI 54880 USA
4Department of Mathematics North Dakota State University Fargo, ND 58105-5075 USA
5Institute of Systems Science Academia Sinica Beijing 100080, China
Abstract:

A given nonincreasing sequence \(\mathcal D = (d_1, d_2, \dots, d_n)\) is said to contain a (nonincreasing) repetition sequence \(\mathcal D ^* = (d_{i_1},d_{i_2} \dots, d_{i_k})\) for some \(k \leq n – 2\) if all values of \(\mathcal D – \mathcal D ^*\) are distinct and for any \(d_{i_i} \in \mathcal D ^*\), there exists some \(d_t \in \mathcal D – \mathcal D ^*\) such that \(d_{i_1} = d_t\). For any pair of integers \(n\) and \(k\) with \(n \geq k + 2\), we investigate the existence of a graphic sequence which contains a given repetition sequence. Our main theorem contains the known results for the special case \(d_{i_1} = d_{i_k}\) if \(k = 1\) or \(k = 2\) (see [1, 5, 2]).

Spencer P. Hurd1, Dinesh G. Sarvate2
1Department of Mathematics and Computer Science The Citadel, Charleston, SC, 29409
2Department of Mathematics, University of Charleston, Charleston, SC, 29424
Abstract:

It is shown that the necessary conditions are sufficient for the existence of \(c\)-BRD(\(v, 3, \lambda\)) for all \(c \geq -1\). This was previously known for \(c = 0\) and for \(c = 1\).

Marilyn Breen1
1Department of Mathematics University of Oklahoma Norman, OK 73019-0315 U.S.A,
Abstract:

Let \(\mathcal{S}\) be the set of vectors \(\{{e^{i\theta}}:\theta=0, \frac{n}{3}, \frac{2n}{3}\}\), and let \(\mathcal{S}\) be a nonempty simply connected union of finitely many convex polygons whose edges are parallel to vectors in \(\mathcal{S}\). If every three points of \(\mathcal{S}\) see a common point via paths which are permissible (relative to \(\mathcal{S}\)), then \(\mathcal{S}\) is star-shaped via permissible paths. The number three is best possible.

M. Ghebleh1, E.S. Mahmoodian2
1Institute for studies in theoretical Physics and Mathematics (IPM)
2Department of Mathematical Sciences Sharif University of Technology P.O. Box 11365-9415 Tehran, I.R. Iran
Abstract:

Let \(G\) be a graph with \(n\) vertices and suppose that for each vertex \(v\) in \(G\), there exists a list of \(k\) colors, \(L(v)\), such that there is a unique proper coloring for \(G\) from this collection of lists, then \(G\) is called a uniquely \(k\)-list colorable graph. Recently, M. Mahdian and E.S. Mahmoodian characterized uniquely \(2\)-list colorable graphs. Here, we state some results which will pave the way in characterization of uniquely \(k\)-list colorable graphs. There is a relationship between this concept and defining sets in graph colorings and critical sets in latin squares.

Rumen N.Daskalov1
1Department of Mathematics Technical University 5300 Gabrovo, Bulgaria
Abstract:

Let \(d_3(n,k)\) be the maximum possible minimum Hamming distance of a ternary linear \([n, k, d; 3]\) code for given values of \(n\) and \(k\). The nonexistence of \([142, 7, 92; 3]\), \([162, 7, 106; 3]\), \([165, 7, 108; 3]\), and \([191, 7, 125; 3]\) codes is proved.

Steve Bowser1, Charles Cable1
1DEPARTMENT OF MATHEMATICS,ALLEGHENY COLLEGE, MEADVILLE, PENNSYLVANIA 16335
Abstract:

The niche graph of a digraph \(D\) is the undirected graph defined on the same vertex set in which two vertices are adjacent if they share either a common in-neighbor or a common out-neighbor in \(D\). We define a hierarchy of graphs depending on the condition of being the niche graph of a digraph having, respectively, no cycles, no cycles of length two, no loops, or loops. Our goal is to classify in this hierarchy all graphs of order \(n \geq 3\) having a subgraph isomorphic to \(K_{n-2}\).

E.J. Cockayne1, O. Favaron2, P.J. P.Grobler3, C.M. Mynhardt3, J. Puech2
1Department of Mathematics, University of Victoria, Victoria, BC, Canada
2LRI, Université de Paris Sud, Orsay, France
3Department of Mathematics, University of South Africa, Pretoria, South Africa
Abstract:

Let \(\mathcal{H}_1, \ldots, \mathcal{H}_t\) be classes of graphs. The class Ramsey number \(R(\mathcal{H}_1, \ldots, \mathcal{H}_t)\) is the smallest integer \(n\) such that for each \(t\)-edge colouring \((G_1, \ldots, G_t)\) of \(K_n\), there is at least one \(i \in \{1, \ldots, t\}\) such that \(G_i\) contains a subgraph \(H_i \in \mathcal{H}_i\). We take \(t = 2\) and determine \(R(\mathcal{G}^1_l, \mathcal{G}^1_m)\) for all \(2 \leq l \leq m\) and \(R(\mathcal{G}^2_i, \mathcal{G}^2_{m})\) for all \(3 \leq l \leq m\), where \(\mathcal{G}^i_j\) consists of all edge-minimal graphs of order \(j\) and minimum degree \(i\).

William Kocay1, Daniel Neilson1, Ryan Szypowski1
1Computer Science Department University of Manitoba Winnipeg, Manitoba, CANADA, R3T 2N2
Abstract:

Let \(G\) be a \(2\)-connected graph with a toroidal rotation system given. An algorithm for constructing a straight line drawing with no crossings on a rectangular representation of the torus is presented. It is based on Read’s algorithm for constructing a planar layout of a \(2\)-connected graph with a planar rotation system. It is proved that the method always works. The complexity of the algorithm is linear in the number of vertices of \(G\).

Yasuhiro Fukuchi1
1Department of Applied Mathematics Science University of Tokyo Shinjuku-ku, Tokyo 162-8601, JAPAN
Abstract:

A graph \(G\) is called super-edge-magic if there exists a bijection \(f\) from \(V(G) \cup E(G)\) to \(\{1, 2, \ldots, |V(G)| + |E(G)|\}\) such that \(f(u) + f(v) + f(uv) = C\) is a constant for any \(uv \in E(G)\) and \(f(V(G)) = \{1, 2, \ldots, |V(G)|\}\). In this paper, we show that the generalized Petersen graph \(P(n, k)\) is super-edge-magic if \(n \geq 3\) is odd and \(k = 2\).

Klaus Dohmen1
1Institut fiir Informatik Humboldt-Universitat zu Berlin Unter den Linden 6 D-10099 Berlin, Germany
Abstract:

We reprove an important case of a recent topological result on improved Bonferroni inequalities due to Naiman and Wynn in a purely combinatorial manner. Our statement and proof involves the combinatorial concept of non-evasiveness instead of the topological concept of contractibility. In contradistinction to the proof of Naiman and Wynn, our proof does not require knowledge of simplicial homology theory.