Efficient Loop Detection in Forwarding Networks and Representing Atoms in a Field of Sets

Laurent Viennot, Yacine Boufkhad, Leonardo Linguaglossa +2

The problem of detecting loops in a forwarding network is known to be NP-complete when general rules such as wildcard expressions are used. Yet, network analyzer tools such as Netp…