7 research outputs found

    Proof of the Goldberg-Seymour Conjecture on Edge-Colorings of Multigraphs

    Full text link
    Given a multigraph G=(V,E)G=(V,E), the {\em edge-coloring problem} (ECP) is to color the edges of GG with the minimum number of colors so that no two adjacent edges have the same color. This problem can be naturally formulated as an integer program, and its linear programming relaxation is called the {\em fractional edge-coloring problem} (FECP). In the literature, the optimal value of ECP (resp. FECP) is called the {\em chromatic index} (resp. {\em fractional chromatic index}) of GG, denoted by χ(G)\chi'(G) (resp. χ(G)\chi^*(G)). Let Δ(G)\Delta(G) be the maximum degree of GG and let Γ(G)=max{2E(U)U1:UV,U3andodd},\Gamma(G)=\max \Big\{\frac{2|E(U)|}{|U|-1}:\,\, U \subseteq V, \,\, |U|\ge 3 \hskip 2mm {\rm and \hskip 2mm odd} \Big\}, where E(U)E(U) is the set of all edges of GG with both ends in UU. Clearly, max{Δ(G),Γ(G)}\max\{\Delta(G), \, \lceil \Gamma(G) \rceil \} is a lower bound for χ(G)\chi'(G). As shown by Seymour, χ(G)=max{Δ(G),Γ(G)}\chi^*(G)=\max\{\Delta(G), \, \Gamma(G)\}. In the 1970s Goldberg and Seymour independently conjectured that χ(G)max{Δ(G)+1,Γ(G)}\chi'(G) \le \max\{\Delta(G)+1, \, \lceil \Gamma(G) \rceil\}. Over the past four decades this conjecture, a cornerstone in modern edge-coloring, has been a subject of extensive research, and has stimulated a significant body of work. In this paper we present a proof of this conjecture. Our result implies that, first, there are only two possible values for χ(G)\chi'(G), so an analogue to Vizing's theorem on edge-colorings of simple graphs, a fundamental result in graph theory, holds for multigraphs; second, although it is NPNP-hard in general to determine χ(G)\chi'(G), we can approximate it within one of its true value, and find it exactly in polynomial time when Γ(G)>Δ(G)\Gamma(G)>\Delta(G); third, every multigraph GG satisfies χ(G)χ(G)1\chi'(G)-\chi^*(G) \le 1, so FECP has a fascinating integer rounding property

    A brief history of edge-colorings – with personal reminiscences

    Get PDF
    In this article we survey some important milestones in the history of edge-colorings of graphs, from the earliest contributions of Peter Guthrie Tait and Dénes König to very recent wor

    On Edge Coloring of Multigraphs

    Full text link
    Let Δ(G)\Delta(G) and χ(G)\chi'(G) be the maximum degree and chromatic index of a graph GG, respectively. Appearing in different format, Gupta\,(1967), Goldberg\,(1973), Andersen\,(1977), and Seymour\,(1979) made the following conjecture: Every multigraph GG satisfies χ(G)max{Δ(G)+1,Γ(G)}\chi'(G) \le \max\{ \Delta(G) + 1, \Gamma(G) \}, where Γ(G)=maxHGE(H)12V(H)\Gamma(G) = \max_{H \subseteq G} \left\lceil \frac{ |E(H)| }{ \lfloor \tfrac{1}{2} |V(H)| \rfloor} \right\rceil is the density of GG. In this paper, we present a polynomial-time algorithm for coloring any multigraph with max{Δ(G)+1,Γ(G)}\max\{ \Delta(G) + 1, \Gamma(G) \} many colors, confirming the conjecture algorithmically. Since χ(G)max{Δ(G),Γ(G)}\chi'(G)\geq \max\{ \Delta(G), \Gamma(G) \}, this algorithm gives a proper edge coloring that uses at most one more color than the optimum. As determining the chromatic index of an arbitrary graph is NPNP-hard, the max{Δ(G)+1,Γ(G)}\max\{ \Delta(G) + 1, \Gamma(G) \} bound is best possible for efficient proper edge coloring algorithms on general multigraphs, unless P=NPP=NP

    EUROCOMB 21 Book of extended abstracts

    Get PDF
    corecore