随机化算法通过引入随机选择来解决复杂问题，主要分为Las Vegas和Monte Carlo两类。Las Vegas算法保证结果正确但运行时间不确定，Monte Carlo算法运行时间确定但结果可能错误。Schwartz-Zippel引理用于多项式零点检验，Freivalds算法用于矩阵乘法验证，Karger算法用于最小割问题，Miller-Rabin素性测试是数论中的重要应用。此外，随机化在分布式系统中也非常重要，能够有效解决异步共识等问题。