Representing shortest paths in graphs using Bloom filters without false positives and applications to routing in computer networks