tokens: The SPF - A algorithm is based on an all pairs shortest path ( APSP ) algorithm in the CCM due to Censor - Hillel et al .. The first contribution of this paper is summarized in the following theorem .