SAT Solvers, GA, LLMs, brute force Birthday paradox probability changes with memoization. Rainbow tables trade CPU for storage for lookup; but salting, double

SAT Solvers, GA, LLMs, brute force Birthday paradox probability changes with memoization. Rainbow tables trade CPU for storage for lookup; but salting, double hashing, and key derivation functions with many rounds like pbkdf and argon2.