19、析取区间分析：RDD 操作与实验评估

析取区间分析：RDD 操作与实验评估

1. 变量提升与 RDD 结构调整

变量提升是构建以特定节点为根的决策结构的重要操作。通过函数 hoist - var(y, ⟨x, M⟩) 可以实现这一目标，其具体代码如下：

function hoist-var(y, ⟨x, M⟩)
    E = sort nodup({
  
  {l, u} | ( , ⟨x, M ′⟩) ∈M, ([l, u), ) ∈M ′})
    I = [(E[i], E[i + 1]) | i ∈1 .. |E| −1]
    for (I, ⟨x, M ′⟩) ∈M do
        for I′ ∈I do
            let (Is, r′) be the element in M ′ where Is ⊇I′
            Cofac[I, I′] ←r′
    for I′ ∈I do
        rI′ ←⟨y, {(I, Cofac[I, I′]) | (I, r) ∈M})⟩
    return ⟨x, {(I′, rI′) | I′ ∈I}⟩

该函数的操作步骤如下：
1. 从 M 中提取所有区间端点，排序并去重得到 E 。
2. 根据 E 生成区间 I 。
3. 遍历 M 和 I ，确定每个区间对应的余因子 C