Gioraio Faina1, STEFANO MARCUGINI1, ALFREDO MILANI1, FERNANDA PAMBIANCO1
1Dipartimento di Matematica Universita degli Studi di Perugia Via Vanvitelli | 06100 Perugia (Italy).
Abstract:

It is known that there exists a one-to-one correspondence between the classes of equivalent \([n, n-k, 4]\)-codes over \(\mathrm{GF}(q)\) and the classes of projectively equivalent complete \(n\)-caps in \(\mathrm{PG}(k-1, q)\) (see [{20}], [{40}]). Hence all results on caps can be translated in terms of such codes. This fact stimulated many researches on the fundamental problem of determining the spectrum of the values of \(k\) for which there exist complete \(k\)-caps in \(\mathrm{PG}(n, q)\). This paper reports the result of a computer search for the spectrum of \(k\)’s that occur as a size of a complete \(k\)-cap in some finite projective spaces. The full catalog of such sizes \(k\) is given in the following projective spaces: \(\mathrm{PG}(3, q)\), for \(q \leq 5\), \(\mathrm{PG}(4, 2)\), \(\mathrm{PG}(4, 3)\), \(\mathrm{PG}(5, 2)\). Concrete examples of such caps are presented for each possible \(k\).\(^*\)

NOBORU HAMADA1
1 Department of Applied Mathematics, Osaka Women’s University, Deisen-cho, Sakai, Osaka 590, Japan
Abstract:

It is known (cf. {Hamada} [12] and {BrouwerEupen} and van Eupen [2] ) that (1) there is no ternary \([230, 6, 153]\) code meeting the Griesmer bound but (2) there exists a ternary \([232, 6, 153]\) code. This implies that \(n_3(6, 153) = 231\) or \(232\), where \(n_3(k, d)\) denotes the smallest value of \(n\) for which there exists a ternary \([n, k, d]\) code. The purpose of this paper is to prove that \(n_3(6, 153) = 232\) by proving the nonexistence of ternary \([231, 6, 153]\) codes.

Suh-Ryung Kim1, Fred S.Roberts2
1Department of Mathematics Kyung Hee University, Seoul, Korea
2Department of Mathematics and Center for Operations Research Rutgers University, New Brunswick, NJ, USA 08903
Abstract:

If \(D\) is an acyclic digraph, its competition graph is an undirected graph with the same vertex set and an edge between vertices \(x\) and \(y\) if there is a vertex \(a\) so that \((x,a)\) and \((y,a)\) are both arcs of \(D\). If \(G\) is any graph, \(G\) together with sufficiently many isolated vertices is a competition graph, and the competition number of \(G\) is the smallest number of such isolated vertices. Roberts \([1978]\) gives an elimination procedure for estimating the competition number and Opsut \([1982]\) showed that this procedure could overestimate. In this paper, we modify that elimination procedure and then show that for a large class of graphs it calculates the competition number exactly.

MICHELE MULAZZANI1
1DIPARTIMENTO Di MATEMATICA, UNIVERSITA DI BOLOGNA, PIAZZA DI PORTA SAN Donato 5, 40127 BoLoana, ITALY
Abstract:

A new concept of genus for finite groups, called stiff genus, is developed. Cases of stiff embeddings in orientable or nonorientable surfaces are dealt with. Computations of stiff genus of several classes of abelian and non-abelian groups are presented. A comparative analysis between the stiff genus and the Tucker symmetric genus is also undertaken.

Gaetano Quattrocchi1
1 Dipartimento di Matematica Universita’ di Catania viale A. Doria 6 95125 Catania, Italy
Abstract:

For each admissible \(v\) we exhibit a \(\mathrm{H}(v, 3, 1)\) with a spanning set of minimum cardinality and a \(\mathrm{H}(v, 3, 1)\) with a scattering set of maximum cardinality.

Neville Robbins1
1Mathematics Department San Francisco State University San Francisco, CA 94132
Abstract:

Using the Jacobi triple product identity and the quintuple product identity, we obtain identities involving several partition functions.

G. Brinkmann1, E. Steffen2
1Fakultat fiir Mathematik Postfach 100131 33501 Bielefeld (Germany)
2 Fakultat fiir Mathematik Postfach 100131 33501 Bielefeld (Germany),
Abstract:

A snark is a simple, cyclically \(4\)-edge connected, cubic graph with girth at least \(5\) and chromatic index \(4\). We give a complete list of all snarks of order less than \(30\). Motivated by the long standing discussion on trivial snarks (i.e. snarks which are reducible), we also give a brief survey on different reduction methods for snarks. For all these reductions we give the complete numbers of irreducible snarks of order less than \(30\) and the number of nonisomorphic \(3\)-critical subgraphs of these graphs. The results are obtained with the aid of a computer.

S.Louis Hakimi 1, John Mitchem2, Edward Schmeichel 2
1 Department of Electrical and Computer Engineering University of California Davis, CA 95616
2Department of Mathematics and Computer Science San Jose State University San Jose, CA 95192
Abstract:

We give short proofs of theorems of Nash-Williams (on edge-partitioning a graph into acyclic subgraphs) and of Tutte (on edge-partitioning a graph into connected subgraphs). We also show that each theorem can be easily derived from the other.

Uri Blass1, Simon Litsyn1
1Tel-Aviv University Department of Electrical Engineering — Systems Ramat-Aviv 69978, Israel
Abstract:

We derive several new lower bounds on the size of ternary covering codes of lengths \(6\), \(7\) and \(8\) and with covering radii \(2\) or \(3\).

Olof Barr1
1Department of Mathematics UmedaUniversity S-901 87 Umea Sweden
Abstract:

We show that every complete graph \(K_n\), with an edge-colouring without monochromatic triangles, has a properly coloured Hamiltonian path.

C.Pandu Rangan1, K.R. Parthasarathy2, V. Prakash2
1 Department of Computer Science and Engineering
2 Department of Mathematics Indian Institute of Technology Madras 600 036 India
Abstract:

In this paper we prove some basic properties of the \(g\)-centroid of a graph defined through \(g\)-convexity. We also prove that finding the \(g\)-centroid of a graph is NP-hard by reducing the problem of finding the maximum clique size of \(G\) to the \(g\)-centroidal problem. We give an \(O(n^2)\) algorithm for finding the \(g\)-centroid for maximal outer planar graphs, an \(O(m + n\log n)\) time algorithm for split graphs and an \(O(m^2)\) algorithm for ptolemaic graphs. For split graphs and ptolemaic graphs we show that the \(g\)-centroid is in fact a complete subgraph.

MingChu Li1
1Department of Mathematics University of Toronto 100 St. George Street Toronto, Ontario M5S 1A1 Canada
Abstract:

In this paper, we show that if \(G\) is a connected \(SN2\)-locally connected claw-free graph with \(\delta(G) \geq 3\), which does not contain an induced subgraph \(H\) isomorphic to either \(G_1\) or \(G_2\) such that \(N_1(x,G)\) of every vertex \(x\) of degree \(4\) in \(H\) is disconnected, then every \(N_2\)-locally connected vertex of \(G\) is contained in a cycle of all possible lengths and so \(G\) is pancyclic. Moreover, \(G\) is vertex pancyclic if \(G\) is \(N_2\)-locally connected.

Dawn M.Jones1, Denny James Roehm2, Michelle Schultz1
1Western Michigan University
2Western Michigan University
Abstract:

A matching in a graph \(G\) is a set of independent edges and a maximal matching is a matching that is not properly contained in any other matching in \(G\). A maximum matching is a matching of maximum cardinality. The number of edges in a maximum matching is denoted by \(\beta_1(G)\); while the number of edges in a maximal matching of minimum cardinality is denoted by \(\beta^-_1(G)\). Several results concerning these parameters are established including a Nordhaus-Gaddum result for \(\beta^-_1(G)\). Finally, in order to compare the maximum matchings in a graph \(G\), a metric on the set of maximum matchings of \(G\) is defined and studied. Using this metric, we define a new graph \(M(G)\), called the matching graph of \(G\). Several graphs are shown to be matching graphs; however, it is shown that not all graphs are matching graphs.

D. Hanson1, C.O.M. Loten 1, B. Toft2
1Department of Mathematics and Statistics University of Regina Regina, Saskatchewan Canada, S4S 0A2
2 Institut for Matematik og Datalogi Odense Universitet DK-5230, Odense M, Denmark
Abstract:

In this paper we consider interval colourings — edge colourings of bipartite graphs in which the colours represented at each vertex form an interval of integers. These colourings, corresponding to certain types of timetables, are not always possible. In the present paper it is shown that if a bipartite graph with bipartition \((X,Y)\) has all vertices of \(X\) of the same degree \(d_X = 2\) and all vertices of \(Y\) of the same degree \(d_y\), then an interval colouring can always be established.

Charles J.Colbourn1, Jianxing Yin2
1 Combinatorics and Optimization University of Waterloo Waterloo, ON N2L 3G1
2Department of Mathematics Suzhou University Suzhou 215006 People’s Republic of China
Abstract:

Let \(v\) and \(u\) be positive integers. It is shown in this paper that the necessary condition for the existence of a directed \(\mathrm{TD}(5,v)\)-\(\mathrm{TD}(5,u)\), namely \(v \geq 4u\), is also sufficient.

Thomas Hofmeister1, Hanno Lefmann1
1Universitat Dortmund, Informatik IJ, D-44221 Dortmund, Germany
Abstract:

Initiated by a recent question of Erdhos, we give lower bounds on the size of a largest \(k\)-partite subgraph of a graph. Also, the corresponding problem for uniform hypergraphs is considered.

Izak Broere1, Jean E.Dunbar2, Johannes H.Hattingh3
1 Department of Mathematics Rand Afrikaans University Auckland Park, South Africa
2Department of Mathematics Converse College Spartanburg South Carolina, U.S. A.
3Department of Mathematics Rand Afrikaans University Auckland Park, South Africa
Abstract:

Let \(G = (V, E)\) be a graph and \(k \in \mathbb{Z}^+\) such that \(1 \leq k \leq |V|\). A \(k\)-subdominating function (KSF) to \(\{-1, 0, 1\}\) is a function \(f: V \to \{-1, 0, 1\}\) such that the closed neighborhood sum \(f(N[v]) \geq 1\) for at least \(k\) vertices of \(G\). The weight of a KSF \(f\) is \(f(V) = \sum_{v \in V} f(v)\). The \(k\)-subdomination number to \(\{-1, 0, 1\}\) of a graph \(G\), denoted by \(\gamma^{-101}_{k_s}(G)\), equals the minimum weight of a KSF of \(G\). In this paper, we characterize minimal KSF’s, calculate \(\gamma^{-101}_{k_s}(G)\) for an arbitrary path \(P_n\), and determine the least order of a connected graph \(G\) for which \(\gamma^{-101}_{k_s}(G)=-m\) for an arbitrary positive integer \(m\).

Purwanto 1, W.D. Wallis2
1 Jurusan PendMatematika IKIP Malang, Malang, 65145 Indonesia
2Southern Illinois University Carbondale, IL 62901-4408 USA
Abstract:

Let \(G\) be a simple graph of order \(n\) having a maximum matching \(M\). The deficiency \( def(G)\) of \(G\) is the number of vertices unsaturated by \(M\). In this paper, we find lower bounds for \(n\) when \( def(G)\) and the minimum degree (or maximum degree) of vertices are given. Further, for every \(n\) not less than the bound and of the same parity as \( def(G)\), there exists a graph \(G\) with the given deficiency and minimum (maximum) degree.

Jin Ho Kwak1, Jaeun Lee2
1 Department of Mathematics Pohang University of Science and Technology Pohang 790-784, Korea
2Department of Mathematics Yeungnam University Kyongsan 712-749, Korea
Abstract:

In this paper, we count the number of isomorphism classes of bipartite \(n\)-cyclic permutation graphs up to positive natural isomorphism and show that it is equal to the number of double cosets of the dihedral group \(D_n\) in the subgroup \(B_n\) of the symmetric group \(S_n\), consisting of parity-preserving or parity-reversing permutations.

Pranava K Jha1, Sandi Klavzar2
1Dept of Computer Engineering Delhi Institute of Technology: Delhi Kashmere Gate, Delhi 110 006, INDIA
2Department of Mathematics, PEF University of Maribor Koroska cesta 160, 62000 Maribor, SLOVENIA
Abstract:

Let \(\alpha(G)\) denote the independence number of a graph \(G\) and let \(G \times H\) be the direct product of graphs \(G\) and \(H\). Set \(\underline{\alpha}(G\times H) = \max\{\alpha(G) – |H|, \alpha(H) – |G|\}\). If \(G\) is a path or a cycle and \(H\) is a path or a cycle, then \(\alpha(G \times H) = \underline{\alpha}(G \times H)\). Moreover, this equality holds also in the case when \(G\) is a bipartite graph with a perfect matching and \(H\) is a traceable graph. However, for any graph \(G\) with at least one edge and for any \(i \in \mathbb{N}\), there is a graph \(H_c\) such that \(\alpha(G \times H ) > \underline{\alpha}(G \times H ) + i\).

Béla Bollobdés1, Paul Erdos2
1 Department of Pure Mathematics and Mathematical Statistics University of Cambridge 16 Mill Lane Cambridge CB3 9AX England
2Mathematical Institute of the Hungarian Academy of Sciences Redltanoda utca 13-15 Budapest H-1053 Hungary
Abstract:

Our main aim is to show that the Randi\’e weight of a connected graph of order \(n\) is at least \(\sqrt{n – 1}\). As shown by the stars, this bound is best possible.

Z. Grodzki1, A. Wrotiski1
1 Department of Applied Mathematics Technical University of Lublin 20-022 Lublin Okopowa 8 Poland
Abstract:

New class \(\mathcal{GBG}_{\overrightarrow{k}}\), of generalized de Bruijn multigraphs of rank \({\overrightarrow{k}}\in{N}^m\), is introduced and briefly characterized. It is shown, among the others, that every multigraph of \(\mathcal{GBG}_{\overrightarrow{k}}\) is connected, Eulerian and Hamiltonian. Moreover, it consists of the subgraphs which are isomorphic with the de Bruijn graphs of rank \(r=\sum_{i=1}^{m} (d_1,\dots,d_m)\in\{0.1\}^m\). Then, the subgraphs of every multigraph of \(\mathcal{GBG}_{\overrightarrow{k}}\), called the \({\overrightarrow{k}}\)-factors, are distinguished.

An algorithm, with small time and space complexities, for the construction of the \({\overrightarrow{k}}\)-factors, in particular the Hamiltonian circuits, is given. At the very end, a few open problems are put forward.

Zhi-Hong Chen1
1 Department of Mathematics/Computer Science Butler University, Indianapolis, IN 46208
Abstract:

A graph \(G\) is collapsible if for every even subset \(R \subseteq V(G)\), there is a spanning connected subgraph of \(G\) whose set of odd degree vertices is \(R\). A graph is supereulerian if it contains a spanning closed trail. It is known that every collapsible graph is supereulerian. A graph \(G\) of order \(n\) is said to satisfy a Fan-type condition if \(\max\{d(u),d(v)\} \geq \frac{n}{(g-2)p} – \epsilon\) for each pair of vertices \(u,v\) at distance two, where \(g \in \{3,4\}\) is the girth of \(G\), and \(p \geq 2\) and \(\epsilon \geq 0\) are fixed numbers. In this paper, we study the Fan-type conditions for collapsible graphs and supereulerian graphs.

Johannes H.Hattingh1, Michael A.Henning2, Jacobus. L.Walters3
1 Department of Mathematics Rand Afrikaans University P. O. Box 524 Auckland Park 2006 South Africa
2Department of Mathematics and Applied Mathematics University of Natal P. O. Box 375 Pietermaritzburg 3200 South Africa.
3Department of Mathematics Rand Afrikaans University P. QO. Box 524 Auckland Park 2006 South Africa
Abstract:

Let \(n \geq 1\) be an integer. The closed \(n\)-neighborhood \(N_n[u]\) of a vertex \(u\) in a graph \(G = (V, E)\) is the set of vertices \(\{v | d(u,v) \leq n\}\). The closed \(n\)-neighborhood of a set \(X\) of vertices, denoted by \(N_n[X]\), is the union of the closed \(n\)-neighborhoods \(N_n[v]\) of vertices \(u \in X\). For \(X \subseteq V(G)\), if \(N_n[x] – N_n[X – \{u\}] = \emptyset\), then \(u\) is said to be \(n\)-redundant in \(X\). A set \(X\) containing no \(n\)-redundant vertex is called \(n\)-irredundant. The \(n\)-irredundance number of \(G\), denoted by \(ir_n(G)\), is the minimum cardinality taken over all maximal \(n\)-irredundant sets of vertices of \(G\). The upper \(n\)-irredundance number of \(G\), denoted by \(IR_n(G)\), is the maximum cardinality taken over all maximal \(n\)-irredundant sets of vertices of \(G\). In this paper we show that the decision problem corresponding to the computation of \(ir_n(G)\) for bipartite graphs \(G\) is NP-complete. We then prove that this also holds for augmented split graphs. These results extend those of Hedetniemi, Laskar, and Pfaff (see [7]) and Laskar and Pfaff (see [8]) for the case \(n = 1\). Lastly, applying the general method described by Bern, Lawler, and Wong (see [1]), we present linear algorithms to compute the \(2\)-irredundance and upper \(2\)-irredundance numbers for trees.

Alan C.H.Ling1, Charles J.Colbourn1
1Combinatorics and Optimization University of Waterloo Waterloo, Ontario
Abstract:

Some properties of finite projective planes are used to obtain some new pairwise balanced designs with consecutive block sizes, by deleting configurations spanned by lines.

liro Honkala1
1 Department of Mathematics University of Turku 20500 Turku 50, Finland
Abstract:

We give a short survey of the best known lower bounds on \(K(n, 1)\), the minimum cardinality of a binary code of length \(n\) and covering radius \(1\). Then we prove new lower bounds on \(K(n, 1)\), e.g.
\[K(n,1)\geq \frac{(5n^2-13n+66)2^n}{(5n^2-13n+46)(n+1)}\] when \(n \equiv 5 \pmod{6}\)
which lead to several numerical improvements.

Sho Ishizuka1
1Department of Mathematics Keio University Yokohama 223-8522 JAPAN
Abstract:

In this paper, we study path-factors and path coverings of a claw-free graph and those of its closure. For a claw-free graph \(G\) and its closure \( cl(G)\), we prove:(1) \(G\) has a path-factor with \(r\) components if and only if \( cl(G)\) has a path-factor with \(r\) components,(2) \(V(G)\) is covered by \(k\) paths in \(G\) if and only if \(V( cl(G))\) is covered by \(k\) paths in \( cl(G)\).

Honequan Yu1, TIANMING Wanc1
1 Institute of Mathematical Sciences Dalian University of Technology Dalian 116024, P.R. CHINA
Abstract:

Let \(G = (V,E)\) be a connected graph. Let \(\gamma_c(G), d_c(G)\) denote the connected domination number, connected domatic number of \(G\), respectively. We prove that \(\gamma_c(G) \leq 3d_c(G^c)\) if the complement of \(G\) is also connected. This confirms a conjecture of Hedetniemi and Laskar (1984), and Sun (1992). Examples are given to show that equality may occur.

Kishore Sinha1, Byron Jones2, Sanpei Kageyama3
1 Department of Statistics Birsa Agricultural University Ranchi – 834006, India
2Department of Medical Statistics De Montfort. University Leicester LE1 9BH, UK
3Department of Mathematics Hiroshima University Higashi-Hiroshima 739-8524, Japan
Abstract:

A method of construction of quasi-multiple balanced incomplete block \((BIB)\) designs from certain group divisible designs is described. This leads to a series of quasi-multiple designs of symmetric BIB designs and new non-isomorphic solutions of designs listed as unknown in the tables of Mathon and Rosa \([{3,4}]\). In the process a series of semi-regular group divisible designs is also obtained.

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;