Perfect r-Codes in Strong Products of Graphs

A perfect r-code in a graph is a subset of the graph’s vertices with the property that each vertex in the graph is within distance r of exactly one vertex in the subset. We prove that the n-fold strong product of simple graphs has a perfect r-code if and only if each factor has a perfect r-code.