Use greedy vertex coloring algorithm to prove the upper bound of χ

  • Thread starter Thread starter bremenfallturm
  • Start date Start date
Click For Summary
The discussion revolves around using a greedy vertex coloring algorithm to establish an upper bound for the chromatic number χ. The participant is seeking help with a specific exercise related to the algorithm, referencing a definition from a linked PDF. They express difficulty in progressing with the problem and consider proving a property of the greedy algorithm based on adjacency constraints. The key point is that if the number of colors used by adjacent vertices is less than or equal to i, then no color greater than i+1 will be selected. The participant ultimately seeks guidance on how to prove this property effectively.
bremenfallturm
Messages
81
Reaction score
13
Homework Statement
Let ##e_i(G)## denote the number of vertices of a graph ##G## whose degree is strictly greater than ##i##. Use the greedy algorithm to show that if ##e_i(G) \le i+1## for some ##i##, then ##\chi(G) \le i+1## (Discrete Mathematics by Biggs, 2nd Ed, Exercise 15.7.3)
Relevant Equations
Definition of "the greedy algorithm". One such definition (which matches what my book uses) can be found here: https://people.cs.uchicago.edu/~laci/HANDOUTS/greedycoloring.pdf (I also added a screenshot of the definition in my post)
Hi!

I am struggling with the exercise I mentioned under "Homework statement".

The exercise is about a specific "greedy vertex coloring algorithm". One definition (which matches what my book uses) can be found here: https://people.cs.uchicago.edu/~laci/HANDOUTS/greedycoloring.pdf

Here is also a screenshot of the relevant parts of the linked PDF, i.e. the def. of the algorithm:
1756886551546.webp


Sadly I don't have much to show as far as a solution attempt goes, as I am stuck on how to proceed.
I thought that one approach might be to prove that this property of the greedy algorithm is true, given my constraints: ##|\left\{c(j)|j<i, j \in \text{adj}(i)\right\}| \le i##, because that implies that the no color ##> i+1## will be picked by the greedy algorithm.
However, I can't figure out a way to prove that.
 

Similar threads

Replies
1
Views
1K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 1 ·
Replies
1
Views
4K
  • · Replies 1 ·
Replies
1
Views
3K