A Strong Edge-Coloring of Graphs with Maximum Degree 4 Using 22 Colors
In 1985, Erdős and Neśetril conjectured that the strong edge-coloring number of a graph is bounded above by when is even and when is odd. They gave a simple construction which requires this many colors. The conjecture has been verified for . For , the conjectured bound is 20. Previously, the best known upper bound was 23 due to Horak. In this paper we give an algorithm that uses at most 22 colors.