编辑“︁随机化算法基础”︁

{{DISPLAYTITLE:随机化算法基础}}

'''随机化算法'''是一类在计算过程中引入随机性的算法，其行为不仅取决于输入数据，还依赖于随机数生成器的输出。这类算法通过概率性操作提高效率或简化实现，广泛应用于快速排序、哈希函数、蒙特卡洛模拟等领域。

== 核心概念 ==
随机化算法的核心思想是通过可控的随机性解决确定性算法难以处理的问题。主要分为两类：
* '''拉斯维加斯算法'''：结果总是正确，但运行时间随机（如随机化快速排序）
* '''蒙特卡洛算法'''：运行时间固定，结果可能出错（如素数测试）

数学表达为：给定问题实例<math>I</math>，算法<math>A</math>在随机数序列<math>r</math>下产生输出<math>A(I, r)</math>。

== 基础示例 ==
=== 随机化快速排序 ===
经典快速排序的最坏时间复杂度为<math>O(n^2)</math>，通过随机选择枢轴可避免最坏情况：

<syntaxhighlight lang="python">
import random

def randomized_quicksort(arr):
    if len(arr) <= 1:
        return arr
    pivot = random.choice(arr)
    left = [x for x in arr if x < pivot]
    middle = [x for x in arr if x == pivot]
    right = [x for x in arr if x > pivot]
    return randomized_quicksort(left) + middle + randomized_quicksort(right)

# 示例
input_array = [3, 6, 8, 10, 1, 2, 1]
print("输入:", input_array)
print("输出:", randomized_quicksort(input_array))
</syntaxhighlight>

'''输出：'''
<pre>
输入: [3, 6, 8, 10, 1, 2, 1]
输出: [1, 1, 2, 3, 6, 8, 10]
</pre>

=== 素数测试（费马小定理） ===
利用费马小定理的蒙特卡洛算法：

<syntaxhighlight lang="python">
import random

def is_prime(n, k=5):
    if n <= 1:
        return False
    for _ in range(k):
        a = random.randint(2, n - 1)
        if pow(a, n - 1, n) != 1:
            return False
    return True

print(f"17是素数吗? {is_prime(17)}")
print(f"15是素数吗? {is_prime(15)}")
</syntaxhighlight>

'''输出：'''
<pre>
17是素数吗? True
15是素数吗? False
</pre>

== 概率分析 ==
随机化算法的性能通常通过'''期望时间复杂度'''衡量。例如随机化快速排序的期望比较次数为：

<math>E[X] = 2n \ln n + O(n)</math>

其中<math>X</math>为总比较次数，<math>\ln</math>为自然对数。

<mermaid>
graph TD
    A[输入数组] --> B{长度 ≤ 1?}
    B -->|是| C[返回数组]
    B -->|否| D[随机选择枢轴]
    D --> E[划分三部分]
    E --> F[递归排序左部]
    E --> G[递归排序右部]
    F --> H[拼接结果]
    G --> H
    H --> I[输出有序数组]
</mermaid>

== 应用场景 ==
{| class="wikitable"
|+ 典型应用案例
! 领域 !! 算法 !! 随机性作用

| 计算几何 || 随机增量法 || 避免最坏情况输入
| 机器学习 || 随机梯度下降 || 跳出局部最优
| 网络路由 || 随机游走算法 || 负载均衡
| 密码学 || 随机数生成 || 增强安全性
|}

== 进阶主题 ==
* '''随机采样'''：水库采样算法
* '''随机近似'''：马尔可夫链蒙特卡洛(MCMC)
* '''去随机化'''：通过伪随机数实现确定性算法

{{Note|重要提示|随机化算法需保证随机数生成器的质量，低质量随机性可能导致算法失效。}}

== 参见 ==
* [[概率分析与随机算法]]（原书第5章）
* [[计算复杂性理论]]中的BPP类

{{Stub|algorithm}}

[[Category:计算机科学]]
[[Category:数据结构与算法]]
[[Category:随机化算法]]