When there are undirected cycles in the network, not clear how to keep the intermediate results from blowing up. In fact, no algorithm is known to run in polynomial time in the general case.
Algorithms do the best they can to keep the tables small fast.
