MathDB
Is there a cool assignment for each graph?

Source: Baltic Way 2020, Problem 9

November 14, 2020
combinatoricscombinatorics proposed

Problem Statement

Each vertex vv and each edge ee of a graph GG are assigned numbers f(v){1,2}f(v)\in\{1,2\} and f(e){1,2,3}f(e)\in\{1,2,3\}, respectively. Let S(v)S(v) be the sum of numbers assigned to the edges incident to vv plus the number f(v)f(v). We say that an assignment ff is cool if S(u)S(v)S(u) \ne S(v) for every pair (u,v)(u,v) of adjacent (i.e. connected by an edge) vertices in GG. Prove that for every graph there exists a cool assignment.