I am not a mathematician, but regardless of the algorithm, PNR designators are recycled, so there would be a randomness in the mix in any case, no? (For even medium-term record keeping, the ticket number, not the PNR, is the key once the trip is completed.)

I'm curious if anyone here has hit the "jackpot" with the same PNR at different times, though the chances are pretty slim.