Solving Decision Problem with k Colors - NP-Complete

  • Context: MHB 
  • Thread starter Thread starter evinda
  • Start date Start date
  • Tags Tags
    Decision
Click For Summary

Discussion Overview

The discussion revolves around the decision problem related to graph coloring using at most $k$ colors and its classification as NP-complete. Participants explore the requirements for demonstrating that the problem is in NP and the implications of reductions between problems, specifically 3-coloring and 3SAT.

Discussion Character

  • Technical explanation
  • Debate/contested

Main Points Raised

  • One participant proposes that the decision problem is whether there exists a coloring with $k$ colors.
  • Another participant agrees that the problem is in NP, suggesting a non-deterministic Turing machine could verify the coloring in $\Theta(E)$ time.
  • There is a discussion about the completeness aspect of the problem, with some participants noting that it was not required to prove NP-completeness, only to show it is in NP.
  • A participant mentions that they wrote the problem is NP-complete due to its reducibility to the 3SAT problem, prompting a challenge from another participant who argues that this reduction does not assist in proving NP-completeness.
  • Another participant suggests that it might be more appropriate to consider reducing 3SAT to 3-coloring instead.
  • Some participants express uncertainty about the details of the reduction process between 3SAT and 3-coloring.

Areas of Agreement / Disagreement

Participants generally agree on the problem being in NP, but there is disagreement regarding the relevance and correctness of the proposed reductions between 3-coloring and 3SAT. The discussion remains unresolved regarding the implications of these reductions for proving NP-completeness.

Contextual Notes

Participants express uncertainty about the details of the reduction from 3SAT to 3-coloring, indicating a potential gap in understanding the necessary steps for establishing NP-completeness.

evinda
Gold Member
MHB
Messages
3,741
Reaction score
0
Hello! (Wave)

I had a test today and a question was to make a decision problem for the coloring using at most $k$ colors and to show that this problem is NP-complete.

Is the following right?

Decision problem: Is there a coloring with $k$ colors?

Also could we show that the problem is in NP as follows?

A non-deterministic Turning machine first guesses the nodes that are colored with each of the $k$ colors and then it verifies in $\Theta(E)$ time that each adjacent nodes of the graph have a different colour.
Thus the problem is in NP.
 
Technology news on Phys.org
This seems OK. There is still the completeness part missing.
 
Evgeny.Makarov said:
This seems OK.

(Happy)

Evgeny.Makarov said:
There is still the completeness part missing.

Oh, I am sorry.. we had just to prove that it is in NP, not that it is NP-complete.Then the exercise required to explain, but not to prove if 3-coloring is NP-complete.

I wrote that it is NP-complete, because it can be reduced to the 3SAT problem, which is known to be NP-complete. Do you think that it is enough? (Thinking)
 
evinda said:
Then the exercise required to explain, but not to prove if 3-coloring is NP-complete.

I wrote that it is NP-complete, because it can be reduced to the 3SAT problem, which is known to be NP-complete.
Reducing 3-coloring to 3SAT does not help in any way.
 
Evgeny.Makarov said:
Reducing 3-coloring to 3SAT does not help in any way.

Oh yes, right... (Tmi)
We could say that we can reduce 3SAT to 3-coloring, right?
 
Yes. I don't know the details of the reduction, though.
 
Evgeny.Makarov said:
Yes. I don't know the details of the reduction, though.

Ok, no problem... (Smile)

Thanks a lot for your answer! (Happy)
 

Similar threads

  • · Replies 9 ·
Replies
9
Views
4K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 19 ·
Replies
19
Views
5K
  • · Replies 14 ·
Replies
14
Views
4K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 17 ·
Replies
17
Views
4K
  • · Replies 6 ·
Replies
6
Views
2K