graph-labeling-and-dimension-problems