|
|
| Line 1: |
Line 1: |
| [[Image:Desargues graph 3color edge.svg|thumb|250px|right|A 3-edge-coloring of the [[Desargues graph]].]]
| | Nice to meet you, I am Milford Wyant. To do ceramics is the factor I love most. Maryland is the place I love most. For many years I've been operating as an info officer. Check out the latest news on my web site: http://liftreklama.ru/node/571855<br><br>Also visit my website :: Armé hittar nya casino gällande webben ([http://liftreklama.ru/node/571855 Klikk webside]) |
| | |
| In [[graph theory]], an '''edge coloring''' of a [[Graph (mathematics)|graph]] is an assignment of “colors” to the edges of the graph so that no two adjacent edges have the same color. For example, the figure to the right shows an edge coloring of a graph by the colors red, blue, and green. Edge colorings are one of several different types of [[graph coloring]]. The '''edge-coloring problem''' asks whether it is possible to color the edges of a given graph using at most {{mvar|k}} different colors, for a given value of {{mvar|k}}, or with the fewest possible colors. The minimum required number of colors for the edges of a given graph is called the '''chromatic index''' of the graph. For example, the edges of the graph in the illustration can be colored by three colors but cannot be colored by two colors, so the graph shown has chromatic index three.
| |
| | |
| By [[Vizing's theorem]], the number of colors needed to edge color a simple graph is either its maximum degree {{math|Δ}} or {{math|Δ+1}}. For some graphs, such as [[bipartite graph]]s and high-degree [[planar graph]]s, the number of colors is always {{math|Δ}}, and for [[multigraph]]s, the number of colors may be as large as {{math|3Δ/2}}. There are polynomial time algorithms that construct optimal colorings of bipartite graphs, and colorings of non-bipartite simple graphs that use at most {{math|Δ+1}} colors; however, the general problem of finding an optimal edge coloring is [[NP-complete]] and the fastest known algorithms for it take exponential time. Many variations of the edge coloring problem, in which an assignments of colors to edges must satisfy other conditions than non-adjacency, have been studied. Edge colorings have applications in scheduling problems and in frequency assignment for [[fiber optic]] networks.
| |
| | |
| ==Examples==
| |
| A [[cycle graph]] may have its edges colored with two colors if the length of the cycle is even: simply alternate the two colors around the cycle. However, if the length is odd, three colors are needed.<ref>{{harvtxt|Soifer|2008}}, problem 16.4, p. 133.</ref>
| |
| | |
| [[File:Complete-edge-coloring.svg|thumb|Geometric construction of a 7-edge-coloring of the [[complete graph]] {{math|''K''<sub>8</sub>}}. Each of the seven color classes has one edge from the center to a polygon vertex, and three edges perpendicular to it.]]
| |
| A [[complete graph]] {{mvar|K<sub>n</sub>}} with {{mvar|n}} vertices may have its edges colored with {{math|''n'' − 1}} colors when {{mvar|n}} is an even number; this is a special case of [[Baranyai's theorem]]. {{harvtxt|Soifer|2008}} provides the following geometric construction of a coloring in this case: place {{mvar|n}} points at the vertices and center of a regular {{math|(''n'' − 1)}}-sided polygon. For each color class, include one edge from the center to one of the polygon vertices, and all of the perpendicular edges connecting pairs of polygon vertices. However, when {{mvar|n}} is odd, {{mvar|n}} colors are needed: each color can only be used for {{math|(''n'' − 1)/2}} edges, a {{math|1/''n''}} fraction of the total.<ref>{{harvtxt|Soifer|2008}}, problem 16.5, p. 133. The fact that either {{mvar|n}} or {{math|(''n'' − 1)}} colors are needed is an instance of [[Vizing's theorem]].</ref>
| |
| | |
| Several authors have studied edge colorings of the [[odd graph]]s, {{mvar|n}}-regular graphs in which the vertices represent teams of {{math|''n'' − 1}} players selected from a pool of {{mvar|2''n'' - 1}} players, and in which the edges represent possible pairings of these teams (with one player left as "odd man out" to referee the game). The case that {{math|1=''n'' = 3}} gives the well-known [[Petersen graph]]. As {{harvtxt|Biggs|1972}} explains the problem (for {{math|1=''n'' = 6}}), the players wish to find a schedule for these pairings such that each team plays each of its six games on different days of the week, with Sundays off for all teams; that is, formalizing the problem mathematically, they wish to find a 6-edge-coloring of the 6-regular odd graph {{math|''O''<sub>6</sub>}}. When {{mvar|n}} is 3, 4, or 8, an edge coloring of {{math|''O''<sub>''n''</sub>}} requires {{math|''n'' + 1}} colors, but when it is 5, 6, or 7, only {{mvar|n}} colors are needed.<ref>{{harvtxt|Biggs|1972}}; {{harvtxt| Meredith|Lloyd|1973}}; {{harvtxt|Biggs|1979}}.</ref>
| |
| | |
| == Definitions ==
| |
| As with its [[Graph coloring|vertex counterpart]], an '''edge coloring''' of a graph, when mentioned without any qualification, is always assumed to be a proper coloring of the edges, meaning no two adjacent edges are assigned the same color. Here, two edges are considered to be adjacent when they share a common vertex. An edge coloring of a graph {{mvar|G}} may also be thought of as equivalent to a vertex coloring of the [[line graph]] {{math|''L''(''G'')}}, the graph that has a vertex for every edge of {{mvar|G}} and an edge for every pair of adjacent edges in {{mvar|G}}.
| |
| | |
| A proper edge coloring with {{mvar|k}} different colors is called a (proper) {{mvar|k}}-edge-coloring. A graph that can be assigned a (proper) {{mvar|k}}-edge-coloring is said to be {{mvar|k}}-edge-colorable. The smallest number of colors needed in a (proper) edge coloring of a graph {{mvar|G}} is the '''chromatic index''', or edge chromatic number, {{math|χ′(''G'')}}. The chromatic index is also sometimes written using the notation {{math|χ<sub>1</sub>(''G'')}}; in this notation, the subscript one indicates that edges are one-dimensional objects. A graph is {{mvar|k}}-edge-chromatic if its chromatic index is exactly {{mvar|k}}. The chromatic index should not be confused with the [[graph coloring|chromatic number]] {{math|χ(''G'')}} or {{math|χ<sub>0</sub>(''G'')}}, the minimum number of colors needed in a proper vertex coloring of {{mvar|G}}.
| |
| | |
| Unless stated otherwise all graphs are assumed to be simple, in contrast to [[multigraph]]s in which two or more edges may connecting the same pair of endpoints and in which there may be self-loops. For many problems in edge coloring, simple graphs behave differently from multigraphs, and additional care is needed to extend theorems about edge colorings of simple graphs to the multigraph case.
| |
| | |
| ==Relation to matching==
| |
| [[File:Class-2-planar-3-regular.svg|thumb|This 3-regular [[planar graph]] has 16 vertices and 24 edges, but only 7 edges in any maximum matching. Therefore, it requires four colors in any edge coloring.]]
| |
| A [[Matching (graph theory)|matching]] in a graph {{mvar|G}} is a set of edges, no two of which are adjacent; a [[perfect matching]] is a matching that includes edges touching all of the vertices of the graph, and a [[maximum matching]] is a matching that includes as many edges as possible. In an edge coloring, the set of edges with any one color must all be non-adjacent to each other, so they form a matching. That is, a proper edge coloring is the same thing as a partition of the graph into disjoint matchings.
| |
| | |
| If the size of a maximum matching in a given graph is small, then many matchings will be needed in order to cover all of the edges of the graph. Expressed more formally, this reasoning implies that if a graph has {{mvar|m}} edges in total, and if at most {{math|β}} edges may belong to a maximum matching, then every edge coloring of the graph must use at least {{math|''m''/β}} different colors.<ref name="s134">{{harvtxt|Soifer|2008}}, p. 134.</ref> For instance, the 16-vertex planar graph shown in the illustration has {{math|1=''m'' = 24}} edges. In this graph, there can be no perfect matching; for, if the center vertex is matched, the remaining unmatched vertices may be grouped into three different connected components with four, five, and five vertices, and the components with an odd number of vertices cannot be perfectly matched. However, the graph has maximum matchings with seven edges, so {{math|1=β = 7}}. Therefore, the number of colors needed to edge-color the graph is at least 24/7, and since the number of colors must be an integer it is at least four.
| |
| | |
| For a [[regular graph]] of degree {{mvar|k}} that does not have a perfect matching, this lower bound can be used to show that at least {{math|''k'' + 1}} colors are needed.<ref name="s134"/> In particular, this is true for a regular graph with an odd number of vertices (such as the odd complete graphs); for such graphs, by the [[handshaking lemma]], {{mvar|k}} must itself be even. However, the inequality {{math|χ′ ≥ ''m''/β}} does not fully explain the chromatic index of every regular graph, because there are regular graphs that do have perfect matchings but that are not ''k''-edge-colorable. For instance, the [[Petersen graph]] is regular, with {{math|1=''m'' = 15}} and with {{math|1=β = 5}} edges in its perfect matchings, but it does not have a 3-edge-coloring.
| |
| | |
| ==Relation to degree==
| |
| | |
| ===Vizing's theorem===
| |
| The edge chromatic number of a graph {{mvar|G}} is very closely related to the [[Degree (graph theory)|maximum degree]] {{math|Δ(''G'')}}, the largest number of edges incident to any single vertex of {{mvar|G}}. Clearly, {{math|χ′(''G'') ≥ Δ(''G'')}}, for if {{math|Δ}} different edges all meet at the same vertex {{mvar|v}}, then all of these edges need to be assigned different colors from each other, and that can only be possible if there are at least {{math|Δ}} colors available to be assigned. [[Vizing's theorem]] (named for [[Vadim G. Vizing]] who published it in 1964) states that this bound is almost tight: for any graph, the edge chromatic number is either {{math|Δ(''G'')}} or {{math|Δ(''G'') + 1}}.
| |
| When {{math|1=χ′(''G'') = Δ(''G'')}}, ''G'' is said to be of class 1; otherwise, it is said to be of class 2.
| |
| | |
| Every bipartite graph is of class 1,<ref>{{harvtxt|Kőnig|1916}}</ref> and [[almost all]] [[random graph]]s are of class 1.<ref>{{harvtxt|Erdős|Wilson|1977}}.</ref> However, it is [[NP-complete]] to determine whether an arbitrary graph is of class 1.<ref>{{harvtxt|Holyer|1981}}.</ref>
| |
| | |
| {{harvtxt|Vizing|1965}} proved that [[planar graph]]s of maximum degree at least eight are of class one and conjectured that the same is true for planar graphs of maximum degree seven or six. On the other hand, there exist planar graphs of maximum degree ranging from two through five that are of class two. The conjecture has since been proven for graphs of maximum degree seven.<ref>{{harvtxt|Sanders|Zhao|2001}}.</ref> [[Bridge (graph theory)|Bridgeless]] planar [[cubic graph]]s are all of class 1; this is an equivalent form of the [[four color theorem]].<ref>{{harv|Tait|1880}}; {{harvtxt|Appel|Haken|1976}}.</ref>
| |
| | |
| ===Regular graphs===
| |
| A [[1-factorization]] of a ''k''-[[regular graph]], a partition of the edges of the graph into [[perfect matching]]s, is the same thing as a ''k''-edge-coloring of the graph. That is, a regular graph has a 1-factorization if and only if it is of class 1. As a special case of this, a 3-edge-coloring of a [[cubic graph|cubic]] (3-regular) graph is sometimes called a '''Tait coloring'''.
| |
| | |
| Not every regular graph has a 1-factorization; for instance, the [[Petersen graph]] does not. More generally the [[Snark (graph theory)|snark]]s are defined as the graphs that, like the Petersen graph, are bridgeless, 3-regular, and of class 2.
| |
| | |
| According to the theorem of {{harvtxt|Kőnig|1916}}, every bipartite regular graph has a 1-factorization. The theorem was stated earlier in terms of [[projective configuration]]s and was proven by [[Ernst Steinitz]].
| |
| | |
| ===Multigraphs===
| |
| [[File:Multigraph-edge-coloring.svg|thumb|A [[Shannon multigraph]] with degree six, edge multiplicity three, and requires nine colors in any edge coloring]]
| |
| For [[multigraph]]s, in which multiple parallel edges may connect the same two vertices, results that are similar to but weaker than Vizing's theorem are known relating the edge chromatic number {{math|1=χ′(''G'')}}, the maximum degree {{math|Δ(''G'')}}, and the multiplicity {{math|μ(''G'')}}, the maximum number of edges in any bundle of parallel edges. As a simple example showing that Vizing's theorem does not generalize to multigraphs, consider a [[Shannon multigraph]], a multigraph with three vertices and three bundles of {{math|μ(''G'')}} parallel edges connecting each of the three pairs of vertices. In this example, {{math|1=Δ(''G'') = 2μ(''G'')}} (each vertex is incident to only two out of the three bundles of {{math|μ(''G'')}} parallel edges) but the edge chromatic number is {{math|3μ(''G'')}} (there are {{math|3μ(''G'')}} edges in total, and every two edges are adjacent, so all edges must be assigned different colors to each other). In a result that inspired Vizing,<ref>{{harvtxt|Soifer|2008}}, p. 136.</ref> {{harvtxt|Shannon|1949}} showed that this is the worst case: {{math|χ′(''G'') ≤ (3/2)Δ(''G'')}} for any multigraph {{mvar|G}}. Additionally, for any multigraph {{mvar|G}}, {{math|χ′(''G'') ≤ Δ(''G'') + μ(''G'')}}, an inequality that reduces to Vizing's theorem in the case of simple graphs (for which {{math|1=μ(''G'') = 1}}).
| |
| | |
| ==Algorithms==
| |
| Because the problem of testing whether a graph is class 1 is [[NP-complete]], there is no known polynomial time algorithm for edge-coloring every graph with an optimal number of colors. Nevertheless a number of algorithms have been developed that relax one or more of these criteria: they only work on a subset of graphs, or they do not always use an optimal number of colors, or they do not always run in polynomial time.
| |
| | |
| ===Optimally coloring special classes of graphs===
| |
| In the case of [[bipartite graph]]s or multigraphs with maximum degree {{math|Δ}}, the optimal number of colors is exactly {{math|Δ}}. {{harvtxt|Cole|Ost|Schirra|2001}} showed that an optimal edge coloring of these graphs can be found in the near-linear time bound {{math|O(''m'' log Δ)}}, where {{mvar|m}} is the number of edges in the graph; simpler, but somewhat slower, algorithms are described by {{harvtxt|Cole|Hopcroft|1982}} and {{harvtxt|Alon|2003}}. The algorithm of {{harvtxt|Alon|2003}} begins by making the input graph regular, without increasing its degree or significantly increasing its size, by merging pairs of vertices that belong to the same side of the bipartition and then adding a small number of additional vertices and edges. Then, if the degree is odd, Alon finds a single perfect matching in near-linear time, assigns it a color, and removes it from the graph, causing the degree to become even. Finally, Alon applies an observation of {{harvtxt|Gabow|1976}}, that selecting alternating subsets of edges in an [[Euler tour]] of the graph partitions it into two regular subgraphs, to split the edge coloring problem into two smaller subproblems, and his algorithm solves the two subproblems [[recursion|recursively]]. The total time for his algorithm is {{math|O(''m'' log ''m'')}}.
| |
| | |
| For [[planar graph]]s with maximum degree {{math|Δ ≥ 7}}, the optimal number of colors is again exactly {{math|Δ}}. With the stronger assumption that {{math|Δ ≥ 9}}, it is possible to find an optimal edge coloring in linear time {{harv|Cole|Kowalik|2008}}.
| |
| | |
| ===Algorithms that use more than the optimal number of colors===
| |
| {{harvtxt|Misra|Gries|1992}} and {{harvtxt|Gabow|Nishizeki|Kariv|Leven|1985}} describe polynomial time algorithms for coloring any graph with {{math|Δ + 1}} colors, meeting the bound given by Vizing's theorem.
| |
| | |
| For multigraphs, {{harvtxt|Karloff|Shmoys|1987}} present the following algorithm, which they attribute to [[Eli Upfal]]. Make the input multigraph {{mvar|G}} [[Euler tour|Eulerian]] by adding a new vertex connected by an edge to every odd-degree vertex, find an Euler tour, and choose an orientation for the tour. Form a bipartite graph {{mvar|H}} in which there are two copies of each vertex of {{mvar|G}}, one on each side of the bipartition, with an edge from a vertex {{mvar|u}} on the left side of the bipartition to a vertex {{mvar|v}} on the right side of the bipartition whenever the oriented tour has an edge from {{mvar|u}} to {{mvar|v}} in {{mvar|G}}. Apply a bipartite graph edge coloring algorithm to {{mvar|H}}. Each color class in {{mvar|H}} corresponds to a set of edges in {{mvar|G}} that form a subgraph with maximum degree two; that is, a disjoint union of paths and cycles, so for each color class in {{mvar|H}} it is possible to form three color classes in {{mvar|G}}. The time for the algorithm is bounded by the time to edge color a bipartite graph, {{math|O(''m'' log Δ)}} using the algorithm of {{harvtxt|Cole|Ost|Schirra|2001}}. The number of colors this algorithm uses is at most <math>3 \left\lceil\frac\Delta2\right\rceil</math>, close to but not quite the same as Shannon's bound of <math>\left\lfloor\frac{3\Delta}2\right\rfloor</math>. It may also be made into a [[parallel algorithm]] in a straightforward way. In the same paper, Karloff and Shmoys also present a linear time algorithm for coloring multigraphs of maximum degree three with four colors (matching both Shannon's and Vizing's bounds) that operates on similar principles: their algorithm adds a new vertex to make the graph Eulerian, finds an Euler tour, and then chooses alternating sets of edges on the tour to split the graph into two subgraphs of maximum degree two. The paths and even cycles of each subgraph may be colored with two colors per subgraph. After this step, each remaining odd cycle contains at least one edge that may be colored with one of the two colors belonging to the opposite subgraph. Removing this edge from the odd cycle leaves a path, which may be colored using the two colors for its subgraph.
| |
| | |
| A [[greedy coloring]] algorithm that considers the edges of a graph or multigraph one by one, assigning each edge the first available color, may sometimes use as many as {{math|2Δ − 1}} colors, which may be nearly twice as many number of colors as is necessary. However, it has the advantage that it may be used in the [[online algorithm]] setting in which the input graph is not known in advance; in this setting, its [[competitive ratio]] is two, and this is optimal: no other online algorithm can achieve a better performance.<ref>{{harvtxt|Bar-Noy|Motwani|Naor|1992}}.</ref> However, if edges arrive in a random order, and the input graph has a degree that is at least logarithmic, then smaller competitive ratios can be achieved.<ref>{{harvtxt|Bahmani|Mehta|Motwani|2010}}.</ref>
| |
| | |
| Several authors have made conjectures that imply that the [[Fractional coloring|fractional chromatic index]] of any multigraph (a number that can be computed in polynomial time using [[linear programming]]) is within one of the chromatic index.<ref>{{harvtxt|Gol'dberg|1973}}; {{harvtxt|Andersen|1977}}; {{harvtxt|Seymour|1979}}.</ref> If these conjectures are true, it would be possible to compute a number that is never more than one off from the chromatic index in the multigraph case, matching what is known via Vizing's theorem for simple graphs. Although unproven in general, these conjectures are known to hold when the chromatic index is at least <math>\Delta+\sqrt{\Delta/2}</math>, as can happen for multigraphs with sufficiently large multiplicity.<ref>{{harvtxt|Chen|Yu|Zang|2011}}.</ref>
| |
| | |
| ===Exact algorithms===
| |
| It is straightforward to test whether a graph may be edge colored with one or two colors, so the first nontrivial case of edge coloring is testing whether a graph has a 3-edge-coloring.
| |
| As {{harvtxt|Kowalik|2009}} showed, it is possible to test whether a graph has a 3-edge-coloring in time {{math|O(1.344<sup>''n''</sup>)}}, while using only polynomial space. Although this time bound is exponential, it is significantly faster than a brute force search over all possible assignments of colors to edges. Every [[biconnected graph|biconnected]] 3-regular graph with {{mvar|n}} vertices has {{math|O(2<sup>''n''/2</sup>)}} 3-edge-colorings; all of which can be listed in time {{math|O(2<sup>''n''/2</sup>)}} (somewhat slower than the time to find a single coloring); as [[Greg Kuperberg]] observed, the graph of a [[Prism (geometry)|prism]] over an {{math|''n''/2}}-sided polygon has many colorings, showing that this bound is tight.<ref>{{harvtxt|Eppstein|2008}}.</ref>
| |
| | |
| By applying exact algorithms for vertex coloring to the [[line graph]] of the input graph, it is possible to optimally edge-color any graph with {{mvar|m}} edges, regardless of the number of colors needed, in time {{math|2<sup>''m''</sup>''m''<sup>O(1)</sup>}} and exponential space, or in time {{math|O(2.2461<sup>''m''</sup>)}} and only polynomial space {{harv|Björklund|Husfeldt|Koivisto|2009}}.
| |
| | |
| Because edge coloring is NP-complete even for three colors, it is unlikely to be [[Parameterized complexity|fixed parameter tractable]] when parametrized by the number of colors. However, it is tractable for other parameters. In particular, {{harvtxt|Zhou|Nakano|Nishizeki|1996}} showed that for graphs of [[treewidth]] {{mvar|w}}, an optimal edge coloring can be computed in time {{math|O(''nw''(6''w'')<sup>''w''(''w'' + 1)/2</sup>)}}, a bound that depends superexponentially on {{mvar|w}} but only linearly on the number {{mvar|n}} of vertices in the graph.
| |
| | |
| {{harvtxt|Nemhauser|Park|1991}} formulate the edge coloring problem as an [[integer program]] and describe their experience using an integer programming solver to edge color graphs. However, they did not perform any complexity analysis of their algorithm.
| |
| | |
| ==Additional properties==
| |
| [[File:Generalized Petersen 9 2 Hamiltonicity.svg|thumb|The uniquely 3-colorable [[generalized Petersen graph]] {{math|''G''(9,2)}}. One of its three color classes is shown by the light edges and the other two can be found either by rotating the light edges by 40° in each direction or by partitioning the dark Hamiltonian cycle into alternating edges.]]
| |
| A graph is [[Uniquely colorable graph|uniquely]] {{mvar|k}}-edge-colorable if there is only one way of partitioning the edges into {{mvar|k}} color classes, ignoring the {{math|''k''!}} possible permutations of the colors. For {{math|''k'' ≠ 3}}, the only uniquely {{mvar|k}}-edge-colorable graphs are paths, cycles, and [[star (graph theory)|star]]s, but for {{math|1=''k'' = 3}} other graphs may also be uniquely {{mvar|k}}-edge-colorable. Every uniquely 3-edge-colorable graph has exactly three [[Hamiltonian cycle]]s (formed by deleting one of the three color classes) but there exist 3-regular graphs that have three Hamiltonian cycles and are not uniquely 3-colorable, such as the [[generalized Petersen graph]]s {{math|''G''(6''n'' + 3, 2)}} for {{math|''n'' ≥ 2}}. The only known nonplanar uniquely 3-colorable graph is the generalized Petersen graph {{math|''G''(9,2)}}, and it has been conjectured that no others exist.<ref>{{harvtxt|Schwenk|1989}}.</ref>
| |
| | |
| [[File:K33 parallel edge coloring.svg|thumb|160px|A drawing of the [[complete bipartite graph]] ''K''<sub>3,3</sub> with each of its three color classes drawn as parallel line segments on distinct lines.]]
| |
| {{harvtxt|Folkman|Fulkerson|1969}} investigated the non-increasing sequences of numbers {{math|''m''<sub>1</sub>, ''m''<sub>2</sub>, ''m''<sub>3</sub>, ...}} with the property that there exists a proper edge coloring of a given graph {{mvar|G}} with {{math|''m''<sub>1</sub>}} edges of the first color, {{math|''m''<sub>2</sub>}} edges of the first color, etc. They observed that, if a sequence {{mvar|P}} is feasible in this sense, and is greater in [[lexicographic order]] than a sequence {{mvar|Q}} with the same sum, then {{mvar|Q}} is also feasible. For, if {{math|''P'' > ''Q''}} in lexicographic order, then {{mvar|P}} can be transformed into {{mvar|Q}} by a sequence of steps, each of which reduces one of the numbers {{math|''m<sub>i</sub>''}} by one unit and increases another later number
| |
| {{math|''m<sub>j</sub>''}} with {{math|''i'' < ''j''}} by one unit. In terms of edge colorings, starting from a coloring that realizes {{mvar|P}}, each of these same steps may be performed by swapping colors {{mvar|i}} and {{mvar|j}} on a [[Kempe chain]], a maximal path of edges that alternate between the two colors. In particular, any graph has an [[equitable coloring|equitable]] edge coloring, an edge coloring with an optimal number of colors in which every two color classes differ in size by at most one unit.
| |
| | |
| The [[De Bruijn–Erdős theorem (graph theory)|De Bruijn–Erdős theorem]] may be used to transfer many edge coloring properties of finite graphs to [[infinite graph]]s. For instance, Shannon's and Vizing's theorems relating the degree of a graph to its chromatic index both generalize straightforwardly to infinite graphs.<ref>{{harvtxt|Bosák|1972}}.</ref>
| |
| | |
| {{harvtxt|Richter|2011}} considers the problem of finding a [[graph drawing]] of a given [[cubic graph]] with the properties that all of the edges in the drawing have one of three different slopes and that no two edges lie on the same line as each other. If such a drawing exists, then clearly the slopes of the edges may be used as colors in a 3-edge-coloring of the graph. For instance, the drawing of the [[utility graph]] {{math|''K''<sub>3,3</sub>}} as the edges and long diagonals of a [[regular hexagon]] represents a 3-edge-coloring of the graph in this way. As Richter shows, a 3-regular simple bipartite graph, with a given Tait coloring, has a drawing of this type that represents the given coloring if and only if the graph is [[k-edge-connected graph|3-edge-connected]]. For a non-bipartite graph, the condition is a little more complicated: a given coloring can be represented by a drawing if the [[bipartite double cover]] of the graph is 3-edge-connected, and if deleting any monochromatic pair of edges leads to a subgraph that is still non-bipartite. These conditions may all be tested easily in polynomial time; however, the problem of testing whether a 4-edge-colored 4-regular graph has a drawing with edges of four slopes, representing the colors by slopes, is complete for the [[existential theory of the reals]], a complexity class at least as difficult as being NP-complete.
| |
| | |
| As well as being related to the maximum degree and maximum matching number of a graph, the chromatic index is closely related to the [[arboricity|linear arboricity]] {{math|la(''G'')}} of a graph {{mvar|G}}, the minimum number of linear forests (disjoint unions of paths) into which the graph's edges may be partitioned. A matching is a special kind of linear forest, and in the other direction, any linear forest can be 2-edge-colored, so for every {{mvar|G}} it follows that {{math|la(''G'') ≤ χ′(''G'') ≤ 2 la(''G'')}}. [[Akiyama's conjecture]] states that <math>\mathop{\mathrm{la}}(G) \leq \left\lceil\frac{\Delta+1}{2}\right\rceil</math>, from which it would follow more strongly that {{math|2 la(''G'') − 2 ≤ χ′(''G'') ≤ 2 la(''G'')}}. For graphs of maximum degree three, {{math|la(''G'')}} is always exactly two, so in this case the bound {{math|χ′(''G'') ≤ 2 la(''G'')}} matches the bound given by Vizing's theorem.<ref>{{harvtxt|Akiyama|Exoo|Harary|1980}}; {{harvtxt|Habib|Péroche|1982}}; {{harvtxt|Horák|Niepel|1985}}.</ref>
| |
| | |
| ==Other types of edge coloring==
| |
| [[Image:K44 arboricity.svg|thumb|A partition of the [[complete bipartite graph]] ''K''<sub>4,4</sub> into three forests, showing that it has arboricity three.]]
| |
| The [[Thue number]] of a graph is the number of colors required in an edge coloring meeting the stronger requirement that, in every even-length path, the first and second halves of the path form different sequences of colors.
| |
| | |
| The [[arboricity]] of a graph is the minimum number of colors required so that the edges of each color have no cycles (rather than, in the standard edge coloring problem, having no adjacent pairs of edges). That is, it is the minimum number of [[forest (graph theory)|forests]] into which the edges of the graph may be partitioned into.<ref>{{harvtxt|Nash-Williams|1964}}.</ref> Unlike the chromatic index, the arboricity of a graph may be computed in polynomial time.<ref>{{harvtxt|Gabow|Westermann|1992}}.</ref>
| |
| | |
| [[List edge-coloring]] is a problem in which one is given a graph in which each edge is associated with a list of colors, and must find a proper edge coloring in which the color of each edge is drawn from that edge's list. The list chromatic index of a graph {{mvar|G}} is the smallest number {{mvar|k}} with the property that, no matter how one chooses lists of colors for the edges, as long as each edge has at least {{mvar|k}} colors in its list, then a coloring is guaranteed to be possible. Thus, the list chromatic index is always at least as large as the chromatic index. The [[Dinitz conjecture]] on the completion of partial [[Latin square]]s may be rephrased as the statement that the list edge chromatic number of the [[complete bipartite graph]] {{math|''K<sub>n,n</sub>''}} equals its edge chromatic number, {{mvar|n}}. {{harvtxt|Galvin|1995}} resolved the conjecture by proving, more generally, that in every bipartite graph the chromatic index and list chromatic index are equal. The equality between the chromatic index and the list chromatic index has been conjectured to hold, even more generally, for arbitrary multigraphs with no self-loops; this conjecture remains open.
| |
| | |
| Many other commonly studied variations of vertex coloring have also been extended to edge colorings. For instance, complete edge coloring is the edge-coloring variant of [[complete coloring]], a proper edge coloring in which each pair of colors must be represented by at least one pair of adjacent edges and in which the goal is to maximize the total number of colors.<ref>{{harvtxt|Bosák|Nešetřil|1976}}.</ref> Strong edge coloring is the edge-coloring variant of [[strong coloring]], an edge coloring in which every two edges with adjacent endpoints must have different colors.<ref>{{harvtxt|Fouquet|Jolivet|1983}}; {{harvtxt|Mahdian|2002}}; {{harvtxt|Frieze|Krivelevich|Sudakov|2005}}; {{harvtxt|Cranston|2006}}.</ref> Strong edge coloring has applications in [[channel allocation schemes]] for [[wireless networks]].<ref>{{harvtxt|Barrett|Istrate|Kumar|Marathe|2006}}.</ref> Acyclic edge coloring is the edge-coloring variant of [[acyclic coloring]], an edge coloring for which every two color classes form an acyclic subgraph (that is, a forest).<ref>{{harvtxt|Alon|Sudakov|Zaks|2002}}; {{harvtxt|Muthu|Narayanan|Subramanian|2007}}.</ref>
| |
| | |
| {{harvtxt|Eppstein|2008}} studied 3-edge-colorings of cubic graphs with the additional property that no two bichromatic cycles share more than a single edge with each other. He showed that the existence of such a coloring is equivalent to the existence of a [[graph drawing|drawing of the graph]] on a three-dimensional integer grid, with edges parallel to the coordinate axes and each axis-parallel line containing at most two vertices. However, like the standard 3-edge-coloring problem, finding a coloring of this type is NP-complete.
| |
| | |
| [[Total coloring]] is a form of coloring that combines vertex and edge coloring, by requiring both the vertices and edges to be colored. Any incident pair of a vertex and an edge, or an edge and an edge, must have distinct colors, as must any two adjacent vertices. It has been conjectured (combining Vizing's theorem and [[Brooks' theorem]]) that any graph has a total coloring in which the number of colors is at most the maximum degree plus two, but this remains unproven.
| |
| | |
| If a 3-regular graph on a surface is 3-edge-colored, its [[dual graph]] forms a [[Triangulation (geometry)|triangulation]] of the surface which is also edge colored (although not, in general, properly edge colored) in such a way that every triangle has one edge of each color. Other colorings and orientations of triangulations, with other local constraints on how the colors are arranged at the vertices or faces of the triangulation, may be used to encode several types of geometric object. For instance, rectangular subdivisions (partitions of a rectangular subdivision into smaller rectangles, with three rectangles meeting at every vertex) may be described combinatorially by a "regular labeling", a two-coloring of the edges of a triangulation dual to the subdivision, with the constraint that the edges incident to each vertex form four contiguous subsequences, within each of which the colors are the same. This labeling is dual to a coloring of the rectangular subdivision itself in which the vertical edges have one color and the horizontal edges have the other color. Similar local constraints on the order in which colored edges may appear around a vertex may also be used to encode straight-line grid embeddings of planar graphs and three-dimensional polyhedra with axis-parallel sides. For each of these three types of regular labelings, the set of regular labelings of a fixed graph forms a [[distributive lattice]] that may be used to quickly list all geometric structures based on the same graph (such as all axis-parallel polyhedra having the same skeleton) or to find structures satisfying additional constraints.<ref>{{harvtxt|Eppstein|2010}}.</ref>
| |
| | |
| A [[deterministic finite automaton]] may be interpreted as a [[directed graph]] in which each vertex has the same out-degree {{mvar|d}}, and in which the edges are {{mvar|d}}-colored in such a way that every two edges with the same source vertex have distinct colors. The [[road coloring problem]] is the problem of edge-coloring a directed graph with uniform out-degrees, in such a way that the resulting automaton has a [[synchronizing word]]. {{harvtxt|Trahtman|2009}} solved the road coloring problem by proving that such a coloring can be found whenever the given graph is [[strongly connected graph|strongly connected]] and [[aperiodic graph|aperiodic]].
| |
| | |
| [[Ramsey's theorem]] concerns the problem of {{mvar|k}}-coloring the edges of a large [[complete graph]] {{math|''K<sub>n</sub>''}} in order to avoid creating monochromatic complete subgraphs {{math|''K<sub>s</sub>''}} of some given size {{mvar|s}}. According to the theorem, there exists a number {{math|''R''<sub>''k''</sub>(''s'')}} such that, whenever {{math|''n'' ≥ ''R''(''s'')}}, such a coloring is not possible. For instance, {{math|1=''R''<sub>2</sub>(3) = 6}}, that is, if the edges of the graph {{math|''K''<sub>6</sub>}} are 2-colored, there will always be a monochromatic triangle.
| |
| | |
| ==Applications==
| |
| Edge colorings of complete graphs may be used to schedule a [[round-robin tournament]] into as few rounds as possible so that each pair of competitors plays each other in one of the rounds; in this application, the vertices of the graph correspond to the competitors in the tournament, the edges correspond to games, and the edge colors correspond to the rounds in which the games are played.<ref>{{harvtxt|Burke|De Werra|Kingston|2004}}.</ref> Similar coloring techniques may also be used to schedule other sports pairings that are not all-play-all; for instance, in the [[National Football League]], the pairs of teams that will play each other in a given year are determined, based on the teams' records from the previous year, and then an edge coloring algorithm is applied to the graph formed by the set of pairings in order to assign games to the weekends on which they are played.<ref>{{harvtxt|Skiena|2008}}.</ref> For this application, Vizing's theorem implies that no matter what set of pairings is chosen (as long as no teams play each other twice in the same season), it is always possible to find a schedule that uses at most one more weekend than there are games per team.
| |
| | |
| [[Open shop scheduling]] is a problem of [[Scheduling (production processes)|scheduling production processes]], in which there are a set of objects to be manufactured, each object has a set of tasks to be performed on it (in any order), and each task must be performed on a specific machine, preventing any other task that requires the same machine from being performed at the same time. If all tasks have the same length, then this problem may be formalized as one of edge coloring a bipartite multigraph, in which the vertices on one side of the bipartition represent the objects to be manufactured, the vertices on the other side of the bipartition represent the manufacturing machines, the edges represent tasks that must be performed, and the colors represent time steps in which each task may be performed. Since bipartite edge coloring may be performed in polynomial time, the same is true for this restricted case of open shop scheduling.<ref>{{harvtxt|Williamson|Hall|Hoogoveen|Hurkens|1997}}.</ref>
| |
| | |
| {{harvtxt|Gandham|Dawande|Prakash|2005}} study the problem of link scheduling for [[time division multiple access]] network communications protocols on [[sensor network]]s as a variant of edge coloring. In this problem, one must choose time slots for the edges of a wireless communications network so that each node of the network can communicate with each neighboring node without interference. Using a strong edge coloring (and using two time slots for each edge color, one for each direction) would solve the problem but might use more time slots than necessary. Instead, they seek a coloring of the directed graph formed by doubling each undirected edge of the network, with the property that each directed edge {{mvar|uv}} has a different color from the edges that go out from {{mvar|v}} and from the neighbors of {{mvar|v}}. They propose a heuristic for this problem based on a distributed algorithm for {{math|(Δ + 1)}}-edge-coloring together with a postprocessing phase that reschedules edges that might interfere with each other.
| |
| | |
| In [[fiber-optic communication]], the [[path coloring]] problem is the problem of assigning colors (frequencies of light) to pairs of nodes that wish to communicate with each other, and paths through a fiber-optic communications network for each pair, subject to the restriction that no two paths that share a segment of fiber use the same frequency as each other. Paths that pass through the same communication switch but not through any segment of fiber are allowed to use the same frequency. When the communications network is arranged as a [[star network]], with a single central switch connected by separate fibers to each of the nodes, the path coloring problem may be modeled exactly as a problem of edge coloring a graph or multigraph, in which the communicating nodes form the graph vertices, pairs of nodes that wish to communicate form the graph edges, and the frequencies that may be used for each pair form the colors of the edge coloring problem. For communications networks with a more general tree topology, local path coloring solutions for the star networks defined by each switch in the network may be patched together to form a single global solution.<ref>{{harvtxt|Erlebach|Jansen|2001}}.</ref>
| |
| | |
| ==Open problems==
| |
| {{harvtxt|Jensen|Toft|1995}} list 23 open problems concerning edge coloring. They include:
| |
| *The conjecture of {{harvtxt|Goldberg|1973}} that the chromatic index and fractional index are within one of each other, which would allow the chromatic index to be approximated within one color in polynomial time.
| |
| *Several conjectures of Jakobsen and others on the structure of [[critical graph]]s for edge coloring, graphs of class 2 such that any subgraph either has smaller maximum degree or is of class 1. Jakobsen originally conjectured that all critical graphs have an odd number of vertices, but this was eventually disproved. Several other conjectures weakening this one, or bounding the numbers of vertices of critical graphs and critical multigraphs, remain open.
| |
| *Vizing's problem of classifying the maximum degrees that are possible for class 2 planar graphs.
| |
| *The [[Overfull graph|overfull subgraph conjecture]] of A. J. W. Hilton, stating that graphs with degree at least {{math|''n''/3}} are either of class 1 or contain a subgraph with the same degree {{math|Δ}} as the original graph, and with an odd number {{mvar|k}} of vertices, such that the number of edges in the subgraph is greater than {{math|Δ(''k'' − 1)/2}}, and a similar conjecture by [[Herbert Grötzsch]] and [[Paul Seymour (mathematician)|Paul Seymour]] concerning planar graphs in place of high-degree graphs.
| |
| *A conjecture of Chetwynd and Hilton (possibly going back earlier to the work of [[Gabriel Andrew Dirac]]) that regular graphs with an even number {{mvar|n}} of vertices and with degree at least {{math|''n''/2}} are of class 1.
| |
| *A conjecture of [[Claude Berge]] and [[D. R. Fulkerson]] that the 6-regular multigraphs formed by doubling every edge of a bridgeless 3-regular simple graph may be edge-colored with six colors.
| |
| *A conjecture of Fiorini and Wilson that every [[triangle-free graph|triangle-free]] planar graph, other than the [[Star (graph theory)|claw]] ''K''<sub>1,3</sub>, is not [[Uniquely colorable graph|uniquely 3-edge-colorable]].
| |
| <br /> | |
| A current conjecture is that if {{math|''G''}} is a {{math|''d''}}-regular planar multigraph, then {{math|''G''}} is {{math|''d''}}-edge-colorable if and only if {{math|''G''}} is oddly {{math|''d''}}-edge-connected. This conjecture can be seen as a generalization of the [[Four color theorem]] when {{math|''d''}}=3. [[Maria Chudnovsky]], Katherine Edwards, and [[Paul Seymour (mathematician)|Paul Seymour]] proved that an 8-regular planar multigraph has an edge chromatic number of 8.<ref name="Edge-Colouring Eight-Regular Planar Graphs">{{cite journal|authors=Maria Chudnovsky, Katherine Edwards, Paul Seymour|title=Edge-colouring eight-regular planar graphs|date=2012-01-13|accessdate=26 April 2013}}</ref>
| |
| | |
| ==Notes==
| |
| {{reflist|colwidth=30em}}
| |
| | |
| == References ==
| |
| {{refbegin|colwidth=30em}}
| |
| *{{citation
| |
| | last1 = Akiyama | first1 = Jin
| |
| | last2 = Exoo | first2 = Geoffrey
| |
| | last3 = Harary | first3 = Frank | author3-link = Frank Harary
| |
| | issue = 4
| |
| | journal = Mathematica Slovaca
| |
| | mr = 595302
| |
| | pages = 405–417
| |
| | title = Covering and packing in graphs. III. Cyclic and acyclic invariants
| |
| | volume = 30
| |
| | year = 1980}}.
| |
| *{{citation
| |
| | last = Alon | first = Noga | author-link = Noga Alon
| |
| | doi = 10.1016/S0020-0190(02)00446-5
| |
| | issue = 6
| |
| | journal = Information Processing Letters
| |
| | mr = 1956451
| |
| | pages = 301–302
| |
| | title = A simple algorithm for edge-coloring bipartite multigraphs
| |
| | volume = 85
| |
| | year = 2003}}.
| |
| *{{citation
| |
| | last1 = Alon | first1 = Noga | author1-link = Noga Alon
| |
| | last2 = Sudakov | first2 = Benny
| |
| | last3 = Zaks | first3 = Ayal
| |
| | doi = 10.1002/jgt.1010
| |
| | issue = 3
| |
| | journal = Journal of Graph Theory
| |
| | mr = 1837021
| |
| | pages = 157–167
| |
| | title = Acyclic edge colorings of graphs
| |
| | volume = 37
| |
| | year = 2001}}.
| |
| *{{citation
| |
| | last = Andersen | first = Lars Døvling
| |
| | issue = 2
| |
| | journal = Mathematica Scandinavica
| |
| | mr = 0465922
| |
| | pages = 161–175
| |
| | title = On edge-colourings of graphs
| |
| | volume = 40
| |
| | year = 1977}}. As cited by {{harvtxt|Chen|Yu|Zang|2011}}.
| |
| *{{citation
| |
| | last1 = Appel | first1 = K. | author1-link = Kenneth Appel
| |
| | last2 = Haken | first2 = W. | author2-link = Wolfgang Haken
| |
| | doi = 10.1090/S0002-9904-1976-14122-5
| |
| | issue = 5
| |
| | journal = Bulletin of the American Mathematical Society
| |
| | mr = 0424602
| |
| | pages = 711–712
| |
| | title = Every planar map is four colorable
| |
| | volume = 82
| |
| | year = 1976}}.
| |
| *{{citation
| |
| | last1 = Bahmani | first1 = Bahman
| |
| | last2 = Mehta | first2 = Aranyak
| |
| | last3 = Motwani | first3 = Rajeev | author3-link = Rajeev Motwani
| |
| | contribution = A 1.43-competitive online graph edge coloring algorithm in the random order arrival model
| |
| | pages = 31–39
| |
| | title = Proceedings of the Twenty-First Annual ACM-SIAM Symposium on Discrete Algorithms (SODA '10)
| |
| | url = http://portal.acm.org/citation.cfm?id=1873601.1873605
| |
| | year = 2010}}.
| |
| *{{citation
| |
| | last1 = Bar-Noy | first1 = Amotz
| |
| | last2 = Motwani | first2 = Rajeev | author2-link = Rajeev Motwani
| |
| | last3 = Naor | first3 = Joseph
| |
| | doi = 10.1016/0020-0190(92)90209-E
| |
| | issue = 5
| |
| | journal = Information Processing Letters
| |
| | pages = 251–253
| |
| | title = The greedy algorithm is optimal for on-line edge coloring
| |
| | volume = 44
| |
| | year = 1992}}.
| |
| *{{citation
| |
| | last1 = Barrett | first1 = C.L.
| |
| | last2 = Istrate | first2 = G.
| |
| | last3 = Kumar | first3 = V.S.A.
| |
| | last4 = Marathe | first4 = M.V.
| |
| | last5 = Thite | first5 = S.
| |
| | last6 = Thulasidasan | first6 = S.
| |
| | contribution = Strong edge coloring for channel assignment in wireless radio networks
| |
| | doi = 10.1109/PERCOMW.2006.129
| |
| | title = Proc. Fourth Annual IEEE International Conference on Pervasive Computing and Communications Workshops (PerCom Workshops 2006)
| |
| | year = 2006
| |
| | isbn = 0-7695-2520-2
| |
| | pages = 106}}.
| |
| *{{citation
| |
| | last = Biggs | first = Norman
| |
| | contribution = An edge-colouring problem
| |
| | edition = 9
| |
| | editor-last = Guy | editor-first = Richard K. | editor-link = Richard K. Guy
| |
| | journal = American Mathematical Monthly
| |
| | pages = 1018–1020
| |
| | title = Research Problems
| |
| | jstor = 2318076
| |
| | volume = 79
| |
| | year = 1972
| |
| | issue = 9}}.
| |
| *{{citation|contribution=Some odd graph theory|first=Norman|last=Biggs|series=Annals of the New York Academy of Sciences|volume=319|title=Second International Conference on Combinatorial Mathematics|pages=71–81|year=1979|doi=10.1111/j.1749-6632.1979.tb32775.x|journal=Annals of the New York Academy of Sciences}}.
| |
| *{{citation
| |
| | last1 = Björklund | first1 = Andreas
| |
| | last2 = Husfeldt | first2 = Thore
| |
| | last3 = Koivisto | first3 = Mikko
| |
| | doi = 10.1137/070683933
| |
| | issue = 2
| |
| | journal = SIAM Journal on Computing
| |
| | mr = 2529771
| |
| | pages = 546–563
| |
| | title = Set partitioning via inclusion-exclusion
| |
| | volume = 39
| |
| | year = 2009}}.
| |
| *{{citation
| |
| | last = Bosák | first = Juraj
| |
| | journal = Czechoslovak Mathematical Journal
| |
| | mr = 0309777
| |
| | pages = 272–290
| |
| | title = Chromatic index of finite and infinite graphs
| |
| | volume = 22(97)
| |
| | year = 1972}}.
| |
| *{{citation
| |
| | last1 = Bosák | first1 = Juraj
| |
| | last2 = Nešetřil | first2 = Jaroslav | author2-link = Jaroslav Nešetřil
| |
| | issue = 3
| |
| | journal = Matematicky Časopis Slovenskej Akadémie Vied
| |
| | mr = 0439672
| |
| | pages = 171–184
| |
| | title = Complete and pseudocomplete colourings of a graph
| |
| | volume = 26
| |
| | year = 1976}}.
| |
| *{{citation|contribution=5.6.5 Sports Timetabling|last1=Burke|first1=E.|last2=De Werra|first2=D.|last3=Kingston|first3=J.|editor1-first=Gross|editor1-last=J. L.|editor2-first=Yellen|editor2-last=J.|title=Handbook of Graph Theory|publisher=CRC Press|year=2004|page=462|url=http://books.google.com/books?id=mKkIGIea_BkC&pg=PA462|isbn=978-1-58488-090-5}}.
| |
| *{{citation
| |
| | last1 = Chen | first1 = Guantao
| |
| | last2 = Yu | first2 = Xingxing
| |
| | last3 = Zang | first3 = Wenan
| |
| | doi = 10.1007/s10878-009-9232-y
| |
| | issue = 2
| |
| | journal = Journal of Combinatorial Optimization
| |
| | mr = 2770056
| |
| | pages = 219–246
| |
| | title = Approximating the chromatic index of multigraphs
| |
| | volume = 21
| |
| | year = 2011}}.
| |
| *{{citation
| |
| | last1 = Cole | first1 = Richard
| |
| | last2 = Hopcroft | first2 = John | author2-link = John Hopcroft
| |
| | doi = 10.1137/0211043
| |
| | issue = 3
| |
| | journal = SIAM Journal on Computing
| |
| | mr = 664720
| |
| | pages = 540–546
| |
| | title = On edge coloring bipartite graphs
| |
| | volume = 11
| |
| | year = 1982}}.
| |
| *{{citation
| |
| | last1 = Cole | first1 = Richard
| |
| | last2 = Kowalik | first2 = Łukasz
| |
| | doi = 10.1007/s00453-007-9044-3
| |
| | issue = 3
| |
| | journal = Algorithmica
| |
| | mr = 2366985
| |
| | pages = 351–368
| |
| | title = New linear-time algorithms for edge-coloring planar graphs
| |
| | volume = 50
| |
| | year = 2008}}.
| |
| *{{citation
| |
| | last1 = Cole | first1 = Richard
| |
| | last2 = Ost | first2 = Kirstin
| |
| | last3 = Schirra | first3 = Stefan
| |
| | doi = 10.1007/s004930170002
| |
| | issue = 1
| |
| | journal = [[Combinatorica]]
| |
| | mr = 1805711
| |
| | pages = 5–12
| |
| | title = Edge-coloring bipartite multigraphs in {{math|O(''E'' log ''D'')}} time
| |
| | volume = 21
| |
| | year = 2001}}.
| |
| *{{citation
| |
| | last = Cranston | first = Daniel W.
| |
| | doi = 10.1016/j.disc.2006.03.053
| |
| | issue = 21
| |
| | journal = [[Discrete Mathematics (journal)|Discrete Mathematics]]
| |
| | mr = 2264374
| |
| | pages = 2772–2778
| |
| | title = Strong edge-coloring of graphs with maximum degree 4 using 22 colors
| |
| | volume = 306
| |
| | year = 2006}}.
| |
| *{{citation
| |
| | last = Eppstein | first = David | authorlink = David Eppstein
| |
| | editor1-last = Tollis | editor1-first = Ioannis G.
| |
| | editor2-last = Patrignani | editor2-first = Marizio
| |
| | arxiv = 0709.4087
| |
| | contribution = The topology of bendless three-dimensional orthogonal graph drawing
| |
| | location = Heraklion, Crete
| |
| | pages = 78–89
| |
| | publisher = Springer-Verlag
| |
| | series = Lecture Notes in Computer Science
| |
| | title = Proc. 16th Int. Symp. Graph Drawing
| |
| | volume = 5417
| |
| | year = 2008}}.
| |
| *{{citation
| |
| | last = Eppstein | first = David | author-link = David Eppstein
| |
| | arxiv = 1007.0221
| |
| | contribution = Regular labelings and geometric structures
| |
| | publisher = University of Manitoba
| |
| | title = Proc. 22nd Canadian Conference on Computational Geometry (CCCG 2010)
| |
| | url = http://www.cs.umanitoba.ca/~cccg2010/electronicProceedings/invitedpaper2.pdf
| |
| | year = 2010}}.
| |
| *{{citation
| |
| | last1 = Erdős | first1 = Paul | authorlink1 = Paul Erdős
| |
| | last2 = Wilson | first2 = Robin J.
| |
| | year = 1977
| |
| | title = Note on the chromatic index of almost all graphs
| |
| | journal = [[Journal of Combinatorial Theory]] | series = Series B
| |
| | volume = 23
| |
| | pages = 255–257
| |
| | url = http://www.renyi.hu/~p_erdos/1977-20.pdf
| |
| | doi = 10.1016/0095-8956(77)90039-9
| |
| | issue = 2–3}}.
| |
| *{{citation
| |
| | last1 = Erlebach | first1 = Thomas
| |
| | last2 = Jansen | first2 = Klaus
| |
| | doi = 10.1016/S0304-3975(99)00152-8
| |
| | issue = 1–2
| |
| | journal = Theoretical Computer Science
| |
| | mr = 1819065
| |
| | pages = 33–50
| |
| | title = The complexity of path coloring and call scheduling
| |
| | volume = 255
| |
| | year = 2001}}.
| |
| *{{citation
| |
| | last1 = Fiorini | first1 = S.
| |
| | last2 = Wilson | first2 = Robin James
| |
| | isbn = 0-273-01129-4
| |
| | location = London
| |
| | mr = 0543798
| |
| | publisher = Pitman
| |
| | series = Research Notes in Mathematics
| |
| | title = Edge-colourings of graphs
| |
| | volume = 16
| |
| | year = 1977}}.
| |
| *{{citation
| |
| | last1 = Folkman | first1 = Jon | author1-link = Jon Folkman
| |
| | last2 = Fulkerson | first2 = D. R. | author2-link = D. R. Fulkerson
| |
| | contribution = Edge colorings in bipartite graphs
| |
| | location = Chapel Hill, N.C.
| |
| | mr = 0262112
| |
| | pages = 561–577
| |
| | publisher = Univ. North Carolina Press
| |
| | title = Combinatorial Mathematics and its Applications (Proc. Conf., Univ. North Carolina, Chapel Hill, N.C., 1967)
| |
| | year = 1969}}.
| |
| *{{citation
| |
| | last1 = Fouquet | first1 = J.-L.
| |
| | last2 = Jolivet | first2 = J.-L.
| |
| | issue = A
| |
| | journal = Ars Combinatoria
| |
| | mr = 737086
| |
| | pages = 141–150
| |
| | title = Strong edge-colorings of graphs and applications to multi-{{mvar|k}}-gons
| |
| | volume = 16
| |
| | year = 1983}}.
| |
| *{{citation
| |
| | last1 = Frieze | first1 = Alan M. | author1-link = Alan M. Frieze
| |
| | last2 = Krivelevich | first2 = Michael
| |
| | last3 = Sudakov | first3 = Benny
| |
| | doi = 10.1137/S0895480104445757
| |
| | issue = 3
| |
| | journal = [[SIAM Journal on Discrete Mathematics]]
| |
| | mr = 2191290
| |
| | pages = 719–727 (electronic)
| |
| | title = The strong chromatic index of random graphs
| |
| | volume = 19
| |
| | year = 2005}}.
| |
| *{{citation
| |
| | last = Gabow | first = Harold N.
| |
| | issue = 4
| |
| | journal = International Journal of Computer and Information Sciences
| |
| | mr = 0422081
| |
| | pages = 345–355
| |
| | title = Using Euler partitions to edge color bipartite multigraphs
| |
| | volume = 5
| |
| | year = 1976
| |
| | doi = 10.1007/BF00998632}}.
| |
| *{{citation
| |
| | last1 = Gabow | first1 = Harold N.
| |
| | last2 = Nishizeki | first2 = Takao
| |
| | last3 = Kariv | first3 = Oded
| |
| | last4 = Leven | first4 = Daniel
| |
| | last5 = Terada | first5 = Osamu
| |
| | publisher = Tohoku University
| |
| | series = Tech. Report TRECIS-8501
| |
| | title = Algorithms for edge-coloring graphs
| |
| | year = 1985}}.
| |
| *{{citation
| |
| | last1 = Gabow | first1 = Harold N.
| |
| | last2 = Westermann | first2 = Herbert H.
| |
| | doi = 10.1007/BF01758774
| |
| | issue = 5–6
| |
| | journal = Algorithmica
| |
| | mr = 1154585
| |
| | pages = 465–497
| |
| | title = Forests, frames, and games: algorithms for matroid sums and applications
| |
| | volume = 7
| |
| | year = 1992}}.
| |
| *{{citation | author=F. Galvin | authorlink=Fred Galvin | title=The list chromatic index of a bipartite multigraph |journal=[[Journal of Combinatorial Theory]] |series=Series B |volume=63 |issue=1 |year=1995 |pages=153–158 |doi=10.1006/jctb.1995.1011}}.
| |
| *{{citation
| |
| | last1 = Gandham | first1 = S.
| |
| | last2 = Dawande | first2 = M.
| |
| | last3 = Prakash | first3 = R.
| |
| | contribution = Link scheduling in sensor networks: distributed edge coloring revisited
| |
| | doi = 10.1109/INFCOM.2005.1498534
| |
| | pages = 2492–2501
| |
| | title = Proc. 24th INFOCOM
| |
| | volume = 4
| |
| | year = 2005
| |
| | isbn = 0-7803-8968-9}}.
| |
| *{{citation
| |
| | last = Gol'dberg | first = M. K.
| |
| | issue = 23
| |
| | journal = Diskret. Analiz.
| |
| | mr = 0354429
| |
| | pages = 3–7, 72
| |
| | title = Multigraphs with a chromatic index that is nearly maximal
| |
| | year = 1973}}. As cited by {{harvtxt|Chen|Yu|Zang|2011}}.
| |
| *{{citation
| |
| | last1 = Habib | first1 = M.
| |
| | last2 = Péroche | first2 = B.
| |
| | doi = 10.1016/0012-365X(82)90209-6
| |
| | issue = 2
| |
| | journal = Discrete Mathematics
| |
| | mr = 676882
| |
| | pages = 219–220
| |
| | title = Some problems about linear arboricity
| |
| | volume = 41
| |
| | year = 1982}}.
| |
| *{{citation
| |
| | last = Holyer | first = Ian | year = 1981
| |
| | title = The NP-completeness of edge-coloring
| |
| | journal = [[SIAM Journal on Computing]]
| |
| | volume = 10 | pages = 718–720
| |
| | doi = 10.1137/0210055
| |
| | issue = 4}}.
| |
| *{{citation
| |
| | last1 = Horák | first1 = Peter
| |
| | last2 = Niepel | first2 = Ĺudovít
| |
| | journal = Acta Mathematica Universitatis Comenianae
| |
| | mr = 686983
| |
| | pages = 275–277
| |
| | title = A short proof of a linear arboricity theorem for cubic graphs
| |
| | volume = 40/41
| |
| | year = 1982}}.
| |
| *{{citation
| |
| | last1 = Jensen | first1 = Tommy R. | last2 = Toft | first2 = Bjarne | year = 1995
| |
| | title = Graph Coloring Problems | location = New York | publisher = Wiley-Interscience | isbn = 0-471-02865-7}}.
| |
| *{{citation
| |
| | last1 = Karloff | first1 = Howard J.
| |
| | last2 = Shmoys | first2 = David B. | author2-link = David Shmoys
| |
| | issue = 1
| |
| | journal = Journal of Algorithms
| |
| | mr = 875324
| |
| | pages = 39–52
| |
| | title = Efficient parallel algorithms for edge coloring problems
| |
| | volume = 8
| |
| | year = 1987
| |
| | doi = 10.1016/0196-6774(87)90026-5}}.
| |
| *{{citation
| |
| | authorlink = Dénes Kőnig | last = Kőnig | first = D. | year = 1916
| |
| | title = Über Graphen und ihre Anwendung auf Determinantentheorie und Mengenlehre
| |
| | journal = [[Mathematische Annalen]] | volume = 77 | pages = 453–465
| |
| | doi = 10.1007/BF01456961
| |
| | url = http://gdz.sub.uni-goettingen.de/index.php?id=11&PPN=PPN235181684_0077&DMDID=DMDLOG_0051&L=1
| |
| | issue = 4}}.
| |
| *{{citation
| |
| | last = Kowalik | first = Łukasz
| |
| | doi = 10.1016/j.tcs.2009.05.005
| |
| | issue = 38–40
| |
| | journal = Theoretical Computer Science
| |
| | mr = 2553326
| |
| | pages = 3733–3742
| |
| | title = Improved edge-coloring with three colors
| |
| | volume = 410
| |
| | year = 2009}}.
| |
| *{{citation
| |
| | last = Mahdian | first = Mohammad
| |
| | doi = 10.1016/S0166-218X(01)00237-2
| |
| | issue = 3
| |
| | journal = Discrete Applied Mathematics
| |
| | mr = 1892971
| |
| | pages = 239–248
| |
| | title = On the computational complexity of strong edge coloring
| |
| | volume = 118
| |
| | year = 2002}}.
| |
| *{{citation
| |
| | last1 = Meredith | first1 = Guy H. J.
| |
| | last2 = Lloyd | first2 = E. Keith
| |
| | doi = 10.1016/0095-8956(73)90016-6
| |
| | journal = [[Journal of Combinatorial Theory]] | series = Series B
| |
| | pages = 161–166
| |
| | title = The footballers of Croam
| |
| | volume = 15
| |
| | year = 1973
| |
| | issue = 2}}.
| |
| *{{citation
| |
| | last1 = Misra | first1 = J.
| |
| | last2 = Gries | first2 = David | author2-link = David Gries
| |
| | doi = 10.1016/0020-0190(92)90041-S
| |
| | issue = 3
| |
| | journal = [[Information Processing Letters]]
| |
| | pages = 131–133
| |
| | title = A constructive proof of Vizing's Theorem
| |
| | volume = 41
| |
| | year = 1992}}.
| |
| *{{citation
| |
| | last1 = Muthu | first1 = Rahul
| |
| | last2 = Narayanan | first2 = N.
| |
| | last3 = Subramanian | first3 = C. R.
| |
| | doi = 10.1016/j.disc.2007.03.006
| |
| | issue = 23
| |
| | journal = [[Discrete Mathematics (journal)|Discrete Mathematics]]
| |
| | mr = 2371078
| |
| | pages = 3063–3069
| |
| | title = Improved bounds on acyclic edge colouring
| |
| | volume = 307
| |
| | year = 2007}}.
| |
| *{{citation
| |
| | last = Nash-Williams | first = C. St. J. A. | authorlink = Crispin Nash-Williams
| |
| | journal = Journal of the London Mathematical Society | series = Second Series
| |
| | mr = 0161333
| |
| | page = 12
| |
| | title = Decomposition of finite graphs into forests
| |
| | volume = 39
| |
| | year = 1964}}
| |
| *{{citation
| |
| | last1 = Nemhauser | first1 = George L. | authorlink = George Nemhauser
| |
| | last2 = Park | first2 = Sungsoo
| |
| | doi = 10.1016/0167-6377(91)90003-8
| |
| | issue = 6
| |
| | journal = Operations Research Letters
| |
| | mr = 1128970
| |
| | pages = 315–322
| |
| | title = A polyhedral approach to edge coloring
| |
| | volume = 10
| |
| | year = 1991}}.
| |
| *{{citation
| |
| | last = Richter | first = David A.
| |
| | editor1-last = Brandes | editor1-first = Ulrik
| |
| | editor2-last = Cornelsen | editor2-first = Sabine
| |
| | contribution = How to draw a Tait-colorable graph
| |
| | doi = 10.1007/978-3-642-18469-7_32
| |
| | pages = 353–364
| |
| | publisher = Springer-Verlag
| |
| | series = Lecture Notes in Computer Science
| |
| | title = Proc. 18th International Symposium on Graph Drawing (GD 2010)
| |
| | volume = 6502
| |
| | year = 2011
| |
| | isbn = 978-3-642-18468-0}}.
| |
| *{{citation
| |
| | authorlink = Daniel P. Sanders | last1 = Sanders | first1 = Daniel P. | last2 = Zhao | first2 = Yue | year = 2001
| |
| | title = Planar graphs of maximum degree seven are class I
| |
| | journal = [[Journal of Combinatorial Theory]] | series = Series B | volume = 83 | issue = 2 | pages = 201–212
| |
| | doi = 10.1006/jctb.2001.2047}}.
| |
| *{{citation
| |
| | last = Seymour | first = P. D. | author-link = Paul Seymour (mathematician)
| |
| | doi = 10.1112/plms/s3-38.3.423
| |
| | issue = 3
| |
| | journal = Proceedings of the London Mathematical Society | series = Third Series
| |
| | mr = 532981
| |
| | pages = 423–460
| |
| | title = On multicolourings of cubic graphs, and conjectures of Fulkerson and Tutte
| |
| | volume = 38
| |
| | year = 1979}}.
| |
| *{{citation
| |
| | last = Schwenk | first = Allen J.
| |
| | doi = 10.1016/0095-8956(89)90064-6
| |
| | issue = 1
| |
| | journal = [[Journal of Combinatorial Theory]] | series = Series B
| |
| | mr = 1007713
| |
| | pages = 53–59
| |
| | title = Enumeration of Hamiltonian cycles in certain generalized Petersen graphs
| |
| | volume = 47
| |
| | year = 1989}}.
| |
| *{{citation
| |
| | last = Shannon | first = Claude E. | authorlink = Claude Shannon
| |
| | title = A theorem on coloring the lines of a network | mr = 0030203
| |
| | journal = J. Math. Physics | volume = 28 | year = 1949 | pages = 148–151}}.
| |
| *{{citation|title=The Algorithm Design Manual|first=Steven S.|last=Skiena|edition=2nd|publisher=Springer-Verlag|year=2008|isbn=978-1-84800-069-8|contribution=16.8 Edge Coloring|pages=548–550|doi=10.1007/978-1-84800-070-4_16}}. See also [http://www.cs.sunysb.edu/~algorith/files/edge-coloring.shtml web site for this section of the book] in the Stony Brook Algorithm Repository.
| |
| *{{citation|first=Alexander|last=Soifer|year=2008|title=The Mathematical Coloring Book|publisher=Springer-Verlag|isbn=978-0-387-74640-1}}.
| |
| *{{Citation | authorlink=Peter Guthrie Tait|first=P. G.|last= Tait| title=Remarks on the colourings of maps| journal=Proc. R. Soc. Edinburgh| volume=10| year=1880| pages=729}}.
| |
| *{{citation
| |
| | title = The road coloring problem
| |
| | last = Trahtman | first = Avraham N. | authorlink = Avraham Trahtman
| |
| | year = 2009
| |
| | doi = 10.1007/s11856-009-0062-5
| |
| | arxiv = 0709.0099
| |
| | issue = 1
| |
| | journal = Israel Journal of Mathematics
| |
| | pages = 51–60
| |
| | volume = 172}}.
| |
| *{{citation
| |
| | last = Vizing | first = V. G. | year = 1964 | authorlink = Vadim G. Vizing
| |
| | title = On an estimate of the chromatic class of a ''p''-graph | mr = 0180505
| |
| | journal = Diskret. Analiz. | volume = 3 | pages = 25–30}}.
| |
| *{{citation
| |
| | last = Vizing | first = V. G. | year = 1965 | authorlink = Vadim G. Vizing
| |
| | title = Critical graphs with given chromatic class
| |
| | journal = Metody Diskret. Analiz. | volume = 5 | pages = 9–17}}. (In Russian.)
| |
| *{{citation
| |
| | last1 = Williamson | first1 = D. P.
| |
| | last2 = Hall | first2 = L. A.
| |
| | last3 = Hoogeveen | first3 = J. A.
| |
| | last4 = Hurkens | first4 = C. A. J.
| |
| | last5 = Lenstra | first5 = J. K. | author5-link = Jan Karel Lenstra
| |
| | last6 = Sevast'janov | first6 = S. V.
| |
| | last7 = Shmoys | first7 = D. B. | author7-link = David Shmoys
| |
| | doi = 10.1287/opre.45.2.288
| |
| | issue = 2
| |
| | journal = Operations Research
| |
| | jstor = 171745
| |
| | mr = 1644998
| |
| | pages = 288–294
| |
| | title = Short shop schedules
| |
| | volume = 45
| |
| | year = 1997}}.
| |
| *{{citation
| |
| | last1 = Zhou | first1 = Xiao
| |
| | last2 = Nakano | first2 = Shin-ichi
| |
| | last3 = Nishizeki | first3 = Takao
| |
| | doi = 10.1006/jagm.1996.0061
| |
| | issue = 3
| |
| | journal = Journal of Algorithms
| |
| | mr = 1417666
| |
| | pages = 598–617
| |
| | title = Edge-coloring partial {{mvar|k}}-trees
| |
| | volume = 21
| |
| | year = 1996}}.
| |
| {{refend}}
| |
| | |
| [[Category:Graph coloring]]
| |