Give a polynomial time reduction from the 3-Color (coloring a graph so that no vertices adjacent to each other have the same color using 3 colors) problem to 3-CNF SAT.
What is the application component that defines the user interface screen that the individual uses to interact with the application, including all the actions that can be performed?