Nice. You beat me to it. I was already pretty sure earlier this week that Hamiltonian Circuits/Paths could be done with pure regexes as well, and just tonight I was making some notes on how to do it. It basically came down to the same principles you are using - although I was thinking of mixing the picking of the vertices with the testing for unique picks and valid paths (just to gain speed by rejecting earlier).

Abigail