Naively enumerating all walk pairs (z, z ′ ) in Eq.
3is intractable when L is large, because the number of possible walks grows exponentially with length bound L. for the specific weight function p(z | w) given by Eq.