Determining L(2,1)-Span in Polynomial Space

Konstanty Junosza-Szaniawski, Paweł Rzą\zewski

A $k$-L(2,1)-labeling of a graph is a function from its vertex set into the set $\{0,...,k\}$, such that the labels assigned to adjacent vertices differ by at least 2, and labels a…