Exercise 1.1 Partial Set Cover
关键点在于将 中元素的贡献为 1 看作为 .
(a): 可以在多项式时间内解决以下 LP problem
记 为 optimal solutions 之一, 令 , , 为 solution 得到的集合下标组成的集合. 起始为空, 当 时就将 加入 .
Lemma
The collection of subsets $S_{j}, j \in I$ is a set cover.
Proof
假设存在元素 $e_{i}$ 没有被包含, 则有 $x_{j} < p / f, \forall j:e_{i} \in S_{j}$.
于是有
$$\sum_{j:e_{i}\in S_{j}} x_{j} < \sum_{i=1}^{f_{i}} p / f = p \cdot \frac{f_{i}}{f} \leq p$$
与 LP 的约束条件不符, 因此不存在未被 cover 的元素, 得证.
Theorem
The rounding algorithm is a $f / p$-approximation algorithm for the partial set cover problem.
Proof
记 $Z_{LP}^{*}$ 为 $\sum_{j=1}^{m} w_{j}x_{j}^{\ast}$, $x$ 为上述 rounding algorithm 的整数解.
$$ \begin{align*} \sum_{j \in I}w_{j} &= \sum_{j \in I}w_{j} \cdot x_{j}^{\ast} \cdot \frac{1}{x_{j}^{\ast}} \ &\leq \sum_{j \in I} w_{j}\cdot x_{j}^{\ast} \cdot \frac{f}{p} \ &\leq \frac{f}{p} \sum_{j=1}^{m} w_{j}x_{j}^{\ast} \ &= \frac{f}{p} Z_{LP}^{\ast} \ &\leq \frac{f}{p} OPT \end{align*} $$
因此上述 rounding algorithm 是 $f / p$-approximation.
此处 .
(b): 修改 set cover problem 的 greedy algorithm, 得到算法伪代码如下
Theorem
The above algorithm is an $H_{\lfloor p\lvert E \rvert\rfloor}$-approximation algorithm for the partial set cover problem.
Proof
while 循环的过程与 set cover 的 greedy algorithm 相同, 使用与书上分析相同记号,依然有
$$w_j \leq \frac{n_{k}-n_{k+1}}{n_{k}}\mathrm{OPT}$$
于是
$$\begin{align*}\sum_{j \in I}w_{j} & \leq \sum_{k=1}^{\ell} \frac{n_{k} - n_{k + 1}}{n_{k}}\mathrm{OPT} \& \leq \mathrm{OPT}\cdot \sum_{k=1}^{\ell}\left( \frac{1}{n_{k}} + \frac{1}{n_{k}-1} + \cdots + \frac{1}{n_{k+1}+1} \right) \& = \mathrm{OPT} \cdot \sum_{i=1}^{\lfloor p\lvert E \rvert \rfloor } \frac{1}{i} \& = H_{p\lvert E \rvert }\cdot\mathrm{OPT}\end{align*}$$
此处 , 其中 .
Exercise 1.2 Directed Steiner Tree
每个满足 的 set cover problem 都能转化为对应的 directed steiner tree problem, 即这两个问题等价:
- 将每个元素 看作一个 terminal, 于是
- 集合 看作经过 且路径总花费为 的一条路径 , 注意可以添加 cost 不同的重边, 因此 的转化是可行的
- 要求找到路径的下标集合 使得它表示的路径包含了 中的所有 terminal, 这与要求找到 的下标集合使得它构成一个 set cover 等价
- 目标是最小化 其中 表示路径 的 cost 与最小化 其中 选中的 下标集合等价
因此 set cover problem 的每一组解都在 directed steiner tree problem 有对应的解. 根据书中定理 1.14, 可以得出存在某些常数 , 没有能解决 directed steiner tree problem 的 -approximation algorithm, 除非 .
Exercise 1.3 Metric Asymmetric TSP
info
有空补完
这个 flash 怎么总是开坑不填完啊👿
Author: f1a3h
Permalink: https://blog.rbkou.me/Algorithm/Writeup/tdaa-e1/
文章默认使用 CC BY-NC-SA 4.0 协议进行许可,使用时请注意遵守协议。
Comments