A Logic Distance-Based Method for Deploying Probing Sources in the Topology Discovery