46、整数规划中的近似友好差异舍入与Gomory - Chvátal闭包空性判定

整数规划中的近似友好差异舍入与Gomory - Chvátal闭包空性判定

在整数规划领域，近似友好差异舍入和Gomory - Chvátal闭包的空性判定是两个重要的研究方向。下面将详细介绍这两方面的内容。

近似友好差异舍入

首先来看看近似友好差异舍入相关的内容。这里涉及到一些矩阵和函数的定义与运算。
- 设 (D^{-1}) 是一个 (n×n) 的对角矩阵，其元素为 ((s_1, \cdots, s_n))，且对于 (i \in U_k \cup V_k)，有 (s_i = 2^{-k})。
- 假设算法去掉截断步骤 5b，在任意迭代 (t) 中，(\varPhi(Y_t) - \varPhi(X_t) = f(X_t, G_t))，其中 (G_t) 是 (V’_t) 中的一个随机高斯变量。

为了处理截断的影响，定义了如下量：
(M := \max_{t = 0}^{T} { \gamma^2 |G_t|_2^2 + 2\gamma\alpha |G_t|_1 })

已知 (\varPhi(X_{t + 1}) - \varPhi(X_t) = f(X_t, \delta_tG_t))，其中 (\delta_t \in (0, 1])，且 (\delta_t < 1) 当且仅当在迭代 (t) 中发生截断步骤 5b。通过简单计算可得：
(f(X_t, \delta G_t) \geq f(X_t, G_t) - M)，(\forall \delta \in (0, 1))

这意味着：
(\varPhi(X_T) - \varPhi(X_0) = \sum_{t = 0}^{T} f(