
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.
Information Menu
- Research article
- Full Text
- Ars Combinatoria
- Volume 052
- Pages: 161-171
- Published: 30/06/1999
Let \({A}(n,3)\) denote the \(n\)-dimensional affine space over the finite field of order three. In this paper, we use basic combinatorial principles to discuss some old and new results about the lines in \({A}(3,3)\). For \(S \subset {A}(3,3)\), let \(||S||_3\) and \(||S||_{3,k}\) respectively denote the number of lines and the number of \(k\)-lines of \({A}(3,3)\) contained entirely in \(S\). For each \(t\), we compute \(\alpha_3(t) = \min\{||S||_3 : |S| = t\}\) and \(\Omega_3(t) = \max\{||S||_3 : |S| = t\}\). We also give results about \(\alpha_{3,k}(t) = \min\{||S||_{n,k} : |S| = t\}\) and \(\omega_{3,k}(t) = \max\{||S||_{n,k} : |S| = t\}\) and results about \(1\)-lines and \(n\)-lines in \({A}(n,3)\).
- Research article
- Full Text
- Ars Combinatoria
- Volume 052
- Pages: 153-159
- Published: 30/06/1999
The binary linear code of a Steiner triple system on \(2^d – 1\) points, where \(d \geq 3\) is an integer, contains a copy of the Hamming code \(\mathcal{H}_{di}\) this fact can be used to characterize those systems on \(2^d – 1\) points that have low dimension, and to show that these systems can always be extended to Steiner quadruple systems whose binary code is the extended code of the Steiner triple system.
- Research article
- Full Text
- Ars Combinatoria
- Volume 052
- Pages: 141-151
- Published: 30/06/1999
Let \(m\) and \(n\) be positive integers, and let \(\mathbf{R} = (r_1, \ldots, r_m)\) and \(\mathbf{S} = (s_1, \ldots, s_n)\) be nonnegative integral vectors with \(r_1 + \cdots + r_m = s_1 + \cdots + s_n\). Let \(\mathbf{Q} = (q_{ij})\) be an \(m \times n\) nonnegative integral matrix. Denote by \(\mathcal{U}^Q(\mathbf{R}, \mathbf{S})\) the class of all \(m \times n\) nonnegative integral matrices \(\mathbf{A} = (a_{ij})\) with row sum vector \(\mathbf{R}\) and column sum vector \(\mathbf{S}\) such that \(a_{ij} \leq q_{ij}\) for all \(i\) and \(j\). We study a condition for the existence of a matrix in \(\mathcal{U}^Q(\mathbf{R}, \mathbf{S})\). The well known existence theorem follows from the max-flow-min-cut theorem. It contains an exponential number of inequalities. By generalizing the Gale-Ryser theorem, we obtain some conditions under which this exponential number of inequalities can be reduced to a polynomial number of inequalities. We build a kind of hierarchy of theorems: under weaker and weaker conditions, a (larger and larger) polynomial (in \(n\)) number of inequalities yield a necessary and sufficient condition for the existence of a matrix in \(\mathcal{U}^Q(\mathbf{R}, \mathbf{S})\).
- Research article
- Full Text
- Ars Combinatoria
- Volume 052
- Pages: 129-139
- Published: 30/06/1999
Let \(G = (V, E)\) be a graph and let \(\mathcal{H}\) be a set of graphs. A set \(S \subseteq V\) is \(\mathcal{H}\)-independent if for all \(H \in \mathcal{H}\), \(\langle S \rangle\) contains no subgraph isomorphic to \(H\). A set \(S \subseteq V\) is an \(\mathcal{H}\)-dominating set of \(G\) if for every \(v \in V – S\), \(\langle S \cup \{v\} \rangle\) contains a subgraph containing \(v\) which is isomorphic to some \(H \in \mathcal{H}\).
The \(\mathcal{H}\)-domination number of a graph \(G\), denoted by \(\gamma_{\mathcal{H}}(G)\), is the minimum cardinality of an \(\mathcal{H}\)-dominating set of \(G\) and the \(\mathcal{H}\)-independent domination number of \(G\), denoted by \(i_{\mathcal{H}}(G)\), is the smallest cardinality of an \(\mathcal{H}\)-independent \(\mathcal{H}\)-dominating set of \(G\).
A sequence of positive integers \(a_2 \leq \cdots \leq a_m\) is said to be a domination sequence if there exists a graph \(G\) such that \(\gamma_{(K_k)}(G) = a_k\) for \(k = 2, \ldots, m\). In this paper, we find an upper bound for \(\gamma_{\mathcal{H}}(G)\) and show that the problems of computing \(\gamma_{\{K_n\}}\) and \(i_{\{K_n\}}\) are NP-hard. Finally, we characterize nondecreasing sequences of positive integers which are domination sequences, and provide a sufficient condition for equality of \(\gamma_{\{K_n\}}(G)\) and \(i_{\{K_n\}}(G)\).
- Research article
- Full Text
- Ars Combinatoria
- Volume 052
- Pages: 125-127
- Published: 30/06/1999
In this paper, we prove that the partial sums of the chromatic polynomial of a graph define an alternating sequence of upper and lower bounds.
- Research article
- Full Text
- Ars Combinatoria
- Volume 052
- Pages: 115-124
- Published: 30/06/1999
Let \(H\) be a fixed graph without isolated vertices, and let \(G\) be a graph on \(n\) vertices. Let \(2 \leq k \leq n-1\) be an integer. We prove that if \(k \leq n-2\) and every \(k\)-vertex induced subgraph of \(G\) is \(H\)-decomposable, then \(G\) or its complement is either a complete graph or a complete bipartite graph. This also holds for \(k = n-1\) if all the degrees of the vertices of \(H\) have a common factor. On the other hand, we show that there are graphs \(H\) for which it is NP-Complete to decide if every \(n-1\)-vertex subgraph of \(G\) is \(H\)-decomposable. In particular, we show that \(H = K_{1,h-1}\), where \(h > 3\), are such graphs.
- Research article
- Full Text
- Ars Combinatoria
- Volume 052
- Pages: 97-114
- Published: 30/06/1999
Let \(G\) be a finite group of order \(n \geq 2\), \((x_1, \ldots, x_{ n})\) an \(n\)-tuple of elements of \(G\) and \(A = (a_{ij})\) a square matrix of order \(n\) such that \(a_{ij} = x_ix_j\). We investigate how many different types of such matrices could exist for \(n = 2, 3\) and we deal with some of their properties. We show that for every group \(G\) the number of the ordered \(n\)-tuples corresponding to the same matrix is a multiple of \(|G|\).
- Research article
- Full Text
- Ars Combinatoria
- Volume 052
- Pages: 71-96
- Published: 30/06/1999
The quantity \(g^k(v)\) was introduced in \([6]\) as the minimum number of blocks necessary in a pairwise balanced design on \(v\) elements, subject to the condition that the longest block has length \(k\). Recently, we have needed to use all possibilities for such minimal covering designs, and we record all non-isomorphic solutions to the problem for \(v \leq 13\).
- Research article
- Full Text
- Ars Combinatoria
- Volume 052
- Pages: 65-70
- Published: 30/06/1999
For \(v \geq 3\), \(v\) odd, it is shown that there exists a decomposition of \(K_v\) into \(6\) cycles whose edges partition the edge set of \(K_v\), if and only if
\[\lfloor \frac{v-1}{2} \rfloor \leq b \lfloor \frac{v(v-1)}{6}\rfloor.\]
For even \(v\), \(v \geq 4\), a similar result is obtained for \(K_v\) minus a \(1\)-factor.
- Research article
- Full Text
- Ars Combinatoria
- Volume 052
- Pages: 51-63
- Published: 30/06/1999
Upper bounds on \(K_q(n, R)\), the minimum number of codewords in a \(q\)-ary code of length \(n\) and covering radius \(R\), are improved. Such bounds are obtained by constructing corresponding covering codes. In particular, codes of length \(q+1\) are discussed. Good such codes can be obtained from maximum distance separable \((MDS)\) codes. Furthermore, they can often be combined effectively with other covering codes to obtain new ones. Most of the new codes are obtained by computer search using simulated annealing. The new results are collected in updated tables of upper bounds on \(K_q(n, R)\), \(q=3,4,5\).