计算强有序图中的独立集
摘要
我们考虑设计算法来精确计算图 的独立集数量的问题。我们证明,当 被限制为强有序图类(弦二部图的超类)时,该问题存在多项式时间算法。 我们还表明,对于有界团宽度的图来说,存在这样的算法。 我们的结果扩展到在加权图中计算独立集的更一般设置,并且可用于计算任何给定大小的独立集的数量。
1简介
有时,知道某个特定问题有一个解决方案是不够的,我们想计算有多少个解决方案。 自从 Valiant [Val79a] 的工作引入了捕获此类问题的复杂性类 #P 以来,许多问题的计数版本已经被研究,例如约束满意度问题[Bul08],生成树[BP83],独立集[Vad01],着色[BDGJ99] ,…
计数问题部分是由可靠性问题引起的。 事实上,网络对某些攻击的弹性与满足某些属性[BP83]的子图数量有关,例如连接。 这些问题也是由统计物理学中的一些问题引起的,其中粒子相互作用的模型导致计算一些称为配分函数的量,这些量通常是某种形式的计数问题的加权概括。 最后,计数还与随机抽样问题[JVV86]密切相关:根据某种(通常是均匀的)分布得出问题的解决方案。
在本文中,我们感兴趣的是计算图中独立集的数量的问题。 自从[PB83]的工作以来,我们知道这个问题在一般图中是#P-困难的。 对于更受限制的图类别[Gre00,OUU08,FG04,DM19],在这个问题上获得了许多其他结果,无论是正面的还是负面的,本文通过研究问题的复杂性来遵循这个方向在两类不同的图表上。 我们的主要成果是一种精确计算强有序图中独立集数量的算法,它是弦二分图的超类。 该类由 Dagran [Dra00a] 引入,作为研究图中特定消除顺序的存在如何影响各种问题的复杂性的一种方法。 我们的第二个结果是动态编程算法,用于计算有界团宽度图中独立集的数量。 此类包括有界树宽的图,以及其他非稀疏图类,例如 cographs 和距离遗传图。
现有工作。
关于计算图中独立集的问题有几个重要的结果。 在 Provan 和 Ball [PB83] 的工作中,这个问题首次被证明是#P困难的,即使对于二分图也是如此。 此结果后来在多篇论文中得到改进,表明该硬度适用于其他类别的图,例如最大次数 3 [Gre00] 的图、平面图 [Vad01] 或可比性图表[DM19]。 从参数化复杂度的角度来看,计算给定大小的独立集的数量被证明是-hard[FG04],因此不太可能有FPT算法。
从积极的一面来看,该问题对于几个更受限制的图类有一个多项式时间算法,例如弦图 [OUU08]、可比图 [DM19]、有界图树宽[WTZL18]或容差图[LS15],仅举几个例子。 一张代表所有已知结果的图片,以及不同类之间的关系可以在图1中找到。
计算图中的匹配数(即,线图中的独立集)的问题也得到了广泛的研究。 计算二分图中完美匹配的数量是 Valiant 在她的论文 [Val79a] 中证明是 #P 完成的第一个问题之一,其中介绍了 # P 作为复杂性类别。 这个结果后来被扩展到计算所有匹配(不仅仅是完美的)[Val79b]。 与独立集类似,该问题针对几类图进行了研究,并且在弦图和弦二分图[OUU09]上被证明是#P-困难的。 令人惊讶的是,虽然在平面图 [DM19] 上也很困难,但仅计算此类的完美匹配的问题与普法夫方向相关,并且允许多项式时间算法 [Kas63].
统计图中独立集个数的问题也从近似的角度进行了研究。 该问题的大多数结果实际上来自统计物理学和对称为硬核模型的特定粒子相互作用模型的研究。 该模型可以看作是对图中独立集进行计数的加权概括。 更准确地说,给定参数,每个独立集都有一个相关的权重,并且硬核模型的配分函数具有逸度对应以下数量:
其中 是图 的所有独立集的集合。我们可以看到,当参数 等于 时,这正好是在计算 的独立集合数。我们还可以指出,上述数量可以看作是 的多项式,而这个多项式的系数就是在 的所有可能值下,给定大小为 的 独立集合的个数。因此,要求精确计算任意参数 的这一数量,实质上等同于计算任意可能的 的大小为 的独立图集的数量。
从近似的角度来看,这个问题在最大度图上的复杂性是很好理解的。 事实上,有一个参数,它有一些物理解释(例如参见[Wei06,GŠV16]),问题的复杂性仅取决于 或不。 当时,问题承认FPTAS(完全多项式时间近似方案)[Wei06],即,一种计算-实例大小和的时间多项式结果的近似值。 另一方面,当时,即使允许随机化,也不存在这样的近似方案,并且假设(这相当于P与NP 用于随机算法)[GŠV16、Sly10、MWW09、GGŠ+11]。 请注意,当 正好处于阈值时,复杂性显然仍然是开放的。 此外,请注意,当时,大于,而当时,小于。 这意味着当至多时,最大度的图的独立集合的数量可以在多项式时间内近似,但不承认当为或更大时的近似方案。 最后,最后一个有趣的事实是,近似二部图类的独立集的数量似乎具有中等复杂性。 更准确地说,[CGG+16] 被认为不承认近似方案,也不能通过 AP 简化为 #SAT(计数问题)布尔公式的可满足赋值。 这一主张得到了以下事实的支持:许多问题被证明相当于近似二部图中独立集的数量,并且它们形成了一个有时称为#BIS的类。
我们的结果。
本文的主要结果是证明对于强有序图,可以在多项式时间内计算图的独立集的数量。 这个类(我们在下一节中定义)是弱弦图的子类,并且包含弦二分图。 事实上,我们的算法适用于稍微更一般的问题。 给定图 顶点上的权重函数 ,我们的目标是计算以下数量:
请注意,图的独立集合的数量对应于所有权重等于的情况。 逸度的硬核模型的配分函数对应于所有权重都等于的情况。 这个量可以解释为硬核模型配分函数的更通用版本,其中每个顶点被赋予单独的逸度。 我们的主要结果是以下定理:
Theorem 1。
如果 是强有序图,并且 是任意正权重函数,则可以在多项式时间内计算。
通过上面的评论,计算独立集的数量或计算此类图的配分函数的情况也是多项式的,因为这些是上述结果的特殊情况。 如果我们将这个结果与计数匹配的问题进行比较,似乎有些令人惊讶。 事实上,众所周知,计算二分图中的独立集是#P困难的,甚至问题的近似似乎也不可能有多项式时间近似方案。 另一方面,二分图中的匹配存在多项式时间近似方案,并且精确计算匹配的数量是#P-困难的。 因此,尽管匹配的计数问题似乎比二分图上的独立集更容易,但当我们进一步限制弦二分图的类别时,它实际上会更困难。 我们的结果证明,强有序图的情况与弦图的情况相似,因为计算此类上的独立集是多项式的,而计算匹配是#P-困难的。
此外,我们的结果是对[LC17b]的显着改进,证明了存在用于计算二分置换图(弦二分图的子类)的独立集数量的多项式时间算法。 我们还表明,对于有界团宽度图,该问题是多项式的:
Theorem 2.
如果 具有有界有界团宽度,并且 是任意正权重函数,则可以在多项式时间内计算。
这同时概括了来自 [WTZL18] 的结果,该结果证明了有界树宽度的图,以及来自 [Lin18] 的结果,该结果涉及距离遗传团宽度最多为 的图。 我们的算法再次适用于具有逸度 的硬核模型的更一般问题,即使每个顶点的逸度不同。
概述
2 问题定义和符号
2.1 图和图类
我们从图论中的一些基本定义和符号开始,以及本文其余部分将使用的某些图类的定义。
对于子集 ,让 表示一组无序对,其中一个元素位于 中,一个元素位于 中。图由一组有限的顶点和一组边描述。 给定两个顶点 ,我们将用 表示 和 之间的边。除非另有说明,本文中的所有图都是简单的,没有环,没有重边,并且无向;如果 则 。
给定一个图 和一组顶点 ,我们用 表示由 中的顶点导出的子图,即、。 符号 是 的简写,对于 ,我们将 缩写为 。 如果 和 是顶点的不相交子集,那么 表示具有颜色类 和 以及边 的双方形图。 给定一个顶点,我们用表示的邻居,用表示距离的顶点>,当图形从上下文中清晰可见时,我们将删除下标 。
上的权重函数 是将非负有理权重分配给 的顶点。我们可以将其视为函数,也可以将其视为大小为的向量。 我们用表示图的所有顶点的权重函数等于。 如果是的子图,那么我们将用表示对
我们考虑的第一类图是弦二部图,它是弦图的二部等价物,定义如下:
Definition 3。
如果图 是二分图并且不包含任何长度为 或更长的诱导循环,则该图是弦二分图。
与弦图类似,弦二分图还有基于其顶点的某些特定排序的其他特征,但是本文的其余部分将不需要这些属性。 相反,我们关注弦二分的一个特殊子类,称为链图,其定义如下:
Definition 4 ([Yan82]).
二分图是一个链图,如果对于二分同一侧的每个顶点和,我们有 或相反的。
链图图将在证明我们的主要结果中发挥重要作用,该结果涉及称为强有序的图。 后一类是强弦图和弦二部图的推广。
Definition 5 ([VBW92])。
如果存在顶点 的排序,使得对于所有 和 ,如果 和 是 的边,则 也是 的边,则图 是 强有序图。满足这一特性的排序称为 强排序。
此外,此类图可以在多项式时间内识别,并且可以在[Dra00b]时间内计算强排序。 最后,cographs 的类别将用于校样。
Definition 6。
科格拉斯 是从单个顶点开始通过以下操作构建的图:
-
•
不相交并集:如果 和 是连字符,则 是一个坐标图;
-
•
完全连接:如果和是连字符,则 是一个cograph。
还有几种其他方法来表征 Cographs。 在我们的证明的其余部分中,我们只需要以下属性:
Proposition 7 ([CLS81])。
当且仅当图不包含 (四个顶点上的路径)作为导出子图时,图才是 cograph。
有关这些受限类中的图、其属性以及对原始作品的引用的更多信息,请参阅[Gol80,BLS99]。 我们还需要派系宽度的概念。 该参数的正式定义可以在5节中找到。
2.2算术电路
在本文中,变量集 上的算术电路是一个有向无环图,其中每个顶点是:
-
•
入度为零的顶点,并用 标记某些 或某些固定常数 ,
-
•
入度为 2 的顶点,并用以下四个操作之一进行标记:。
请注意,在减法门和除法门的情况下,两个输入的顺序很重要。 请注意,这不是算术电路的标准定义,因为它们通常不包括除法门。 我们将它们放在这里是因为它们将在我们的证明中发挥重要作用。 电路描述了一个函数,其中是输出的数量(即,出度为零的顶点)这是一个有理分数:它是两个多项式函数的商。 下面,如果一个电路不包含任何减法门,并且电路中的所有常数均为正,则该电路将被称为正。 正电路将发挥重要作用,因为从近似计算的角度来看,它们表现良好。
2.3问题定义
给定一个图,我们用表示中独立集合的数量。我们将考虑计算独立集合的加权数量的更普遍的问题。 给定一个图 和一个权重函数 ,我们将用 表示由以下数量定义的加权独立集的数量:
对于固定图 ,函数 是 变量上的多项式,其最大阶数是 中最大独立集的大小。我们将用 表示这个多项式,它有时被称为图 [GH83] 的独立性多项式。 我们的目标是研究可以准确计算哪些类别的图这个量。 容易看出,计算独立集数对应于权函数为的情况。 更一般地,计算具有逸度的硬核模型的配分函数也是该问题的一个特例,其中权函数为。
3 概要和技术结果
定理1的证明基本上分两步进行。 第一步包括构建一个算术电路,通过使用下面引理 8 中描述的强有序图的结构属性来计算独立多项式 。 该电路的输入是权重函数的不同系数,并输出输入图的。一旦构建了这个算术电路,我们就可以认为针对特定权重函数 评估它会很简单,不幸的是,一些技术细节迫使我们绕了一点弯路。 事实上,对电路的直接评估可能是不可能的,因为中间结果可能需要非常大的(超多项式)位数才能准确表示。 另一方面,除法门的存在意味着使所有计算以某个(足够大的)素数 为模的标准技巧不起作用,因为如果我们不小心,这可能会导致除以零在素数的选择中。
相反,我们的证明首先观察上一步中构建的电路是否为正,然后使用此属性来近似评估电路,直到乘法 因子。 最后,由于该电路计算的多项式的次数最多为,因此可以通过简单的舍入从近似值中恢复精确值,前提是 选择足够小(但仍然只需要多项式位数来表示)。
现在,我们继续证明定理证明中使用的两个技术引理。 第一个引理 8 下面给出了我们在证明的第一步中需要的强有序图的结构属性。 第二个涉及使用近似值评估正算术电路,该近似值在证明的第二步中使用。
Lemma 8.
令 为强排序图, 为 强排序中的第一个顶点。然后:
-
•
是一个坐标图,
-
•
是一个链图。
证明。
我们首先考虑第一点。 让我们通过矛盾假设 不是一个 cograph。 根据命题7,这意味着包含四个顶点上的诱导路径。 令 为该路径中的顶点。 根据对称性,根据的强排序,我们可以假设或是的第一个顶点。我们考虑这两种情况:
-
•
根据 的强排序, 是 的第一个顶点。在这种情况下,我们知道 、 和 是 的边,而在 的强排序中, 出现在 之前, 出现在 之前。因此,根据强排序的特性, 是 的一条边,这与 是一条诱导路径的假设相矛盾。
-
•
根据 的强排序, 是 的第一个顶点。在这种情况下,我们知道 、 和 是 的边,而在 的强排序中, 出现在 之前, 出现在 之前。因此, 是 的一条边,这又与 是一条诱导路径的假设相矛盾。
在这两种情况下,我们都得到了矛盾,因此第一个属性成立。 现在我们来证明第二点。 令 为 中的两个顶点,使得 在 的强排序中出现在 之前。让成为中的邻居。 根据构造,我们可以知道 、 和 是 的边,在 的强排序中, 出现在 之前, 出现在 之前。根据强排序的特性,可以得出 是 的一条边。由于这对 中 的每个邻边都成立,因此可以得出 。 由于这对于 中的任何一对顶点 都成立,因此意味着 是一个链图。 ∎
下面的第二个技术结果使我们能够评估正算术电路。
Lemma 9.
令 为一个正算术电路,具有 个输入和一个输出,计算次数最多为 的多项式 。令 为维度 的正有理向量,使得 和 都可以使用 表示位。 然后可以在和中的时间多项式中精确计算。
请注意,在上面的引理中,电路是正的,并且 很重要。 事实上,如果没有这些条件,当使用浮点算术进行计算时,在减去两个接近值的数量时,可能会发生相对精度的重要损失。 另请注意,不一定可以直接评估电路。 事实上,由于存在一些除法门,中间结果可能需要超过多项式位数才能准确表示,即使最终结果不需要。
证明。
我们将使用浮点运算来评估输入 上的电路 。 在证明的其余部分中,将表示我们用于浮点数尾数的位数,是用于指数的位数。 由于我们知道的每个系数只能使用位来写入,因此的系数满足所有:。 此外,我们提出以下主张:
Claim 9.1.
计算 所得的所有中间值都介于 和 之间,其中 .
证明。
我们通过对进行归纳来证明结果。 如果,则结果立即成立。 否则,考虑通过移除输出门之一(即,出度为零)从获得的电路。 使用归纳假设,的所有中间值的大小最多为。 如果我们刚刚移除的门是加法门,那么它的输出最多是。 如果是乘法门或者除法门,那么最多就是。 如果它是入度为零的门,则结果立即成立。 使用类似的论证,下界成立。 ∎
这一事实的结果是,如果我们至少使用 位作为指数,则所有计算都可以使用浮点运算完成,而不会出现任何溢出风险。 因此,唯一要做的就是研究尾数需要有多大才能获得足够的精度并最终检索准确的结果。
让,并让。 让我们用来表示对浮点数的操作。 我们知道,对于任何运算符 以及任何表示为浮点数的值 和 ,我们都有 。 换句话说,这意味着每次执行浮点运算时,相对精度最多会丢失一个 因子。
我们将通过对进行归纳表明,对于计算中的所有中间值,如果是计算出的相应值使用浮点运算,然后。 如果,则电路中没有门,结果自然成立。 否则,考虑删除输出门之一后获得的电路。 我们知道归纳假设对于成立。 此外,令 为我们刚刚删除的门的精确输出, 为使用浮点运算计算的近似输出。 然后我们有:
-
•
如果我们删除的门是加法门,则令 和 为其输入的精确值, 和 使用浮点运算计算出的近似值。 然后我们知道:
我们对 和 使用归纳假设,它们是电路 中的正数和中间结果。 以类似的方式,我们有:
-
•
如果我们删除的门是乘法门,则再次让 和 为其精确输入, 和 使用浮点运算计算的近似输入。 那么它认为:
和,
-
•
最后,如果门是分门,我们也有类似的方法:
和,
特别是,我们可以计算电路的输出,乘法因子为 。 令 为输入向量 的所有分母的最小公倍数。 由于计算出的多项式的次数为,因此是一个整数。 因此,我们只需选择,使得误差项满足。 事实上,如果这成立,那么如果我们用 表示使用浮点运算计算的电路的输出,并且 是精确的输出,那么我们有:
特别是,由于 是一个整数,并且上面的区间仅包含单个整数,因此可以通过将 舍入到最接近的整数来检索该值。
此外,不等式 与 一样成立。 由于我们有 ,因此只要采用 就足以让这个不等式成立。 由于是正整数并且至多为,因此取大于就足够了。 这就完成了证明,并表明我们只需要多项式位数即可达到所需的精度,以便最终恢复准确的结果。 ∎
4 定理的证明
我们现在拥有证明定理 1 所需的所有工具。 证明首先展示如何构建计算独立多项式 的多项式大小的正电路。 该电路将使用图的强排序来构建。 在构建整个图的电路之前,我们首先考虑将自己限制为较小的类的情况,然后将其用作主构造的子例程。
Lemma 10.
如果是一个cograph,那么我们可以在多项式时间内构建一个大小为的正电路来计算。
证明。
我们通过对图的大小进行归纳表明,存在一个正电路计算,即非空独立集的加权个数对应的多项式。 归纳是使用定义 6 中的 cographs 的递归定义来完成的。 如果 包含唯一的顶点 ,则 ,并且通常具有恒定大小的正电路。
如果是两个图和的不相交并集,则的任何独立集合都是独立集合的并集的和一组独立的。 由此得出,因此我们有:,并且我们可以轻松地为构造一个电路,给定两个的电路> 和。
最后,如果 是两个连字符 和 的完全连接,则 的任何非空独立集是非空独立的 集或非空独立的 集,但不能同时使用两者。 这意味着。 这再次意味着 的电路可以根据 和 的电路计算得出。
这证明多项式 以及 具有正电路。 该电路的大小为 ,因为在归纳的每个步骤中仅添加恒定数量的门,并且由于我们仅使用加法门和乘法门,所以该电路的大小为正。 ∎
证明的主要内容将是下面的 Lemma,该 Lemma 包含以下内容:我们可以安全地移除 强排序中的第一个顶点,只要对权重函数进行修改即可。更确切地说,我们要证明,如果 是 强排序中的第一个顶点,那么 的权重函数 存在,从而 其中 K 和 的系数可以通过正电路计算。 如果这一点成立,那么构建整个图的正电路只需迭代此过程并逐一删除顶点即可。
让我们首先更详细地描述如何构造这个权重函数。 令 为强有序图, 为 强排序中的第一个顶点, 为权重函数。通过引理 8 我们知道 归纳出一个链图。 我们用 表示 中的顶点根据 中包含的邻域进行排序。换句话说,。 让我们用 表示由 导出的图。 我们将约定 是空图,。 我们考虑上的权重函数,使得和在上一致,并且对于所有 中的顶点:
(1) |
请注意,在此定义中, 仅依赖于 的 ,因此它唯一地定义了 。 此外,由于 是一个 cograph,因此通过引理 10 可以立即得出 的系数可以仅使用正电路来计算。 此外,以下结果成立:
Lemma 11.
我们有。
证明。
证明通过划分 、 的独立集合的集合来进行,具体取决于独立集合如何与 的顶点集合相交。 更准确地说,让我们用 表示独立集合 的集合,使得 是最大索引,使得 不是 中任意顶点的邻居,约定 是与 的所有顶点相邻的独立集。 请注意, 是 的一个分区。
我们可以注意到,如果的独立集合在中,那么与它不相邻的的顶点是正是。 事实上,由于 引发了一个链图,因此对于所有 而言,与 相邻的任何顶点 也与 相邻。 因此,根据这一观察,我们可以写出
换句话说,这意味着 的独立集合是通过用 的独立集合扩展所有 的 元素而得到的。 反之,用该方法得到的任何集合都是的独立集合。因此我们有
其中。 同样,独立集 可以是以下之一:
-
•
是空集,
-
•
是一个仅包含 的单例,
-
•
或 是一个独立的集合,其中包含某些 的 ,但不包含任何 的 。
这种情况的区别意味着系数可以重写为:
在这个总和中,对应于空集,而项对应于仅包含的独立集。
使用与上面使用权重函数 的图 完全相同的参数,我们可以以类似的方式编写:
其中。 同样,这些系数满足等式:
因此,为了证明结果,只要证明对于所有,就足够了,这相当于证明对于所有,我们有,它完全对应于等式(1)中的定义。 ∎
Corollary 12。
有一种算法,给定强有序图 ,在多项式时间内输出 的(多项式大小)正电路。
证明。
然后通过将不同的引理组合在一起,立即得出主定理的证明。
5 有界团宽度图
我们现在证明,对于有界团宽度的图,可以在多项式时间内计算独立集的加权数量。 在证明这个结果之前,让我们首先给出图的团宽度的正式定义。
令 为有限标签集,并令 为(可数)顶点集。 我们递归地定义 -表达式 以及它们描述的标记图。 这里,带标签的图是一个三元组,其中是一个图,为顶点分配标签。 - 表达式是使用以下四个操作构建的:
- 创建一个顶点。
-
对于每个标签 和每个顶点 ,字符串 都是一个 表达式。 它用描述了标记图。
- 脱节联盟。
-
令 和 是描述 和 的 表达式。 如果 则 是 表达式。 它描述了 和 描述的两个图的不相交联合,换句话说,图 其中:
- 添加边缘。
-
对于不同的标签 和 表达式 ,字符串 是 表达式。 它描述了添加颜色 和 之间的所有边的图形。 形式上,如果 对应于图 ,则 描述 ,其中 。
- 重新贴标签。
-
对于不同的标签 和 表达式 ,字符串 是一个 表达式,描述图中标记为 的顶点被重新标记为 。 形式上,如果 描述 ,则 描述 ,其中:
图 的 clique-width(由 表示)是集合 的最小大小,使得有标签 和描述 的 表达式。
如果我们另外允许空字符串为 表达式,则 是唯一的团宽度为零的图。 当且仅当 时,图 的团宽度最多为 1。 当且仅当 是一个 cograph 时,图 的 clique-width 最多为 2。 有一种多时间算法可以识别团宽度最多为三个[CHL+12]的图。 一般来说,对于给定的和,是否满足[FRRS06]<的决定是NP完全的/t4>. 与树宽度相比,团宽度的参数化问题未知是固定参数可处理的。
我们想要显示的结果如下
Theorem 13.
有一种算法,给定图 、 的 表达式以及 和权重函数 ,在时间内计算。
上面结果中多项式的指数与图的团宽度上的边界 无关。 这个结果暗示了定理2。 事实上,如果不将 表达式作为算法的输入,那么利用 [OS06] 的结果,就可以在多项式时间内计算出具有 的 表达式(如果 是常数)。 这意味着即使没有给算法提供相应的表达式,上面的算法仍然是有界团宽度图上的多项式,但是团宽度的依赖性变成了双指数。
证明。
让我们从一些符号开始。 在这个证明的其余部分中,将是一组有限的标签,并且给定一个-表达式,我们将用 该表达式描述的标记图。 此外,如果 是带有标签 的标记图,并且 是标签的子集,则 表示导出的子图由标签为 的顶点,换句话说:。
假设 是带有权重函数 的输入图,假设 是描述 的 表达式。算法将采用动态编程法,针对某个 表达式 ,并针对每个不同的标签子集 ,计算出数量 ,为简化符号,该数量将用 表示。 这些量将使用 表达式的递归定义通过归纳来计算。
的子表达式形成分解树。 它的叶子是 节点,恰好对应 的每个顶点。此外,树包含 内部节点和两个子节点,这些是 节点。 所有其他节点都只有一个子节点,并且是 - 或 - 节点。 总有一棵分解树,使得两个 节点(或 节点和根节点)之间的每条路径都有 - 或 类型的 节点。 简而言之,我们可以假设分解树的大小为。
令 为 的子表达式, 为标签的子集。 让我们展示如何使用 表达式的递归结构来计算 :
- 创建一个顶点。
-
首先假设 对应于某个标签 和一个顶点 。 然后我们有:
事实上,如果 ,那么 包含单个顶点 ,并且有两个可能的独立集:空集和包含 的集;如果 ,那么 是空图,空集是 的唯一独立集。
- 脱节联盟。
-
假设,那么我们有:
事实上,由于 是 和 的不相交并集,因此 的任何独立集合都是独立集合的并集 和一组独立的。 反过来,这种形式的每个集合都是一个独立的 集合。 即使图仅限于带有 标签的顶点,这一点也成立。
- 添加边缘。
-
现在假设。 的每个独立集合在 或 中都是独立的,而 的独立集合在 和 中都是独立的。 因此我们有
- 重新贴标签。
-
最后,假设。 然后我们有:
这是因为重新标记顶点只会更改所考虑的标签子集 。
评估此递归的动态规划算法将最多执行 步骤,其中 。 每一步仅对多项式位数表示的数字进行一些算术运算,因此整个算法在多项式时间内运行,从而完成了定理的证明。 ∎
6结论
我们已经证明,对于强有序图和有界团宽度图,可以在多项式时间内计算图的独立集的数量。 一个自然的问题是这些结果是否可以进一步推广。 需要考虑的一类自然图是弱弦图,其复杂性仍然是开放的。 另一项说明是,当没有将 lambda 表达式作为算法的输入给出时,我们的有界团宽度图算法在图的团宽度中是双指数的。 这是因为目前没有 FPT 算法来计算图的团宽度。 解决这个问题的一种方法是尝试调整算法的排名宽度,这是一个与派系宽度密切相关的参数,可以在 FPT 时间内计算。
致谢
作者感谢马丁·戴尔激发了讨论。
参考
- [BDGJ99] Russ Bubley, Martin Dyer, Catherine Greenhill, and Mark Jerrum. On approximately counting colorings of small degree graphs. SIAM Journal on Computing, 29(2):387–400, 1999.
- [BLS99] Andreas Brandstädt, Van Bang Le, and Jeremy P. Spinrad. Graph classes: a survey. SIAM Monographs on Discrete Mathematics and Applications. Society for Industrial and Applied Mathematics, Philadelphia, 1999.
- [BP83] Michael O. Ball and J. Scott Provan. Calculating bounds on reachability and connectedness in stochastic networks. Networks, 13(2):253–278, 1983.
- [Bul08] Andrei A. Bulatov. The complexity of the counting constraint satisfaction problem. In International Colloquium on Automata, Languages, and Programming, pages 646–661. Springer, 2008.
- [CGG+16] Jin-Yi Cai, Andreas Galanis, Leslie Ann Goldberg, Heng Guo, Mark Jerrum, Daniel Štefankovič, and Eric Vigoda. #BIS-hardness for 2-spin systems on bipartite bounded degree graphs in the tree non-uniqueness region. Journal of Computer and System Sciences, 82(5):690–711, 2016.
- [CHL+12] Derek G. Corneil, Michel Habib, Jean-Marc Lanlignel, Bruce A. Reed, and Udi Rotics. Polynomial-time recognition of clique-width 3 graphs. Discrete Applied Mathematics, 160(6):834–865, 2012.
- [CLS81] Derek G. Corneil, Helmut Lerchs, and Lorna Stewart Burlingham. Complement reducible graphs. Discrete Applied Mathematics, 3(3):163–174, 1981.
- [DM19] Martin Dyer and Haiko Müller. Counting independent sets in cocomparability graphs. Information Processing Letters, 144:31–36, 2019.
- [Dra00a] Feodor F Dragan. Strongly orderable graphs a common generalization of strongly chordal and chordal bipartite graphs. Discrete applied mathematics, 99(1-3):427–442, 2000.
- [Dra00b] Feodor F. Dragan. Strongly orderable graphs: A common generalization of strongly chordal and chordal bipartite graphs. Discrete Applied Mathematics, 99(1–3):427–442, 2000.
- [FG04] Jörg Flum and Martin Grohe. The parameterized complexity of counting problems. SIAM Journal on Computing, 33(4):892–922, 2004.
- [FRRS06] Michael R. Fellows, Frances A. Rosamond, Udi Rotics, and Stefan Szeider. Clique-width minimization is NP-hard. In Jon M. Kleinberg, editor, Proceedings of the 38th Annual ACM Symposium on Theory of Computing, Seattle, WA, USA, May 21–23, 2006, pages 354–362. ACM, 2006.
- [GGŠ+11] Andreas Galanis, Qi Ge, Daniel Štefankovič, Eric Vigoda, and Linji Yang. Improved inapproximability results for counting independent sets in the hard-core model. In Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, pages 567–578. Springer, 2011.
- [GH83] Ivan Gutman and Frank Harary. Generalizations of the matching polynomial. Utilitas Mathematica, 24(1):97–106, 1983.
- [Gol80] Martin Charles Golumbic. Algorithmic Graph Theory and Perfect Graphs. Academic Press, New York, 1980.
- [Gre00] Catherine Greenhill. The complexity of counting colourings and independent sets in sparse graphs and hypergraphs. Computational Complexity, 9(1):52–72, 2000.
- [GŠV16] Andreas Galanis, Daniel Štefankovič, and Eric Vigoda. Inapproximability of the partition function for the antiferromagnetic ising and hard-core models. Combinatorics, Probability and Computing, 25(4):500–559, 2016.
- [JVV86] Mark R Jerrum, Leslie G Valiant, and Vijay V Vazirani. Random generation of combinatorial structures from a uniform distribution. Theoretical Computer Science, 43:169–188, 1986.
- [Kas63] Pieter W. Kasteleyn. Dimer statistics and phase transitions. Journal of Mathematical Physics, 4(2):287–293, 1963.
- [LC09] Min-Sheng Lin and Yung-Jui Chen. Counting the number of vertex covers in a trapezoid graph. Information Processing Letters, 109(21-22):1187–1192, 2009.
- [LC17a] Min-Sheng Lin and Chien-Min Chen. Counting independent sets in tree convex bipartite graphs. Discrete Applied Mathematics, 218:113–122, 2017.
- [LC17b] Min-Sheng Lin and Chien-Min Chen. Linear-time algorithms for counting independent sets in bipartite permutation graphs. Information Processing Letters, 122:1–7, 2017.
- [Lin18] Min-Sheng Lin. Simple linear-time algorithms for counting independent sets in distance-hereditary graphs. Discrete Applied Mathematics, 239:144–153, 2018.
- [LS15] Min-Sheng Lin and Sheng-Huang Su. Counting independent sets in a tolerance graph. Discrete Applied Mathematics, 181:174–184, 2015.
- [MWW09] Elchanan Mossel, Dror Weitz, and Nicholas Wormald. On the hardness of sampling independent sets beyond the tree threshold. Probability Theory and Related Fields, 143(3-4):401–439, 2009.
- [OS06] Sang-il Oum and Paul Seymour. Approximating clique-width and branch-width. Journal of Combinatorial Theory, Series B, 96(4):514–528, 2006.
- [OUU08] Yoshio Okamoto, Takeaki Uno, and Ryuhei Uehara. Counting the number of independent sets in chordal graphs. Journal of Discrete Algorithms, 6(2):229–242, 2008.
- [OUU09] Yoshio Okamoto, Ryuhei Uehara, and Takeaki Uno. Counting the number of matchings in chordal and chordal bipartite graph classes. In International Workshop on Graph-Theoretic Concepts in Computer Science, pages 296–307. Springer, 2009.
- [PB83] J. Scott Provan and Michael O. Ball. The complexity of counting cuts and of computing the probability that a graph is connected. SIAM Journal on Computing, 12(4):777–788, 1983.
- [Sly10] Allan Sly. Computational transition at the uniqueness threshold. In 2010 IEEE 51st Annual Symposium on Foundations of Computer Science, pages 287–296. IEEE, 2010.
- [Vad01] Salil P. Vadhan. The complexity of counting in sparse, regular, and planar graphs. SIAM Journal on Computing, 31(2):398–427, 2001.
- [Val79a] Leslie G. Valiant. The complexity of computing the permanent. Theoretical Computer Science, 8(2):189–201, 1979.
- [Val79b] Leslie G. Valiant. The complexity of enumeration and reliability problems. SIAM Journal on Computing, 8(3):410–421, 1979.
- [VBW92] Dirk J. Verschuur, A. J. Berkhout, and C. P. A. Wapenaar. Adaptive surface-related multiple elimination. Geophysics, 57(9):1166–1177, 1992.
- [Wei06] Dror Weitz. Counting independent sets up to the tree threshold. In Proceedings of the thirty-eighth annual ACM Symposium on Theory of Computing, pages 140–149, 2006.
- [WTZL18] Pengfei Wan, Jianhua Tu, Shenggui Zhang, and Binlong Li. Computing the numbers of independent sets and matchings of all sizes for graphs with bounded treewidth. Applied Mathematics and Computation, 332:42–47, 2018.
- [Yan82] Mihalis Yannakakis. The complexity of the partial order dimension problem. SIAM Journal on Algebraic Discrete Methods, 3(3):351–358, 1982.