Searching protocol for "non-backtracking"
Graph zeta analytics: non-backtracking walks.
GF(3)-balanced 3-SAT gadget.
Secure Java regex against ReDoS attacks.