Precoloring Extension Involving Pairs of Vertices of Small Distance Akira Saito (Nihon University, Japan) This is a joint work with Chihoko Ojima and Kazuki Sano (Nihon University) 1. What is precoloring? 2. Background and Motivation 3. Pairs of Vertices of Distance Three 4. Pairs of Vertices of Distance Two 1. What is precoloring? 2. Background and Motivation 3. Pairs of Vertices of Distance Three 4. Pairs of Vertices of Distance Two Job Scheduling { job1, job2 , job3, job4, job5, job6 } • Multi-processors • concurrent environment • It takes a unit time to finish each job. 1 6 2 5 3 4 Job Scheduling { job1, job2 , job3, job4, job5, job6 } • multi processors • concurrent environment • It takes a unit time to finish each job. • If there is no constraint, we can finish all the jobs in 1 unit time (with 6 processors). 1 6 2 5 3 4 Job Scheduling { job1, job2 , job3, job4, job5, job6 } • But some jobs may not be processed at the same time 1 6 • They use the same resources • restrictions of the processors 2 5 We join pairs of jobs which cannot be processed concurrently We obtain a graph. 3 4 Job Scheduling { job1, job2 , job3, job4, job5, job6 } We can color this graph in 3 colors. 1 All the jobs can be finished in 3 unit times. 6 2 5 3 4 Precoloring We can color this graph in 3 colors. 1 All the jobs can be finished in 3 unit times. In some applications, the schedule of several jobs may already be fixed. 6 2 5 3 4 Precoloring We can color this graph in 3 colors. 1 All the jobs can be finished in 3 unit times. In some applications, the schedule of several jobs may already be fixed. 6 2 5 Some vertices are colored (precolored). We must find a coloring which extends the given precoloring. We may need more colors than the chromatic number. 3 4 Precoloring We can color this graph in 3 colors. 1 All the jobs can be finished in 3 unit times. In some applications, the schedule of several jobs may already be fixed. 6 2 5 Some vertices are colored (precolored). We must find a coloring which extends the given precoloring. We may need more colors than the chromatic number. 3 4 Formulation Given : The subgraph of πΊ induced by π • πΊ : π-colorable graph • π ⊂ π(πΊ) • π0 βΆ π → {1, 2, … , π‘0} : a coloring of πΊ π (We call π0 a π‘0-coloring of π.) Want : π βΆ π(πΊ) → {1, 2, … , π‘} : a coloring of πΊ with π|π = π0 and π‘ small The coloring π is called an extension of π0. 1. What is precoloring? 2. Background and Motivation 3. Pairs of Vertices of Distance Three 4. Pairs of Vertices of Distance Two Extension in π(πΊ) colors – No hope πΊ: a path of even order χ πΊ = 2 (πΊ is a bipartite graph.) Extension in π(πΊ) colors – No hope precolor πΊ: a path of even order Extension in π(πΊ) colors – No hope precolor πΊ: a path of even order We need the third color. • We need three colors to extend the given precoloring. • Only two vertices are precolored in only one color. • The distance between the precolored vertices can be very large. Extension in π πΊ + 1 colors Extension in π(πΊ) colors : No hope Extension in π(πΊ) + 1 colors? If the vertices in π are “sparsely” distributed, we have a better chance. How do we define? Minimum Distance π ⊂ π(πΊ), |π| ≥ 2 π π = min{ ππΊ π₯, π¦ βΆ π₯, π¦ ⊂ π, π₯ ≠ π¦} minimum distance Problem (Thomassen 1997) Let πΊ be a planar graph and let π ⊂ π(πΊ). If π(π) is sufficiently large (say π(π) ≥ 100), then a 5-coloring of π extends to a 5-coloring of πΊ. Answer by Albertson (1998) Theorem A (Albertson, 1998) Let πΊ be an π-colorable graph and let π ⊂ π(πΊ) with |π| ≥ 2. If π(π) ≥ 4, then every (π + 1)-coloring of π extends to an (π + 1)-coloring of πΊ. He does not assume planarity of πΊ. Albertson’s Idea Theorem A (Albertson, 1998) Let πΊ be an π-colorable graph and let π ⊂ π(πΊ) with |π| ≥ 2. If π(π) ≥ 4, then every (π + 1)-coloring of π extends to an (π + 1)-coloring of πΊ. Color πΊ in π colors, ignoring the given (π + 1)-coloring of π (say π0). A vertex π£ in π may receive a color which is different from the one specified by π0. Adjust the coloring of G so that π£ receives π0(π£), using the extra color π + 1. Albertson’s Idea π π 3 3 3 2 πΊ 2 πΊ Color G, ignoring the precolor. 1 2 1 1 π is precolored. 1 1 We want to re-color this vertex in color 3. Albertson’s Idea 3 3 3 3 π+1 We want to re-color this vertex in color 3. Assign the color π + 1. π+1 π+1 3 Swap colors. Albertson’s Idea π π 3 3 3 2 πΊ 2 πΊ Color G, ignoring the precolor. 1 2 1 1 π is precolored. 1 1 We want to re-color this vertex in color 3. Albertson’s Idea We repeat this process, spreading the new color π + 1 around the vertices in π. π π 3 3 3 2 πΊ 2 πΊ Color G, ignoring the precolor. 3 2 1 1 π is precolored. 1 1 Albertson’s Idea We repeat this process, spreading the new color π + 1 around the vertices in π. π π 3 3 3 2 πΊ 2 πΊ Color G, ignoring the precolor. 3 3 1 1 π is precolored. 1 1 Where does π(π) ≥ 4 come in? If the vertices in P are too close,… 1 2 1 3 2 3 1 π It should be 3. 3 π It should be 2. Where does π(π) ≥ 4 come in? If the vertices in P are too close,… π+1 2 1 3 2 3 1 π It should be 3. 3 π It should be 2. Where does π(π) ≥ 4 come in? If the vertices in P are too close,… 3 2 1 π+1 2 π+1 1 π It should be 3. 3 π It should be 2. Where does π(π) ≥ 4 come in? If the vertices in P are too close,… 3 2 1 π+1 2 π+1 1 π It should be 3. π+1 π It should be 2. Where does π(π) ≥ 4 come in? If the vertices in P are too close,… 2 3 1 π+1 π+1 π π+1 It should be 3. 2 π 1 It should be 2. Adjacent vertices receive the color π + 1! Where does π(π) ≥ 4 come in? If π(π) ≥ 4, this does not happen. 1 2 1 3 2 3 1 π It should be 3. 3 π It should be 2. Where does π(π) ≥ 4 come in? If π(π) ≥ 4, this does not happen. π+1 2 1 3 2 3 1 π It should be 3. 3 π It should be 2. Where does π(π) ≥ 4 come in? If π(π) ≥ 4, this does not happen. 3 2 1 π+1 2 π+1 1 π It should be 3. 3 π It should be 2. Where does π(π) ≥ 4 come in? If π(π) ≥ 4, this does not happen. 3 2 1 π+1 2 π+1 1 π It should be 3. π+1 π It should be 2. Where does π(π) ≥ 4 come in? If π(π) ≥ 4, this does not happen. 2 3 π+1 1 π+1 π π+1 It should be 3. 2 π 1 It should be 2. Answer by Albertson (1998) Theorem A (Albertson, 1998) Let πΊ be an π-colorable graph and let π ⊂ π(πΊ) with |π| ≥ 2. If π(π) ≥ 4, then every precoloring of π in π + 1 colors extends to an (π + 1)-coloring of πΊ. The condition on π(π) is sharp. Theorem B (Albertson, 1998) For every π ≥ 2, there exist infinitely many triples (πΊ, π, π) such that • πΊ is an π-colorable graph, • π ⊂ π(πΊ), |π| ≥ 2, π(π) ≥ 3, • π βΆ π → {1, … , π + 1} is a precoloring of π, and • π does not extend to an (π + 1)-coloring of πΊ. What happens if π contains a pair of vertices of distance less than four? In the real-world application, the assumption π(π) ≥ 4 may not hold. If π contains pairs of vertices of distance less than four, then Albertson’s Theorem says nothing. We may need more than π + 1 colors to extend an (π + 1)-coloing of π. But if the number of such pairs is small, we probably do not need many additional colors motivation Motivation π·πΊ (π, π) = { {π₯, π¦} ⊂ π βΆ π₯ ≠ π¦, ππΊ (π₯, π¦) ≤ π } π‘ = |π·πΊ (π, 3)| χ G ≤ π, π ⊂ V G How many colors are sufficient to extend an (π + 1)-coloring of π to a coloring of πΊ? Albertson’s Theorem : π + 1 colors if π‘ = 0 1. What is precoloring? 2. Background and Motivation 3. Pairs of Vertices of Distance Three 4. Pairs of Vertices of Distance Two Result 1 Theorem 1. Let π ≥ 2, π ≥ 1, and let πΊ be an π-colorable graph. Let π ⊂ π(πΊ). If 1 |π·πΊ (π, 3)| ≤ 2 π(π + 1), then an (π + 1)-coloring of π extends to an (π + π)coloring of πΊ. According to this theorem, if |π·πΊ (π, 3)| = π‘, then π + π π‘ colors suffice to extend an (π + 1)-coloring of π to a coloring of πΊ. Idea of the Proof : Use coloring Theorem 1. Let π ≥ 2, π ≥ 1, and let πΊ be an π-colorable graph. Let π ⊂ π(πΊ). If |π·πΊ (π, 3)| ≤ 1 π(π 2 + 1), then an (π + 1)-coloring of π extends to an (π + π)-coloring of πΊ. Construct an auxiliary graph π». π(π») = π πΈ π» = π·πΊ π, 3 = {π₯π¦ βΆ π πΊ π₯, π¦ ≤ 3} 1 |πΈ(π»)| ≤ π(π + 1) 2 π1, … , ππ : color classes π» is (almost) π-colorable. Idea of the Proof : Use coloring Construct an auxiliary graph π». π(π») = π πΈ π» = π·πΊ π, 3 = {π₯π¦ βΆ π πΊ π₯, π¦ ≤ 3} |πΈ(π»)| ≤ 1 π(π + 1) 2 π» is (almost) π-colorable. π1, … , ππ : color classes ππ is independent in π». π(ππ) ≥ 4 Apply Albertson’s proof technique to each ππ, using a new color π + π (1 ≤ π ≤ π). πΊ : uncolored vertices : precolored vertices Apply Albertson’s technique. πΊ π1 π+1 : uncolored vertices : precolored vertices π+2 π2 π+3 π3 π(ππ) ≥ 4 πΊ π1 π2 π3 π(ππ) ≥ 4 : precolored vertices Result 1 Theorem 1. Let π ≥ 2, π ≥ 1, and let πΊ be an π-colorable graph. Let π ⊂ π(πΊ). If 1 |π·πΊ (π, 3)| ≤ 2 π(π + 1), then an (π + 1)-coloring of π extends to an (π + π)coloring of πΊ. 1. What is precoloring? 2. Background and Motivation 3. Pairs of Vertices of Distance Three 4. Pairs of Vertices of Distance Two Albertson & Moore 1999 Theorem A (Albertson, 1998) π(π) ≥ 4, π(πΊ) = π Every (π + 1)-coloring of π extends to an (π + 1)-coloring πΊ. What can we say under the assumption of π(π) ≥ 3 instead of π(π) ≥ 4 ? Albertson & Moore 1999 Theorem B (Albertson and Moore , 1999) Let πΊ be an π-colorable graph and let π ⊂ π(πΊ). If π(π) ≥ 3, then every (π + 1)-coloring of π extends to a 3π+1 2 -coloring of πΊ. Motivation 2 Theorem B (Albertson and Moore , 1999) Let πΊ be an π-colorable graph and let π ⊂ π(πΊ). If π(π) ≥ 3, then every (π + 1)-coloring of π extends to a π(π) ≥ 3 3π+1 2 -coloring of πΊ. π·πΊ π, 2 = ∅ What happens if π·πΊ (π, 2) ≠ ∅ ? Motivation 2 Theorem B (Albertson and Moore , 1999) Let πΊ be an π-colorable graph and let π ⊂ π(πΊ). If π(π) ≥ 3, then every (π + 1)-coloring of π extends to a 3π+1 2 -coloring of πΊ. Even if π is colored in π + 1 colors, we need more than π + 1 colors to extend it. This assumption is not important in this case. We start from the assumption that π is colored in π + π colors. Result 2 Theorem 2 Let πΊ be an π-colorable graph and let π ⊂ π(πΊ). Suppose π ≤ π. (1) If π + π is even and |π·πΊ (π, 2)| < 2(π + π − 1), then every (π + π)-coloring of π extends to a 3π+π -coloring 2 of πΊ. (2) If π + π is odd, π + π ≥ 13 and |π·πΊ (π, 2)| < 3(π + π − 1), then every (π + π)coloring of π extends to a 3π+π+1 -coloring 2 of πΊ. Comparison Theorem 2 Let πΊ be an π-colorable graph and let π ⊂ π(πΊ). Suppose π ≤ π. (1) If π + π is even and |π·πΊ (π, 2)| < 2(π + π − 1), then every (π + π)-coloring of π can be extended to a 3π+π -coloring 2 of πΊ. (2) If π + π is odd, π + π ≥ 13 and |π·πΊ (π, 2)| < 3(π + π − 1), then every (π + π)coloring of π can be extended to a 3π+π+1 -coloring 2 If we put π = 1,… of πΊ. Comparison Theorem 2 Let πΊ be an π-colorable graph and let π ⊂ π(πΊ). Suppose π ≤ π. (1) If π + 1 is even and |π·πΊ (π, 2)| < 2π, then every (π + 1)-coloring of π extends to a 3π+1 -coloring 2 of πΊ. (2) If π + 1 is odd, π + π ≥ 13 and |π·πΊ (π, 2)| < 3π, then every (π + 1)-coloring of π extends to a 3π+2 -coloring 2 of πΊ. Theorem B (Albertson and Moore , 1998) Let πΊ be an π-colorable graph and let π ⊂ π(πΊ). If π·πΊ π, 2 = ∅, then every (π + 1)-coloring of π extends to a 3π+1 2 -coloring of πΊ. Theorem 2 (almost) contains Theorem B. Idea of Albertson - Moore Theorem B (Albertson and Moore , 1999) Let πΊ be an π-colorable graph and let π ⊂ π(πΊ). If π(π) ≥ 3, then every (π + 1)-coloring of π extends to a (π:odd) 3π+1 2 -coloring of πΊ. Color πΊ − π in π colors. π(πΊ) − π is partitioned into π independent sets (color classes) π1 , … , π π : color classes of πΊ − π We assign 2 old colors or 1 new color to each ππ to accommodate the request from the precoloring of π. Idea of Albertson - Moore We partition uncolored vertices into π independent sets π1 ππ+1 π2 1 ππ+3 2 1 3 6 π 2 π π+1 precolored in π + 1 colors πr Idea of Albertson - Moore new colors Existing colors 1, 2 3, 4 r, π + 1 π+2 3π + 1 2 π1 π2 ππ+1 ππ+3 πr 1 2 1 3 6 π 2 π π+1 precolored in π + 1 colors Idea of Albertson - Moore available colors : 2π − 1, 2π If two existing colors are assigned to ππ,… ππ π 1 6 2π − 1 2π − 1 2π Idea of Albertson - Moore available colors : 2π − 1, 2π If two existing colors are assigned to ππ,… ππ π 1 6 2π − 1 2π − 1 2π If a vertex in ππ is not adjacent to a vertex in π in color 2π − 1, then color it in 2π − 1. Idea of Albertson - Moore available colors : 2π − 1, 2π If two existing colors are assigned to ππ,… ππ π 1 6 2π − 1 2π − 1 2π If a vertex in ππ is not adjacent to a vertex in π in color 2π − 1, then color it in 2π − 1. Idea of Albertson - Moore available colors : 2π − 1, 2π If two existing colors are assigned to ππ,… ππ π 1 6 2π − 1 2π − 1 2π If a vertex in ππ is adjacent to a vertex in π in color 2π − 1, then color it in 2π. Idea of Albertson - Moore available colors : 2π − 1, 2π If two existing colors are assigned to ππ,… ππ π 1 6 2π − 1 2π − 1 2π If a vertex in ππ is adjacent to a vertex in π in color 2π − 1, then color it in 2π. Idea of Albertson - Moore available colors : 2π − 1, 2π If two existing colors are assigned to ππ,… ππ π(π₯, π¦) ≤ 2 π π₯ π¦ 2π − 1 2π What happens if a vertex in ππ is adjacent to vertices of colors 2π − 1 and 2π ? It does not occur since π(π) ≥ 3. Idea of Albertson - Moore available color : π + 2 If one new color is assigned to ππ,… ππ+3 2 π 1 6 π π π+1 Idea of Albertson - Moore available color : π + 2 If one new color is assigned to ππ,… ππ+3 2 π 1 6 Color each vertex in color π + 2 π π π+1 Idea of Albertson - Moore available color : π + 2 If one new color is assigned to ππ,… ππ+3 2 π 1 6 Color each vertex in color π + 2 π π π+1 Idea of Albertson - Moore new colors Existing colors 1, 2 3, 4 r, π + 1 π+2 3π + 1 2 π1 π2 ππ+1 ππ+3 πr 1 2 1 3 6 π 2 π π+1 We use 3π+1 2 colors. Albertson & Moore 1999 Theorem B (Albertson and Moore , 1999) Let πΊ be an π-colorable graph and let π ⊂ π(πΊ). If π(π) ≥ 3, then every (π + 1)-coloring of π extends to a 3π+1 2 -coloring of πΊ. Idea of the Proof : input from matching Theorem 2 Let πΊ be an π-colorable graph and let π ⊂ π(πΊ). Suppose π ≤ π. (1) If π + π is even and |π·πΊ (π, 2)| < 2(π + π − 1), then every (π + π)-coloring of π can be extended to a 3π+π -coloring 2 of πΊ. (2) If π + π is odd, π + π ≥ 13 and |π·πΊ (π, 2)| < 3(π + π − 1), then every (π + π)coloring of π can be extended to a 3π+π+1 -coloring 2 of πΊ. Idea of the Proof : input from matching Theorem 2 Let πΊ be an π-colorable graph and let π ⊂ π(πΊ). Suppose π ≤ π. (1) If π + π is even and |π·πΊ (π, 2)| < 2(π + π − 1), then every (π + π)-coloring of π can be extended to a 3π+π -coloring 2 of πΊ. (2) If π + π is odd, π + π ≥ 13 and |π·πΊ (π, 2)| < 3(π + π − 1), then every (π + π)coloring of π can be extended to a 3π+π+1 -coloring 2 of πΊ. Idea of the Proof : input from matching available colors : 2π − 1, 2π If two existing colors are assigned to ππ,… ππ π(π₯, π¦) ≤ 2 π π₯ π¦ 2π − 1 2π This does not occur if π π ≥ 3 (Albertson-Moore). In our case, it can happen since possibly π·πΊ (π, 2) ≠ ∅ But not many times since |π·πΊ (π, 2)| < 2(π + π − 1). Idea of the Proof : input from matching new colors Existing colors 1, 2 3, 4 r + π − 1, π + π π1 π2 ππ+π 1 π+π+1 ππ+π+1 2 1 3 6 π π+k-1 π + π There are many ways to assign two colors to ππ. 2 3π + π 2 πr Idea of the Proof : input from matching Suppose : π·πΊ π, 2 = { π’1, π’2 , π’2, π’3 , π’4, π’5 , π’6, π’7 } π0 βΆ π → {1,2,3, … } : precoloring of π π0(π’1) = 1, π0(π’2) = 2, π0(π’3) = 3, π0(π’4) = 3, π0(π’5) = 4, π0(π’6) = 3, π0(π’7) = 4 Idea of the Proof : input from matching Re-assign colors. 1, 2 3, 4 π1 π2 No colors are available for them. 1 π’1 2 π’2 3 π’3 3 π’4 π 4 π’5 4 3 π’6 π’7 π0(π’1) = 1, π0(π’2) = 2, π0(π’3) = 3, π0(π’4) = 3, π0(π’5) = 4, π0(π’6) = 3, π0(π’7) = 4 Idea of the Proof : input from matching 2, 3 1, 4 π1 π2 We can give them color 1. 1 π’1 2 π’2 3 π’3 3 π’4 π 4 π’5 4 3 π’6 π’7 π0(π’1) = 1, π0(π’2) = 2, π0(π’3) = 3, π0(π’4) = 3, π0(π’5) = 4, π0(π’6) = 3, π0(π’7) = 4 Idea of the Proof : input from matching Re-assign colors. 2, 3 Still neither color is available. 1, 4 π1 π2 We can give them color 1. 1 π’1 2 π’2 3 π’3 3 π’4 π 4 π’5 4 3 π’6 π’7 π0(π’1) = 1, π0(π’2) = 2, π0(π’3) = 3, π0(π’4) = 3, π0(π’5) = 4, π0(π’6) = 3, π0(π’7) = 4 Idea of the Proof : input from matching 1, 4 2, 3 π1 π2 We can give them color 2. 1 π’1 2 π’2 3 π’3 3 π’4 π 4 π’5 4 3 π’6 π’7 π0(π’1) = 1, π0(π’2) = 2, π0(π’3) = 3, π0(π’4) = 3, π0(π’5) = 4, π0(π’6) = 3, π0(π’7) = 4 Idea of the Proof : input from matching 1, 4 We can give it color 4. 2, 3 π1 π2 We can give them color 2. 1 π’1 2 π’2 3 π’3 3 π’4 π 4 π’5 4 3 π’6 π’7 π0(π’1) = 1, π0(π’2) = 2, π0(π’3) = 3, π0(π’4) = 3, π0(π’5) = 4, π0(π’6) = 3, π0(π’7) = 4 Idea of the Proof : input from matching This assignment works. 1, 4 We can give it color 4. 2, 3 π1 π2 We can give them color 2. 1 π’1 2 π’2 3 π’3 3 π’4 π 4 π’5 4 3 π’6 π’7 π0(π’1) = 1, π0(π’2) = 2, π0(π’3) = 3, π0(π’4) = 3, π0(π’5) = 4, π0(π’6) = 3, π0(π’7) = 4 Idea of the Proof : input from matching new colors Existing colors 1, 2 3, 4 r + π − 1, π + π π1 π2 ππ+π 1 2 1 3 π+π+1 ππ+π+1 2 6 π+π−1 π+π π There are many ways to assign two colors to ππ. 3π + π 2 πr Idea of the Proof : input from matching new colors Existing colors π1, π2 π3, π4 πr + π − 1, ππ + π π1 π2 ππ+π 1 2 1 3 π+π+1 ππ+π+1 2 6 π+π−1 π+π π {π1, π2, … , ππ + π − 1, ππ + π} = {1, 2, … , π + π − 1, π + π} 3π + π 2 πr Idea of the Proof : input from matching new colors Existing colors π1, π2 π3, π4 πr + π − 1, ππ + π π1 π2 ππ+π 2 π+π+1 ππ+π+1 2 {π1, π2, … , ππ + π − 1, ππ + 1 } = {1, 2, … , π + π − 1, π + π} Find suitable pairs {π1, π2}, {π3, π4}, … , {ππ + π − 1, ππ + π }. matching problem! 3π + π 2 πr Idea of the Proof : input from matching πΆ = {1, 2, … , π + π} πΎ : the complete graph on πΆ (complete graph on colors) π = ππ : an edge in πΎ (a pair of colors) π0 : a precolor of π π = ππ is a green edge if there is no pair {π’, π£} ∈ π·πΊ π, 2 with {π0(π’), π0(π£)} = {π, π} π = ππ is a yellow edge if there is exactly one pair {π’, π£} ∈ π·πΊ π, 2 with {π0(π’), π0(π£)} = {π, π} π = ππ is a red edge if there are two or more pairs π’, π£ , {π’′ , π£ ′ } ∈ π·πΊ π, 2 with π0 π’ , π0 π£ = {π0 π’′ , π0 π£ ′ } = {π, π} Idea of the Proof : input from matching π = ππ is a green edge if there is no pair {π’, π£} ∈ π·πΊ π, 2 with {π0(π’), π0(π£)} = {π, π} π = ππ is a yellow edge if there is exactly one pair {π’, π£} ∈ π·πΊ π, 2 with {π0(π’), π0(π£)} = {π, π} π = ππ is a red edge if there are two or more pairs π’, π£ , {π’′ , π£ ′ } ∈ π·πΊ π, 2 with π0 π’ , π0 π£ = {π0 π’′ , π0 π£ ′ } = {π, π} 1 2 1 3 4 2 3 1 4 Idea of the Proof : input from matching π = ππ is a green edge if there is no pair {π’, π£} ∈ π·πΊ π, 2 with {π0(π’), π0(π£)} = {π, π} π = ππ is a yellow edge if there is exactly one pair {π’, π£} ∈ π·πΊ π, 2 with {π0(π’), π0(π£)} = {π, π} π = ππ is a red edge if there are two or more pairs π’, π£ , {π’′ , π£ ′ } ∈ π·πΊ π, 2 with π0 π’ , π0 π£ = {π0 π’′ , π0 π£ ′ } = {π, π} 1 2 1 3 4 2 3 1 4 Idea of the Proof : input from matching π = ππ is a green edge if there is no pair {π’, π£} ∈ π·πΊ π, 2 with {π0(π’), π0(π£)} = {π, π} π = ππ is a yellow edge if there is exactly one pair {π’, π£} ∈ π·πΊ π, 2 with {π0(π’), π0(π£)} = {π, π} π = ππ is a red edge if there are two or more pairs π’, π£ , {π’′ , π£ ′ } ∈ π·πΊ π, 2 with π0 π’ , π0 π£ = {π0 π’′ , π0 π£ ′ } = {π, π} 1 2 1 3 4 2 3 1 4 Idea of the Proof : input from matching π = ππ is a green edge if there is no pair {π’, π£} ∈ π·πΊ π, 2 with {π0(π’), π0(π£)} = {π, π} π = ππ is a yellow edge if there is exactly one pair {π’, π£} ∈ π·πΊ π, 2 with {π0(π’), π0(π£)} = {π, π} π = ππ is a red edge if there are two or more pairs π’, π£ , {π’′ , π£ ′ } ∈ π·πΊ π, 2 with π0 π’ , π0 π£ = {π0 π’′ , π0 π£ ′ } = {π, π} 1 2 1 3 4 2 3 1 4 Idea of the Proof : input from matching π = ππ is a green edge if there is no pair {π’, π£} ∈ π·πΊ π, 2 with {π0(π’), π0(π£)} = {π, π} π = ππ is a yellow edge if there is exactly one pair {π’, π£} ∈ π·πΊ π, 2 with {π0(π’), π0(π£)} = {π, π} π = ππ is a red edge if there are two or more pairs π’, π£ , {π’′ , π£ ′ } ∈ π·πΊ π, 2 with π0 π’ , π0 π£ = {π0 π’′ , π0 π£ ′ } = {π, π} 1 2 1 3 4 2 3 1 4 Idea of the Proof : input from matching π = ππ is a green edge if there is no pair {π’, π£} ∈ π·πΊ π, 2 with {π0(π’), π0(π£)} = {π, π} π = ππ is a yellow edge if there is exactly one pair {π’, π£} ∈ π·πΊ π, 2 with {π0(π’), π0(π£)} = {π, π} π = ππ is a red edge if there are two or more pairs π’, π£ , {π’′ , π£ ′ } ∈ π·πΊ π, 2 with π0 π’ , π0 π£ = {π0 π’′ , π0 π£ ′ } = {π, π} 1 2 1 3 4 2 3 1 4 Idea of the Proof : input from matching πΆ = {1, 2, … , π + π} πΎ : the complete graph on πΆ (complete graph on colors) π = ππ : an edge in πΎ (a pair of colors) π0 : a precolor of π Lemma 1 If πΎ has a perfect matching π which contains no red edge and at most one yellow edge, then we can assign edges of π to color classes of πΊ − π so that it extends to a 3π+π –coloring 2 of G. Idea of the Proof : input from matching πΆ = {1, 2, … , π + π} πΎ : the complete graph on πΆ (complete graph on colors) π = ππ : an edge in πΎ (a pair of colors) π0 : a precolor of π The edges of πΎ are factorized into π + π − 1 perfect matchings. Lemma 2 If |π·πΊ π, 2 | < 2(π + π − 1), then at least one of the factorized matchings has no red edge and at most one yellow edge. Idea of the Proof : input from matching Theorem 2 Let πΊ be an π-colorable graph and let π ⊂ π(πΊ). Suppose π ≤ π. (1) If π + π is even and |π·πΊ (π, 2)| < 2(π + π − 1), then every (π + π)-coloring of π extends to a 3π+π -coloring 2 of πΊ. (2) If π + π is odd, π + π ≥ 13 and |π·πΊ (π, 2)| < 3(π + π − 1), then every (π + π)coloring of π extends to a 3π+π+1 -coloring 2 of πΊ. Idea of the Proof : input from matching Theorem 2 Let πΊ be an π-colorable graph and let π ⊂ π(πΊ). Suppose π ≤ π. (1) If π + π is even and |π·πΊ (π, 2)| < 2(π + π − 1), then every (π + π)-coloring of π can be extended to a 3π+π -coloring 2 of πΊ. (2) If π + π is odd, π + π ≥ 13 and |π·πΊ (π, 2)| < 3(π + π − 1), then every (π + π)coloring of π extends to a 3π+π+1 -coloring 2 More complicated, but similar strategy of πΊ. Comparison Theorem 2 Let πΊ be an π-colorable graph and let π ⊂ π(πΊ). Suppose π ≤ π. (1) If π + π is even and π·πΊ π, 2 < 2(π + π − 1), then every (π + π)-coloring of π extends to a 3π+π -coloring 2 of πΊ. (2) If π + π is odd, π + π ≥ 13 and π·πΊ π, 2 coloring of π extends to a 3π+π+1 -coloring 2 < 3(π + π − 1), then every (π + π)- of πΊ. We have different bounds for |π·πΊ (π, 2)| depending on the parity of π + π. But both bounds are best-possible. Sharpness Let πΊ be an π-colorable graph and let π ⊂ π(πΊ). Suppose π ≤ π. (1) If π + π is even and π·πΊ π, 2 < 2(π + π − 1), then every (π + π)-coloring of π extends to a 3π+π -coloring 2 of πΊ. Theorem 3 For every integer π and π with π ≥ 2, 1 ≤ π ≤ π and π + π ≡ 0 (mod 2), there exist infinitely many triples (πΊ, π, π) such that (1) πΊ is an π-colorable graph, (2) π ⊂ π(πΊ), |π·πΊ (π, 2)| = 2(π + π − 1), (3) π βΆ π → {1, … , π + π} is an (π + π)-coloring of π, and (4) π does not extend to a 3π+π -coloring 2 of πΊ. Comparison Theorem 2 Let πΊ be an π-colorable graph and let π ⊂ π(πΊ). Suppose π ≤ π. (2) If π + π is odd, π + π ≥ 13 and |π·πΊ (π, 2)| < 3(π + π − 1), then every (π + π)coloring of π extends to a 3π+π+1 -coloring 2 of πΊ. Theorem 4 For every integer π and π with π ≥ 2, 1 ≤ π ≤ π and π + π ≡ 1 (mod 2), there exist infinitely many triples (πΊ, π, π) such that (1) πΊ is an π-colorable graph, (2) π ⊂ π(πΊ), |π·πΊ (π, 2)| = 3(π + π − 1), (3) π βΆ π → {1, … , π + π} is an (π + π)-coloring of π, and (4) π does not extend to a 3π+π+1 -coloring 2 of πΊ. For large k… Theorem 2 Let πΊ be an π-colorable graph and let π ⊂ π(πΊ). Suppose π ≤ π. (1) If π + π is even and |π·πΊ (π, 2)| < 2(π + π − 1), then every (π + π)-coloring of π extends to a 3π+π -coloring 2 of πΊ. (2) If π + π is odd, π + π ≥ 13 and |π·πΊ (π, 2)| < 3(π + π − 1), then every (π + π)coloring of π extends to a 3π+π+1 -coloring 2 of πΊ. What happens if π > π ? The situation is quite different. For large k… 1 π1(π, π) = min{2 π + 3π − 4 π − π + 3 , (π − π + 2)(π + π − 1)} 1 π2 π, π = min{2 (π + 1)(π + 2), (π − π + 2)(π + π − 1)} Theorem 5 Let πΊ be an π-colorable graph and let π ⊂ π(πΊ). (1) If π < π ≤ 3π−7 2 and |π·πΊ (π, 2)| ≤ π1(π, π), then every (π + π)-coloring of π extends to an (π + π)-coloring of πΊ. (2) If π > 3π−7 2 and |π·πΊ (π, 2)| ≤ π2(π, π), then every (π + π)-coloring of π extends to an (π + π)-coloring of πΊ. For large k… 1 π1(π, π) = min{2 π + 3π − 4 π − π + 3 , (π − π + 2)(π + π − 1)} 1 π2 π, π = min{2 (π + 1)(π + 2), (π − π + 2)(π + π − 1)} Theorem 5 Let πΊ be an π-colorable graph and let π ⊂ π(πΊ). (1) If π < π ≤ 3π−7 2 and |π·πΊ (π, 2)| ≤ π1(π, π), then every (π + π)-coloring of π extends to an (π + π)-coloring of πΊ. (2) If π > 3π−7 2 and |π·πΊ (π, 2)| ≤ π2(π, π), then every (π + π)-coloring of π extends to an (π + π)-coloring of πΊ. • No additional colors For large k… 1 π1(π, π) = min{2 π + 3π − 4 π − π + 3 , (π − π + 2)(π + π − 1)} 1 π2 π, π = min{2 (π + 1)(π + 2), (π − π + 2)(π + π − 1)} Theorem 5 Let πΊ be an π-colorable graph and let π ⊂ π(πΊ). (1) If π < π ≤ 3π−7 2 and |π·πΊ (π, 2)| ≤ π1(π, π), then every (π + π)-coloring of π extends to an (π + π)-coloring of πΊ. (2) If π > 3π−7 2 and |π·πΊ (π, 2)| ≤ π2(π, π), then every (π + π)-coloring of π extends to an (π + π)-coloring of πΊ. • No additional colors • The bound of |π·πΊ (π, 2)| jumps from a linear function to a quadratic function of π. Conclusion Theorem A (Albertson, 1998) Let πΊ be an π-colorable graph and let π ⊂ π(πΊ) with |π| ≥ 2. If π(π) ≥ 4, then every (π + 1)-coloring of π extends to an (π + 1)-coloring of πΊ. π·πΊ (π, π) = { {π₯, π¦} ⊂ π βΆ π₯ ≠ π¦, ππΊ (π₯, π¦) ≤ π } π‘ = |π·πΊ (π, 3)| Theorem 1. Let π ≥ 2, π ≥ 1, and let πΊ be an π-colorable graph. Let π ⊂ π(πΊ). If 1 |π·πΊ (π, 3)| ≤ 2 π(π + 1), then an (π + 1)-coloring of π extends to an (π + π)coloring of πΊ. If π‘ ≠ 0, π + π coloring of πΊ. π‘ new colors suffice to extend an (π + 1)-coloring of π to a Conclusion Theorem B (Albertson and Moore , 1999) Let πΊ be an π-colorable graph and let π ⊂ π(πΊ). If π(π) ≥ 3, then every (π + 1)-coloring of π extends to a 3π+1 2 -coloring of πΊ. Theorem 2 Let πΊ be an π-colorable graph and let π ⊂ π(πΊ). Suppose π ≤ π. (1) If π + π is even and |π·πΊ (π, 2)| < 2(π + π − 1), then every (π + π)-coloring of π extends to a 3π+π -coloring 2 of πΊ. (2) If π + π is odd, π + π ≥ 13 and |π·πΊ (π, 2)| < 3(π + π − 1), then every (π + π)coloring of π extends to a 3π+π+1 -coloring 2 of πΊ. Conclusion Theorem B (Albertson and Moore , 1999) Let πΊ be an π-colorable graph and let π ⊂ π(πΊ). If π(π) ≥ 3, then every (π + 1)-coloring of π extends to a 3π+1 2 -coloring of πΊ. Theorem 2 Let πΊ be an π-colorable graph and let π ⊂ π(πΊ). Suppose π ≤ π. (1) If π + π is even and |π·πΊ (π, 2)| < 2(π + π − 1), then every (π + π)-coloring of π extends to a 3π+π -coloring 2 of πΊ. (2) If π + π is odd, π + π ≥ 13 and |π·πΊ (π, 2)| < 3(π + π − 1), then every (π + π)coloring of π extends to a 3π+π+1 -coloring 2 of πΊ. Conclusion 1 π1(π, π) = min{2 π + 3π − 4 π − π + 3 , (π − π + 2)(π + π − 1)} 1 π2 π, π = min{2 (π + 1)(π + 2), (π − π + 2)(π + π − 1)} Theorem 5 Let πΊ be an π-colorable graph and let π ⊂ π(πΊ). (1) If π < π ≤ 3π−7 2 and |π·πΊ (π, 2)| ≤ π1(π, π), then every (π + π)-coloring of π extends to an (π + π)-coloring of πΊ. (2) If π > 3π−7 2 and |π·πΊ (π, 2)| ≤ π2(π, π), then every (π + π)-coloring of π extends to an (π + π)-coloring of πΊ. • No additional colors • The bound of |π·πΊ (π, 2)| jumps from a linear function to a quadratic function of π. Thank you! γγγγ¨γγγγγΎγγ!