We give a brief survey on a new method for proving the chromatic uniqueness of graphs by their adjoint polynomials. We obtain some simpler proofs of relevant theorems and a new family of chromatically unique graphs.
A new method of proving theorems on chromatic index
β Scribed by A. Ehrenfeucht; V. Faber; H.A. Kierstead
- Publisher
- Elsevier Science
- Year
- 1984
- Tongue
- English
- Weight
- 690 KB
- Volume
- 52
- Category
- Article
- ISSN
- 0012-365X
No coin nor oath required. For personal study only.
β¦ Synopsis
V.G. Wing proved that the edge-chromatic 11umber x' of any multigraph M with m&mum degree A(M) aud maximum multiplicity p(M) is A(M)+pLM). In this paper we present a new
method for proving this and other related results that are due to Gol'dberg, Anderson, Ore, Shannon, and Vizing. In our proofs we replace arguments about 'fan sequences' with counting arguments.
1. Ilhtmduction
V.G. Vking [6] proved that the edge-chromatic number ,x' of any multigraph M with maximum degree A(M) and maximum multiplicity &f) is A(M)+ p(M). In this paper we present a new method for proving this and other related results that are due to Gol'dberg [3], Anderson Cl]:. Ore [4], Shannon [S], and Vizing [7]. In our proofs we replace arguments about 'fan sequences' ti& counting arguments. The main ideas are contained in Lemma I, from which we (can immediately derive the theorems of Shannon, Vizing and Ore. After proving these basic results, we strengthen the proof of Lemma 1 in two different ways to, derive more technical results of Gol'dberg, Anderson and Vi&g. The results of this paper wert: announmd in @]. l%t~&n. Let M = (V, E) be a multigraph. We denote the set of edges between vertices 2) and w by uw and luw! by I. Also, p(u) denotes nxq,,,v I, N(O) denote3 the set of vertices adjacent tc the vertex u, I(u) denotes the set of edges incident with o, and S(u) C&(u)] denotes II(u). Finally, let f be a partial edge-coloring of a multigraph M. For each pair of vertices u and w, I is the set of colors (in the range of ,d) that are not used on
π SIMILAR VOLUMES
A new method for first-order theorem proving based on the Boolean ring approach is proposed. The method is an extension of Hsiang's N-Strategy in two aspects: (1) When the input polynomials are derived from clauses, our method is reduced to a more restricted (but still complete) version of \(\mathrm
Proof reconstruction is the operation of extracting the computed proof from the trace of a theorem-proving run. We study the problem of proof reconstruction in distributed theorem proving: because of the distributed nature of the derivation and especially because of deletions of clauses by contracti
Lazebnik, F., Some corollaries of a theorem of Whitney on the chromatic polynomial, Discrete Mathematics 87 (1991) 53-64. Let 9 denote the family of simple undirected graphs on u vertices having e edges, P(G; A) be the chromatic polynomial of a graph G. For the given integers v, e, A, let f(v, e, A
## Abstract Let Ξ»(__G__) be the lineβdistinguishing chromatic number and __x__β²(__G__) the chromatic index of a graph __G__. We prove the relation Ξ»(__G__) β₯ __x__β²(__G__), conjectured by Harary and Plantholt. Β© 1993 John Wiley & Sons, Inc.
We show that the strong chromatic index of a graph with maximum degree 2 is at most (2&=) 2 2 , for some =>0. This answers a question of Erdo s and Nes etr il. 1997 Academic Press ## 1. Introduction A strong edge-colouring of a (simple) graph, G, is a proper edge-colouring of G with the added res