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.

Chiang Lin1, Jenq-Jong Lin2, Tay-Woei Shyu3
1Department of Mathematics National Central University Chung-Li, Taiwan 320, R.O.C.
2Department of Finance Ling Tung College Taichung, Taiwan 408, R.O.C.
3Department of General Education Kuan Wu Institute Taipei. Taiwan 112, R.O.C.
Abstract:

For positive integers \(k \leq n\), the crown \(C_{n,k}\) is the graph with vertex set \(\{a_1, a_2, \ldots, a_n, b_1, b_2, \ldots, b_n\}\) and edge set \(\{a_ib_j: 1 \leq j \leq n, j = i+1,i+2,\ldots,i+k \pmod{n}\}\). For any positive integer \(\lambda\), the multicrown \(\lambda C_{n,k}\) is the multiple graph obtained from the crown \(C_{n,k}\) by replacing each edge \(e\) by \(\lambda\) edges with the same end vertices as \(e\). A star \(S_l\) is the complete bipartite graph \(K_{1,k}\). If the edges of a graph \(G\) can be decomposed into subgraphs isomorphic to a graph \(H\), then we say that \(G\) has an \(H\)-decomposition. In this paper, we prove that \(\lambda C_{n,k}\) has an \(S_l\)-decomposition if and only if \(l \leq k\) and \(\lambda nk \equiv 0 \pmod{l}\). Thus, in particular, \(C_{n,k}\) has an \(S_l\)-decomposition if and only if \(l \leq k\) and \(nk \equiv 0 \pmod{l}\). As a consequence, we show that if \(n \geq 3, k < \frac{n}{2}\) then \(C_k^n\), the \(k\)-th power of the cycle \(C_n\), has an \(S_l\)-decomposition if and only if \(1 < k+1\) and \(nk \equiv 0 \pmod{1}\).

David G.C.Horrocks1
1Department of Mathematics and Computer Science, University of Prince Edward Island, Charlottetown, PEI, Canada, C1A 4P3.
Abstract:

A set \(X\) of vertices of a graph is said to be dependent if \(X\) is not an independent set. For the graph \(G\), let \(P_k(G)\) denote the set of dependent sets of cardinality \(k\).

In this paper, we show that if \(G\) is a connected graph on \(2n\) vertices where \(n \geq 3\), then \(|P_n(G)| \geq |P_{n+1}(G)|\). This study is motivated by a conjecture of Lih.

R.S. Rees1, D.R. Stinson2, R. Wei3, G.H.J.van Rees4
1Department of Mathematics and Statistics Memorial University of Newfoundland St. John’s Newfoundland, A1C 5S7 Canacla
2Department of Combinatorics and Optimization University of Waterloo Waterloo Ontario, N2L 3G1 Canada
3Department of Combinatorics and Optimization University of Waterloo Waterloo Ontario, N2L 3G1 CanadaR. Wei
4Department of Computer Science University of Manitoba Winnipeg, Manitoba, R3C 2N2 Canada
Abstract:

The shares in a \((k,n)\) Shamir threshold scheme consist of \(n\) points on some polynomial of degree at most \(k-1\). If one or more of the shares are faulty, then the secret may not be reconstructed correctly. Supposing that at most \(\epsilon\) of the \(n\) shares are faulty, we show how a suitably chosen covering design can be used to compute the correct secret. We review known results on coverings of the desired type, and give some new constructions. We also consider a randomized algorithm for the same problem, and compare it with the deterministic algorithm obtained by using a particular class of coverings.

Michael S.Roddy1
1Department of Mathematics and Computer Science Brandon University Brandon, Manitoba R7A 6A9.
Abstract:

A finite ordered set is upper levellable iff it has a diagram in which, for each element, all upper covers of the element are on the same horizontal level. In this note, we give a method for computing a canonical upper levelling, should one exist.

Clark Kimberling1, Harris S.Shultz2
1Department of Mathematics, University of Evansville, Evansville, IN 47722,
2Department of Mathematics, California State University, Fullerton, CA 92634
William Kocay1, Ryan Szypowski1
1Computer Science Department St. Paul’s College, University of Manitoba Winnipeg, Manitoba, CANADA, R3T 2N2
Abstract:

An \(n_3\)-configuration in the real projective plane is a configuration consisting of \(n\) points and \(n\) lines such that every point is on three lines and every line contains three points. Determining sets are used to construct drawings of arbitrary \(n_3\)-configurations in the plane, such that one line is represented as a circle. It is proved that the required determining set always exists, and that such a drawing is always possible. This is applied to the problem of deciding when a particular configuration is coordinatizable.

Brian Alspach1, Joy Morris1, V. Vilfred2
1Department of Mathematics and Statistics Burnaby, British Columbia Canada V5A 186
2Department of Mathematics St. Jude’s College Thoothoor India 629 176
Thomas Dale Porter1
1Department of Mathematics Southern IHinois University Carbondale, Illinois 62901 USA
Abstract:

For a given graph \(G\), we fix \(s\), and partition the vertex set into \(s\) classes, so that any given class contains few edges. The result gives a partition \((U_1, U_2, \ldots, U_s)\), where \(e(U_i) \leq \frac{e(G)}{s^2} + 4s\sqrt{e(G)}\) for each \(1 \leq i \leq s\). The error term is compared to previous results for \(s = 2^P\) \({[6]}\), and to a result by Bollobás and Scott \({[1]}\).

Chester J.Salwach1
1Department of Mathematics Lafayette College Easton, PA 18042
Abstract:

We associate codes with \(C(n,n,1)\) designs. The perfect \(C(n,n,1)\) designs obtained from perfect one-factorizations of \(K_n\) yield codes of dimension \(n-2\) over \(\mathbb{F}_2\) and \(n-1\) over \(\mathbb{F}_p\), for \(p\neq 2\). We also demonstrate a method of obtaining another \(C(n,n,1)\) design from a pair of isomorphic perfect \(C(n,n,1)\) designs and determine the dimensions of the resulting codes.

E. Mendelsohn1, N. Shalaby2
1Department of Mathematics University of Toronto, Toronto Ontario, Canada M5A 1A7
2Department of Mathematics and Computer Science Mount Allison University Sackville, New Brunswick Canada, EOA 3C0
Abstract:

In a previous work “Skolem labelled graphs” \({[4]}\) we defined the Skolem labelling of graphs, here we prove that the necessary conditions are sufficient for a Skolem or minimum hooked Skolem labelling of all \(k\)-windmills. A \(k\)-windmill is a tree with \(k\) leaves each lying on an edge-disjoint path of length \(m\) to the centre. These paths are called the vanes.

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;