 Hedetniemi's conjecture

In graph theory, Hedetniemi's conjecture, formulated by Stephen T. Hedetniemi in 1966, concerns the connection between graph coloring and the tensor product of graphs.This conjecture states that

Here formula_2 denotes the chromatic number of an undirected finite graph formula_3.