An -regular graph with and a bridge in a graph separating an odd number of vertices from the rest cannot have an -colour proper edge colouring. Such a colouring would partition the edges into perfect matchings. Each perfect matching must cross the odd-sided cut of a graph, so each would have to contain its unique crossing edge, the bridge in a graph. An edge cannot belong to two colour classes.
For odd , every bridge in a graph in an -regular graph automatically has odd-sized sides: if is either resulting connected component of a graph, double counting gives , so parity forces odd. Thus an odd- regular graph with a bridge in a graph is a class two regular graph.
For even , take the complete graph . It is an -regular graph on an odd number of vertices. Every matching in a graph has at most edges, so colours in a proper edge colouring could cover at most edges. But
Therefore ; Vizing's theorem gives . This includes the graph triangle when .
For odd , first construct a graph on vertices. Start with the complete graph on
and delete the edges , , and . The pairing is possible because is even. In the initial complete graph, every vertex has vertex degree . The distinguished vertex loses two edges and every other vertex loses exactly one, giving
Take two disjoint copies of , with distinguished vertices , and add the edge . The resulting simple graph is an -regular graph. The added edge is the only edge between the two copies; each copy has the odd number of vertices.
Suppose an -colour proper edge colouring existed. At each vertex, the incident edges would use all colours. Thus each colour would form a perfect matching. Any perfect matching must use : without it, each odd-sized copy would have to be covered by internal pairs, which is impossible by parity. Therefore all colour classes would have to contain the same edge , a contradiction. Hence Vizing's theorem again gives
These constructions give class two regular graphs for every . The odd- construction exhibits the bridge obstruction to regular edge colouring; is a connected graph because every vertex other than is adjacent to , while are adjacent to those vertices.