An exact algorithm for minimum CDS with shortest path constraint in wireless networks