论文阅读-AKS_CoRR_2011

作者	年份	近似比
Hoogeveen	1991	$\frac{5}{3}$
An, Kleinberg, Shmoys	2012	$\frac{1+\sqrt{5}}{2}$
Sebo	2013	$\frac{8}{5}$
Rico Zenklusen	2019	1.5

Title: Improving Christofides’s Algorithm for the s-t path TSP

Alpha: $\frac{1+\sqrt{5}}{2}$

Theorem1: Hoogeveen算法的解不超过$\frac{5}{3}OP{T}_{LP}$

定义1: Path-TSP的HK松弛

m i n ∑ e ∈ E c e x e s . t . x ( δ ( v ) ) = { 1 , v = s , t 2 , v ≠ s , t x ( δ ( S ) ) ≥ { 1 , ∣ S ∩ { s , t } ∣ = 1 , 2 , ∣ S ∩ { s , t } ∣ ≠ 1 , 0 ≤ x e ≤ 1 , ∀ e ∈ E min \sum_{e\in E} c_ex_e\\ \begin{aligned} & s.t.\\ & x(\delta(v))=\begin{cases} 1, & v=s,t\\ 2, & v\neq s,t \end{cases}\\ & x(\delta(S)) \geq \begin{cases} 1, & |S \cap \{s,t\}|=1,\\ 2, & |S \cap \{s,t\}|\neq 1,\\ \end{cases}\\ & 0 \leq x_e \leq 1, \forall e \in E \end{aligned} mine∈E∑​ce​xe​​s.t.x(δ(v))={ 1,2,​v=s,tv​=s,t​x(δ(S))≥{ 1,2,​∣S∩{ s,t}∣=1,∣S∩{ s,t}∣​=1,​0≤xe​≤1,∀e∈E​

其中$\delta (S)$是仅有一个端点落在S中的边的边集, 同时$X(E^{\prime })={\sum }_{e\in E^{\prime }}{x}_e$, 所谓的松弛就是最后一个0-1向量变成了实数.

定义2: 生成树凸集

生成树凸集由下面的不等式定义:
$$\begin{array}{rl}& x(E)=|V|-1,\\ & x(E(S))\le |S|-1,\forall |S|\subseteq V,|S|\ge 2,\\ & x_e\ge 0,\forall e\in E\end{array}$$

其中E(S)是所有两个端点都在S中的边的边集.

Lemma1: LP-relaxation的任意可行解x都在生成树凸集中.

proof: LP-relaxation的约束满足生成树凸集的定义
$$\begin{gathered} X(E)\equiv \sum _{e\in E}{x}_e=\frac{1}{2}\sum _{v\in V}x(\delta (v)) \\ =\frac{1}{2}(|v|-2)\cdot 2+2)=|v|-1 \end{gathered}$$
同时,
$$X(E(S))=\frac{1}{2}(\sum _{v\in S}x(\delta (v))-x(\delta (S)))$$
如果 ∣ S ∩ { s , t } = 1 |S\cap \{s,t\}=1 ∣S∩{ s,t}=1, 有$X(E(S))\le \frac{1}{2}(1+2(|S|-1)-1)=|S|-1$,

如果 ∣ S ∩ { s , t } = ∅ |S\cap \{s,t\}=\empty ∣S∩{ s,t}=∅, S-1,

如果 ∣ S ∩ { s , t } = 2 |S\cap \{s,t\}=2 ∣S∩{ s,t}=2,S-2

定义3: 奇数集S, 如果$|S\cap T|$含有奇数个, 则S是个奇数集

Lemma2: S是一个奇数集, 如果 ∣ S ∩ { s , t } ∣ = 1 |S\cap \{s,t\}|=1 ∣S∩{ s,t}∣=1, 则$|F\cap \delta (S)|$为偶数, 如果 ∣ S ∩ { s , t } ∣ ≠ 1 |S\cap \{s,t\}|\neq1 ∣S∩{ s,t}∣​=1, 则$|F\cap \delta (S)|$为奇数.

例如,

Proof: s,t 如果在S中, 它们有偶数度, 其他点有奇数度.

定义${\sum }_{v\in S}de{g}_F(v)=2|E(S)\cap F|+|\delta (S)\cap F|$

证明如下:

1.如果 ∣ S ∩ { s , t } = 1 |S\cap \{s,t\}=1 ∣S∩{ s,t}=1, 假设$s\in S$, $s\in T$当且仅当$de{g}_F(s)$even.

则$S_{odd}\to even$ # 个奇数度的节点在S中($|S\cap T|odd$)

$$\sum _{v\in S}de{g}_F(v)-2|E(s)\cap F|=|\delta (s)\cap F|$$
第一个子式为偶数度, 第二个子式肯定是偶数, 则右边也是偶数.



2. 如果 ∣ S