Introduction

Let WFGn be the class of graphs on n vertices with the property that the neighborhood of any vertex is acyclic. A graph G is given by its vertex set V(G) and edge set E(G). The subgraph induced by X ⊂ V(G) is denoted by G[X]. The neighborhood N(v) of vertex v is the set of vertices adjacent to v. Note that v ∉ N(v). The degree of v ∈ V(G), denoted by dv or dv(G), is the size of the neighborhood: dv = |N(v)|. The maximum (minimum) degree is denoted by Δ (δ), or Δ(G) (δ(G), respectively) to avoid misunderstandings. A matching M ⊂ E(G) is a set of pairwise disjoint edges. A wheel Wi is obtained from a cycle Ci by adding a new vertex and edges joining it to all the vertices of the cycle; the new edges are called the spokes of the wheel (i ≥ 3, W3 = K4). Therefore, WFGn consists of all graphs on n vertices containing no wheel.

Introduction

In this paper we will characterize those general graphs with degrees 2k − 2 and 2k that can be decomposed into spanning subgraphs with degrees 1 and 2 everywhere. Before we state the result, it is perhaps of some interest to review some related problems and their history.

Background

One of the starting points of graph theory is a classic investigation by the Danish mathematician Julius Petersen who in 1891 published a paper: ‘Die Theorie der regulären graphs’, which contains a wealth of material on the problem of factorizing regular graphs into graphs of uniform degree k. An excellent source of information concerning Julius Petersen and problems spawned by his 1891 paper is the conference volume.

The motivation for Petersen's work, as given in the first few lines of his article, came from Hilbert's proof of the finiteness of the system of invariants associated with a binary form.

Introduction

We consider undirected graphs without loops or multiple edges. The graph Kn on n vertices for which every pair of distinct vertices induces an edge is called a complete graph or a clique on n vertices. If G is any graph, we call any complete subgraph of G a clique of G (we do not require that it be a maximal complete subgraph). A clique covering of G is a set of cliques of G that together contain each edge of G at least once; if each edge is covered exactly once we call it a clique partition. The clique covering number cc(G) and clique partition number cp(G) are the smallest cardinalities of, respectively, a clique covering and a clique partition of G.

The question of calculating these numbers was raised by Orlin in 1977. DeBruijn and Erdős had already proved, in 1948, that partitioning Kn into smaller cliques required at least n cliques. Some more recent studies motivating the current paper include.

A hypergraph H on a set of points V is simply a collection of subsets E of V, the edges of H. A d-graph is a hypergraph in which each edge has size d. A weak 2-colouring of a hypergraph is a partition of the points into two ‘colour’ sets A and B such that each edge E meets both A and B. Deciding if a 3-graph has a weak 2-colouring is NP-complete.

The following simple randomised recolouring method attempts to find a weak 2-colouring of a hypergraph H. It is assumed that we have a subroutine SEEK, which on input of a 2-colouring of the points outputs a monochromatic edge if there is one, and otherwise reports that there are none.

Introduction

Let K be a subgraph of G. A K-component or a K-bridge in G is a subgraph of G that is either an edge e ∈ E(G)\E(K) (together with its endpoints) that has both endpoints in K, or it is a connected component of G − V(K) together with all edges (and their endpoints) between this component and K. Each edge of a K-component R having an endpoint in K is a foot of R. The vertices of R ∩ K are the vertices of attachment of R. A vertex of K of degree in K different from 2 is a main vertex of K.