But the real question is: Did they allow themselves to pass through the same pub more than once?

If I'm not mistaken, this is a computationally expensive operation, right? Traveling Salesman.