碰撞集与有界搜索树法

碰撞集与有界搜索树法

选自《Parameterized Complexity Theory》Fixed-Parameter Tractability 1.3

让我们考虑下面的问题，我们可以称之为“专家组问题”：我们需要组建一个在某个我们不太了解的研究领域A中的小型专家小组。我们手头只有该领域的出版物数据库。以下是三种解决该问题的思路：

(1) 我们可以尝试找到一个小型的专家小组，使得领域A中的每篇论文都由该小组的某位科学家共同撰写。显然，这样一个小组的成员必须对该领域非常了解。

(2) 我们可以尝试找到一个小型的小组，使得该领域中的每个人都与至少一个小组成员有共同的出版物。然后，小组成员应该对该领域有一个良好的概述（也许不如方法1那样好，但仍足够好）。

(3) 如果方法（1）和（2）都行不通，我们可以尝试组建一个在该领域工作的科学家小组，使得他们之间没有共同的出版物。为了保证小组的广度，该小组应该有一个合理的规模。

但是，我们如何在只有出版物数据库的情况下找到满足这三种方法之一的专家小组呢？作为训练有素的复杂性理论家，我们将需要解决的问题建模为著名的碰撞集、支配集和独立集问题。

对于方法（1），我们考虑出版物数据库的协作超图(hypergraph)。超图是一个由顶点集合$V$和超边集合$E$组成的二元组，其中每个超边(hpyeredges)（有时也称为边）是$V$的一个子集。因此，图是具有基数为2的（超）边的超图。在超图$\mathcal{H}=（V，E）$中，碰撞集是一组顶点$S\subseteq V$，它与每个超边相交（即对于所有$e\in E，S\cap e\ne \varnothing$）。碰撞集问题是在给定超图$\mathcal{H}$中找到给定基数$k$的碰撞集。协作超图的顶点是出现在出版物数据库中的所有作者，超边是数据库中出版物的作者集合。方法（1）解决专家组问题相当于在协作超图和所需专家组大小$k$中解决碰撞集问题。

对于方法（2）和（3），我们所需的所有信息都包含在协作图中。该图的顶点仍然是所有作者，并且如果两个作者有共同的出版物，则它们之间有一条边。回顾一下，在图$G=（V，E）$中，支配集是一组顶点$S\subseteq V$，使得$VS$中的每个顶点都与S中的顶点相邻。支配集问题是在给定图G中找到给定基数k的支配集。方法（2）解决专家组问题相当于在协作图和专家组大小$k$中解决支配集问题。最后，方法（3）解决专家组问题相当于在协作图和专家组大小$k$中解决独立集问题。

不幸的是，所有这三个问题都是$NP$完全的。乍一看，这表明除非出版物数据库相当小，否则用这三种方法解决面板问题几乎没有希望。然而，我们只需要针对小的专家组大小$k$解决问题。我们通过$k$参数化这些问题，并考虑以下参数化问题：
在例子1.3中，我们已经定义了$p-Independent-Set$。

如果我们假设专家组的规模较小，对于这三个问题中的任何一个，一个好的FPT算法将能让我们用相应的方法解决专家组问题。不幸的是，我们在本书后面会看到，很可能这三个问题都不是固定参数可解的。

参数化算法设计方法的一个巨大优势在于其灵活性。如果对于某个问题最初明显的参数化分类为“难解”，我们无需放弃。我们总是可以寻找更多，也许是“隐藏”的参数。在我们的例子中，我们注意到我们可以预期协作超图的超边，也就是数据库中的出版物作者集合，相对较小。这暗示了以下更精细的参数化击中集问题（我们用$|M|$表示有限集$M$的基数）：

在这里，我们实际上想要通过两个参数$k$和$d$来对问题进行参数化。然而，允许多个参数会进一步复杂化理论，为了避免这种情况，我们可以将所有意图参数的和作为唯一的实际参数。无论何时我们考虑具有多个参数的问题，我们都会采用相同的方法。对于我们的所有目的来说，这已经足够了，并且保持了理论的可行性。

超图$H=（V，E）$的大小是数：

$||\mathcal{H}||:=|V|+\sum _{e\in E}|e|$,

这大致对应于$\mathcal{H}$的合理表示的大小。

定理1.14. $p-card-Hitting-Set$是固定参数可解的。更准确地说，存在一个算法在时间
$O(d^k\ast ||\mathcal{H}||)$

内解决了$Hitting-Set$问题。

证明：不失一般性，我们总是假设$d\ge 2$。对于基数最多为1的超图，碰撞集问题可以在线性时间内轻松解决。

我们使用一个直接的递归算法。设$e$是输入超图$\mathcal{H}$的一个超边。我们知道每个$\mathcal{H}$碰撞集至少包含$e$中的一个顶点。我们在这些顶点上进行分支：对于$e$中的$v$(For $e\in v$)，令${\mathcal{H}}_v$为通过删除$v$和包含$v$的所有超边而得到的超图。那么$\mathcal{H}$为包含$v$的$k$元碰撞集，当且仅当${\mathcal{H}}_v$为$(k-1)$元碰撞集。因此，$\mathcal{H}$为$k$元碰撞集当且仅当存在$v\in e$，使得${\mathcal{H}}_v$具有$(k-1)$元碰撞集。基于这一观察的递归算法如下所示（算法1.1）。如果输入超图具有基数为$k$的碰撞集，则该算法返回$true$，否则返回$false$。

算法的正确性可以从上面的讨论中得出。为了分析运行时间，我们设$T(k,n,d)$为$HS({\mathcal{H}}^{\prime },k^{\prime })$的最大运行时间，其中${\mathcal{H}}^{\prime }=(V^{\prime },E^{\prime })$，满足 ∣ V ′ ∣ ≤ n ， m a x { ∣ e ∣    ∣ e ∈ E ′ ∣ } ≤ d |V'| ≤ n，max\{|e| \ \ | e ∈ E'|\} ≤ d ∣V′∣≤n，max{∣e∣  ∣e∈E′∣}≤d，以及$k^{\prime }\le k$。我们得到以下递推关系：
$T(0,n,d)=O(1)(1.1)$
$T(k,n,d)=d\cdot T(k-1,n,d)+O(n)(1.2)$

对于$n，k\in N$，这里，$d\cdot T(k-1,n,d)$是第8行的递归调用数量的上界d。超图${\mathcal{H}}_v$可以在$O(n)$的时间内轻松计算，而所有其他操作都可以在常数时间内执行。设$c\in N$为常数，使得$(1.1)$中的$O(1)$项和$(1.2)$中的$O(n)$项都被$c\cdot n$所限制。我们声称对于所有$d\ge 2$和$k\ge 0$，以下不等式成立：
$T(k,n,d)\le (2d^k-1)\cdot c\cdot n.(1.3)$

我们通过对k的归纳证明来证明这个断言。对于$k=0$，由于$c$的定义，不等式成立。对于$k>0$，我们有：
$T(k,n,d)\le d\cdot T(k-1,n,d)+c\cdot n$
$\le d\cdot (2d^{k-1}-1)\cdot c\cdot n+c\cdot n$
$=(2d^k-d+1)\cdot c\cdot n$
$\le (2d^k-1)\cdot c\cdot n.$

这证明了$（1.3）$，从而证明了该定理。

例子1.16. 设
H : = ( { a , b , c , d , e , f , g , h } , { e 1 , . . . , e 5 } ) H :=( \{a, b, c, d, e, f, g, h\}, \{e1,...,e5 \}) H:=({a,b,c,d,e,f,g,h},{e1,...,e5})，
其中
e 1 : = { a , b , c } e1 := \{a, b, c\} e1:={a,b,c}，
e 2 : = { b , c , d } e2 := \{b, c, d\} e2:={b,c,d}，
e 3 : = { c , e , f } e3 := \{c, e, f\} e3:={c,e,f}，
e 4 : = { d , f } e4 := \{d, f\} e4:={d,f}，以及
e 5 : = { d , g } e5 :=\{d, g\} e5:={d,g}。该超图显示在图1.2中。
我们算法在输入为$(H,3)$的情况下执行的搜索树显示在图1.3中。我们假设在树的所有分支上，边的处理顺序都是$e1，...，e5$。树的每个内部节点由在该节点处处理的超边$e$标记，树的每条边由决定下一个递归调用的顶点$v\in e$标记。我们留给读者计算用于递归调用的子超图${\mathcal{H}}_v$。叶子的颜色表示返回值：黑色和灰色叶子返回$true$，白色叶子返回$false$。每个黑色或灰色的叶子对应于$\mathcal{H}$的一个碰撞集，其中包含从根到该叶子的路径上标记边的顶点。如果该击中集相对于集合包含是最小的，该叶子是黑色的。

引理1.17. 存在一个算法，给定一个超图$\mathcal{H}$和一个自然数$k$，能够在时间$O(d^k\cdot k\cdot ||\mathcal{H}||)$内计算$\mathcal{H}$的所有最小（相对于集合包含）基数不超过$k$的碰撞集的列表，其中$d$是最大超边基数。该列表最多包含$d^k$个集合。

证明：考虑算法$EnumerateHS$，如算法1.4所示。

断言1. 设$\mathcal{H}=(V,E)$为一个超图，$k\in {\mathbb{N}}_0$。则
$EnumerateHS(\mathcal{H},k,\varnothing )$
返回一个碰撞集的集合$S$，使得$\mathcal{H}$的每个基数不超过$k$的最小碰撞集都出现在$S$中。

证明：我们通过对$\mathcal{H}$的超边数$|E|$进行归纳来证明略微更强的陈述，对于所有与$V$不交的集合$X$，
$EnumerateHS(\mathcal{H},k,X)$
返回一个集合$S$，满足：

P16续