On the Complexity of Claw-Free Vertex Splitting
本文研究无爪互斥顶点分裂问题的复杂度,证明其一般为NP完全、最大度4时存在多项式时间算法,解决了已有开放问题,并将结果推广到所有c≥3的无K_{1,c}图顶点分裂问题。
2025-10-01 cs.CC
The Complexity of Approximating Vertex Expansion
我们研究的复杂性,近似图$G = (V,E)$的顶点扩展,定义为\[ Φ^V := \min_{S \subset V} n \cdot \frac{|N(S)|}{|S| |V \backslash S|}. \]我们给出了一个简单的多项式时间算法,找到一个子集的顶点扩展$O(\sqrt{OPT \log d})$其中$d$是最大程度的图。我们的主要结果是一个渐近匹配的下限:在小集扩展(SSE)的假设下,很难找到一个子集的扩展小于$C\sqrt{OPT \log d}$的一个绝对常数$C$。特别地,这意味着对于所有常数$ε> 0$,SSE难以区分顶点扩展$< ε$还是至少是绝对常数。边缘扩展的类似阈值是$\sqrt{OPT}$,与度无关;因此我们的结果表明,顶点扩展比边缘扩展更难近似。特别是,虽然Cheeger算法可以证明常数边扩展,但它是SSE-难以证明图中的常数顶点扩展。我们的证明是通过从\SSE假设得到的{ \it Unique Games}实例到顶点扩展问题的简化。它涉及到一个更平滑的中间问题的定义,我们称之为{ \sf解析顶点扩展},它代表了图的顶点扩展和电导。这两种简化(从UGC实例到这个问题,从这个问题到顶点扩展)都使用了新颖的证明思想。
2013-11-10 cs.CC
On the Complexity of Edge Packing and Vertex Packing
本文研究了边装箱问题和顶点装箱问题的计算复杂性。边填充问题(记为$\bar{EDS}$)和顶点填充问题(记为$\bar{DS} $)分别是边控制集问题和控制集问题的线性规划问题。证明了这两个问题在逼近困难和参数复杂性方面等价于集合装箱问题。因此,对于任何$ε>0$,$\bar{EDS}$和$\bar{DS}$都不能在$O(N^{1/2-ε})$的因子内渐近近似,除非是$NP=ZPP$,其中,$N$是给定图中的顶点数。这与边支配集问题是2-可近似的事实形成对比,其中已知支配集问题具有$O(\log$ $|V|)$近似算法。从我们的证明还可以得出$\bar{EDS}$和$\bar{DS}$是$W[1]$ -完备的。
2011-04-07 cs.CC
A Note on the Computational Complexity of Unsmoothened Vertex Attack Tolerance
我们之前已经介绍了顶点攻击容忍度(VAT)和非平滑VAT(UVAT),分别表示为$τ(G) = \min_{S \subset V} \frac{|S|}{|V-S-C_{max}(V-S)|+1}$和$\hatτ(G) = \min_{S \subset V} \frac{|S|}{|V-S-C_{max}(V-S)|}$,其中$C_{max}(V-S)$是$V-S$中最大的连通分量,作为任意度网络面对目标节点攻击时的弹性的适当数学度量。在这里,我们证明了各种似是而非的计算复杂性假设下的近似$\hatτ$的硬度。
2016-03-28 cs.CC cs.DM
On the Complexity of Vertex-Splitting Into an Interval Graph
Lebanese American University(黎巴嫩美国大学);Centrale Méditerranée, LIS, Aix-Marseille Université(地中海中央理工学院,信息系统实验室,艾克斯-马赛大学);Université de Strasbourg(斯特拉斯堡大学);Umeå University(于默奥大学)
研究了通过顶点分裂将图转换为区间图的复杂性,证明了该问题NP难,并给出了多项式时间算法解决特定类型图的转换。
2026-02-04 cs.CC
FPRAS via MCMC where it mixes torpidly (and very little effort)
当已知快速混合可证明失败时,通过MCMC算法解决问题的全多项式时间随机逼近方案(FPRAS)是否可能?我们分别在平面图和二部图上引入了八顶点模型的几种保权映射。有些是一对一的,而另一些则是全息的,它们以类似量子的多对多方式将指数级多个状态的叠加从一个设置映射到另一个设置。事实上,我们引入了一组这样的映射,在每种情况下形成一个组。使用一些全息地图和它们的组合物,我们获得FPRAS的八顶点模型在参数设置,它是已知的,快速混合证明失败,由于一个内在的障碍。该FPRAS实际上是相同的MCMC算法,除了其状态空间对应于给定状态的叠加,其中快速混合成立。FPRAS也给出了环面图的参数设置,自然马尔可夫链是已知的混合迟钝。我们的研究结果表明,八顶点模型是第一个问题的可证明的性质,而NP-困难的一般图(甚至#P-困难的平面图的精确复杂性),它具有FPRAS的二分图和平面图在其参数空间的实质性领域。
2020-10-12 cs.CC
Approximability of the Six-vertex Model
在本文中,我们采取的第一步对六顶点模型,在统计物理学中广泛研究的对象的近似复杂性的分类。我们的复杂性结果符合物理学中的相变现象。我们发现,六顶点模型的近似复杂性表现出显着不同的两侧分离的相变阈值。此外,我们提出的结构特性的六顶点模型的平面图的参数设置,有已知的关系的Tutte多项式$T(G, x, y)$。
2017-12-16 cs.CC cs.DM
New Planar P-time Computable Six-Vertex Models and a Complete Complexity Classification
我们发现新的P-时间可计算的六顶点模型平面图超越Kasteleyn的算法计算平面完美匹配。我们进一步证明没有更多的:它们一起耗尽了平面图上所有P时间可计算的六顶点模型,假设#P不是P。对于六顶点模型的${\mathbb C}$中的每个参数设置,分区函数是(1)对于每个图在P时间中可计算的,或(2)一般图是P-难的,但平面图是P-时间可计算的,或(3)平面图也是P-难的.分类有明确的标准。在(2)中的新的P-时间情形可证明不能被Kasteleyn算法所包含。它们是通过与#CSP的非局部连接获得的,#CSP是根据“循环空间”定义的。这是第一个实质性的进步,对平面Holant分类不一定对称的约束。我们介绍M${\mathbb C}$上的奥比乌斯变换是计数问题的硬度证明中一个强有力的新工具。
2021-04-12 cs.CC
On the Complexity of 2-club Cluster Editing with Vertex Splitting
本文研究带顶点分裂的s-club聚类编辑问题的计算复杂性,证明两个相关问题是NP-完全和APX-难的,同时给出固定参数可解算法及森林图上的多项式时间算法。
2025-06-05 cs.CC cs.DS
A note on the complexity of Feedback Vertex Set parameterized by mim-width
我们补充了最近的算法结果,即反馈顶点集是XP时间可解的参数化输入图的给定分支分解的最小宽度[3],通过证明该问题是W[1]-硬在这个参数化。硬度保持甚至线性最小宽度,以及H-图,其中参数是在H的边的数量。为了获得这个结果,我们采用了Fomin,Golovach和Raymond的简化方法[2],遵循相同的推理路线,但添加了一个新的小工具。
2017-11-14 cs.CC cs.DS
Parameterized complexity dichotomy for $(r,\ell)$-Vertex Deletion
对于两个整数$r, \ell \geq 0$,如果$V$可划分为$r$独立集和$\ell$团,则图$G = (V, E)$是$(r,\ell)$ -图.在参数化的$(r,\ell)$ -顶点删除问题中,给定图$G$和整数$k$,必须决定是否最多可以从$G$中删除$k$顶点以获得$(r,\ell)$ -图。如果是$r+\ell \geq 1$,则该问题是NP-难的,并且包含了几个相关的问题,如顶点覆盖和奇圈translation。对于除$(2,1)$、$(1,2)$和$(2,2)$以外的所有$(r,\ell)$值,$(r,\ell)$ -顶点删除的参数化复杂性均已知。我们证明了这三种情况下的FPT,而且,在单指数时间,这是渐近最优的$k$。我们认为,以及版本的$(r,\ell)$ -顶点删除的一组顶点被删除,以诱导一个独立的集,并提供了一个参数化的复杂性二分法这个问题。
2016-10-10 cs.CC cs.DS
On the parameterized complexity of 2-partitions
本文给出了一个FPT算法,用于判定有向图$D$的顶点集是否可以划分为两个不相交的集合$V_1,V_2$,使得由$V_1$导出的有向图$D[V_1]$有一个顶点可以通过有向路到达所有其他顶点,而有向图$D[V_2]$没有0度的顶点和$|V_i|\geq k_i$,其中$k_1,k_2$是输入的一部分.这解决了[1,4]中的一个开放问题。
2020-03-16 cs.CC
On the Complexity of the K-way Vertex Cut Problem
K-路顶点割问题在于,给定一个图G,找到一个给定大小的顶点子集,其去除将G划分为最大数量的连通分量。这个问题在几个领域有许多应用。它已被证明是NP-完全的一般图,以及分裂和平面图。本文用两个新的结果丰富了它的复杂性研究。首先,我们证明了它仍然是NP-完全的,即使限制在类的二部图。这与预期的不同,因为K路顶点切割问题是最大独立集问题的推广,该问题在二分图上是多项式可解的。我们还提供了它的等价性,著名的问题,即临界节点问题(CNP),分裂图。因此,分裂图上CNP的任何求解算法都是K路顶点切割问题的求解算法,反之亦然。
2021-12-03 cs.CC cs.DS
On the Complexity of Establishing Hereditary Graph Properties via Vertex Splitting
本研究聚焦遗传图性质下的Π顶点分裂(Π-VS)问题的计算复杂性,分类了小禁用子图情形的复杂度,提出NP完全性证明框架并证明多类情形的难解性,还给出了特定限制下的XP算法。
2024-01-29 cs.CC cs.DS
The Parameterized Complexity of Computing the Linear Vertex Arboricity
本文研究计算线性顶点树荫度的参数复杂性,证明关于最大度是para-NP难的,并给出紧结果,同时证明关于树宽是固定参数可处理的。
2025-05-24 cs.CC
On the Descriptive Complexity of Vertex Deletion Problems
本文基于一阶逻辑公式的单个量词模式将顶点删除问题的复杂性从二分法细化为三分法,揭示了新的可处理片段及不同图类型下的可处理边界差异。
2024-06-26 cs.CC cs.LO
Parameterized Complexity of Finding a Maximum Common Vertex Subgraph Without Isolated Vertices
Indian Institute of Technology Kharagpur(印度理工学院卡拉格普尔分校);Max Planck Institute for Informatics(马克斯·普朗克信息学研究所)
本文研究了寻找无孤立顶点的最大公共顶点子图问题,证明其NP难,并在参数h下提供FPT算法,分析了顶点覆盖数、最大度、树深度等结构参数下的参数化结果。
2026-04-28 cs.CC cs.DS
Constraint Minimum Vertex Cover in K Partite Graph, Approximation Algorithm and Complexity Analysis
一般来说,图G,一个独立集是G中顶点的子集S,使得S中没有两个顶点是相邻的(由边连接),并且顶点覆盖是顶点的子集S,使得G的每条边至少有一个端点在S中。同样,最小顶点覆盖问题是找到一个顶点数最少的顶点覆盖。本文证明了k部图的一个重要性质--约束最小顶点覆盖问题(MINCVCK)是NP-完全的。一般图上的许多组合问题都是NP-完全的,但当限制为至多k个顶点的k部图时,许多问题都可以在多项式时间内求解。文中还给出了一种最小CVCK的近似算法,并分析了其复杂度。在未来的工作部分,我们指定了一些维度,这可能是有趣的研究人员,如开发算法的最大匹配和多项式算法构造k-部图从一般图。
2009-09-01 cs.CC cs.DS
On the complexity of finding internally vertex-disjoint long directed paths
对于两个正整数$k$和$\ell$,$(k \times \ell)$ -主轴是$k$两两内部顶点不相交的有向路径与两个顶点$u$和$v$之间的$\ell$弧的并集。我们感兴趣的(参数化)的复杂性的几个问题,包括在决定是否一个给定的有向图包含一个细分的主轴,推广最大流和最长路径问题。我们得到了以下复杂性二分法:对于一个固定的$\ell \geq 1$,找到最大的$k$,使输入有向图$G$包含一个细分的$(k \times \ell)$ -主轴是多项式时间可解的,如果$\ell \leq 3$,和NP-困难,否则。我们特别强调找到具有两条路径的纺锤体,并提出了在ETH下渐近最优的FPT算法。这些算法基于拟阵中的代表族技术,并使用颜色编码作为子程序。最后,我们研究了输入图是非循环图的情况,并给出了几个算法和硬度结果。
2017-06-27 cs.CC cs.DS
The Parameterized Complexity of Centrality Improvement in Networks
网络中顶点v的中心性直观地反映了v对于网络中的通信有多重要。提高顶点中心性的任务有很多应用,因为更高的中心性通常意味着对网络的更大影响或更少的运输或管理成本。在这项工作中,我们研究的NP完全问题的参数化复杂性的接近度的改善和介数的改善,我们要求提高一个给定的顶点的接近度或介数的中心通过增加一个给定的数量的边缘的网络。在这里,一个顶点v的接近度和其他顶点到v的距离的乘法逆,以及每对顶点的介数和通过v的最短路径的分数。不幸的是,对于自然参数“要添加的边数”,即使在相当有限的情况下,我们也会得到困难的结果。在积极的一面,我们也给出了一个岛的温顺的参数测量的顶点删除距离聚类图。
2017-10-04 cs.CC cs.DM
A Complexity Analysis of the c-Closed Vertex Deletion Problem
Friedrich Schiller University Jena(耶拿弗里德里希·席勒大学)
本文分析c-闭顶点删除问题的复杂性,证明其在最大度有界二分图上NP-难,给出参数k的核大小界,引入新参数x并得到对应核,还证明其在特定图类上可多项式时间求解且对邻域多样性是固定参数可处理的。
2026-08-25 cs.CC cs.DS
The parameterized complexity of Strong Conflict-Free Vertex-Connection Colorability
Univ Lyon, EnsL, CNRS, LIP(里昂大学,巴黎高等师范学院,法国国家科学研究中心,信息与计算机实验室)
本文研究了强冲突自由顶点连接色数的参数复杂性,证明了其在顶点覆盖数参数下的固定参数可 tractable 性,但3-着色问题在二分图上不具有多项式核。
2025-12-12 cs.CC cs.DM cs.DS
The Parameterized Complexity of Vertex-Coloring Edge-Weighting
Department of Computer Science and Engineering, IIT Hyderabad(印度理工学院海德拉巴分校计算机科学与工程系);School of Computer Science, University of Leads(利兹大学计算机学院);Chennai Mathematical Institute(金奈数学研究所)
研究了顶点着色{0,1}边加权问题及其推广问题的参数复杂性,证明了在不同结构参数下该问题的难解性和可解性,发现反馈顶点集参数下问题W[1]-难,而顶点覆盖集参数下问题可解,树宽参数下问题有XP算法。
2026-04-14 cs.CC cs.DM cs.DS
One-way Communication Complexity of Minimum Vertex Cover in General Graphs
本文研究一般图上最小顶点覆盖在多方单向通信模型中的通信复杂度,提出通信量为O(n)、近似比严格优于2的协议,并证明两方情形下近似比小于3/2需要超线性通信,从而确立协议的紧致性。
2025-05-11 cs.CC
Parameterized complexity of fair deletion problems
删除问题是指给定一个图$G$和一个图属性$π$,目标是找到一个边的子集,使得在删除它之后,图$G$将满足属性$π$。通常,我们希望最小化删除的元素数量。在公平删除问题中,我们改变目标:我们最小化单个顶点邻域中的最大删除数。研究了图$G$的树宽、路宽、最小反馈点集大小、邻域多样性和最小点覆盖大小等结构参数对公平删除问题参数化复杂性的影响.我们证明了关于前三个参数组合的公平FO顶点删除问题的W[1]-硬度。此外,我们表明,有没有公平的FO顶点删除问题的算法运行在时间$n^{o(k^{1/3})}$,其中$n$是图的大小和$k$是前三个提到的参数的总和,假设指数时间假设成立。另一方面,我们给出了以最小顶点覆盖大小为参数的公平MSO边删除问题的FPT算法和以邻域多样性为参数的公平MSO顶点删除问题的FPT算法
2017-01-04 cs.CC cs.DS
Parameterized Complexity of Binary CSP: Vertex Cover, Treedepth, and Related Parameters
本文研究二元约束满足问题在顶点覆盖数和树深等结构参数下的参数化复杂度,证明了其在奇数层 W 层级上的完全性,并引入新复杂度类 XSLP 及介于 W 层级与 A 层级之间的新层级 S[t]。
2023-09-21 cs.CC cs.DM
On the Parallel Parameterized Complexity of the Graph Isomorphism Problem
本文研究了图同构问题(\GI{})在几种参数化下的并行性和空间复杂性。设$\mathcal{H}=\{H_1,H_2,\cdots,H_l\}$是有限图集,其中对所有$i$和某个常数$d$,有$|V(H_i)|\leq d$.假设$\mathcal{G}$是无$\mathcal{H}$的图类,即,没有一个图$G\in \mathcal{G}$包含任何$H \in \mathcal{H}$作为导出子图。我们表明,\GI{}参数化的顶点删除距离$\mathcal{G}$是在一个参数化版本的$\AC^1$,表示$\PL$-$\AC^1$,提供的着色图同构问题,图在$\mathcal{G}$是在$\AC^1$。由此,我们推出由顶点删除距离到余图的参数化的\GI{}是在$\PL$ - $\AC^1$中。由反馈顶点集的大小参数化的并行参数化复杂度\GI{}仍然是一个开放的问题。朝着这个方向,我们表明,图同构问题是在$\PL$ - $\TC^0$时,由顶点覆盖或双覆盖参数化。设$\mathcal{G}'$是一个图类,使得从$\mathcal{G}'$和用于$\mathcal{G}'$的\GI{}的着色版本识别图是在对数空间($Ł$)中。我们表明,\GI{}有界顶点删除距离$\mathcal{G}'$是在$Ł$。由此,我们得到了图的有界点删除距离的区间图和图的有界点删除距离的上图的\GI{}的对数…
2017-12-01 cs.CC cs.DS math.CO
Parameterized Complexity of Conflict-free Graph Coloring
给定一个图G,q-开邻域无冲突染色或q-ONCF-染色是顶点染色$c:V(G) \rightarrow \{1,2,\ldots,q\}$,使得对于每个顶点$v \in V(G)$,$N(v)$中有一个顶点与$N(v)$中的其余顶点唯一着色。当我们用闭邻域$N[v]$代替$N(v)$时,我们称这样的染色为q-闭邻域无冲突染色或简称为q-CNCF-染色。本文研究了当q为常数时输入图是q-ONCF-染色还是q-CNCF-染色的NP-难判定问题。我们将在参数化设置下研究这两个问题。首先,我们研究了这些问题的FPT算法的运行时间界限,当参数树宽。我们改进了现有的上界,并提供了ETH和SETH下运行时间的下界。其次,我们研究了这两个问题的核化复杂性,使用顶点覆盖作为参数。我们证明了$(q \geq 2)$ -着色和$(q \geq 3)$ -着色都不能有多项式核,除非$NP \in coNP/poly$。然而,我们得到了一个多项式核的2-CNCF-染色的顶点覆盖参数化。我们得出一些组合的结果。将$χ_{ON}(G)$和$χ_{CN}(G)$分别表示为ONCF-颜色和CNCF-颜色G所需的最小颜色数。关于$χ_{CN}(G)$的结构参数,如最小顶点覆盖大小,最小反馈顶点集大小和树宽的上界是已知的。据我们所知,只有一个上限$χ_{ON}(G)$的最小顶点覆盖大小是已知的。我们提供了紧界$χ_{O…
2019-05-01 cs.CC cs.DS
Complexity of Bondage and Reinforcement
设$G=(V,E)$是一个图。一个子集$D\subseteq V$是一个控制集,如果每个不在$D$中的顶点都与$D$中的顶点相邻。一个控制集$D$称为全控制集,如果$D$中的每个顶点都与$D$中的一个顶点相邻。统治(Resp.)$G$的全支配数是支配数的最小基数。$G$的全支配集。Bondage(捆绑)一个非空图$G$的最小边数是指从图$G$中移除的边的最小数目,这些边的移除将导致图具有更大的控制(或支配)。$G$的总支配数。$G$的加强数是指在图的控制数小于$G$的情况下,图的边数最少的边数.本文证明了约束、完全约束和强化的判定问题都是NP难的。
2011-09-08 cs.CC math.CO
On the Obfuscation Complexity of Planar Graphs
受John Tantalo的平面性博弈的启发,我们考虑了具有边交叉的平面图$G$的直线平面图,并想知道如何混淆这样的图纸可以。我们将$obf(G)$($G$的混淆复杂度)定义为$G$图形中的最大边交叉数。有关$obf(G)$的$G$中的顶点度的分布,我们显示了一个有效的方法来构建一个至少有$obf(G)/3$边缘交叉点的$G$绘图。证明了具有最小顶点度$δ(G)\ge 2$的$n$ -顶点平面图$G$的界$(δ(G)^2/24-o(1))n^2 < \obf G <3 n^2$. $G$的移位复杂度,用$shift(G)$表示,是足以消除$G$的任意模糊绘图中的所有边交叉的顶点移位的最小数目(在移位顶点之后,所有入射边被认为相应地重绘)。如果$δ(G)\ge 3$,则由于$G$的匹配数是线性的这一已知事实,所以$shift(G)$在顶点数方面是线性的。然而,在$δ(G)\ge2$的情况下,我们注意到,即使匹配数有界,$shift(G)$也可以是线性的。至于计算复杂性,我们表明,给定一个平面图的图纸$D$,这是NP-难找到一个最佳的序列的移位,使$D$交叉自由。
2007-12-14 cs.CC cs.DM
The parameterised complexity of counting even and odd induced subgraphs
本文研究了给定图中边数为偶数的k-顶点诱导子图的计数问题,以及边数为奇数的k-顶点诱导子图的计数问题.我们证明了这两个问题是#W[1]-硬的参数时,k,事实上证明了一个更强的结果计数子图的属性,仅适用于一些子集的k-顶点子图,其中有一个偶数(分别为奇数)的边缘。另一方面,我们证明了偶数和奇数k-顶点诱导子图的计数问题都是一个FPTRAS问题。这些近似方案是基于一个令人惊讶的结构的结果,利用思想从拉姆齐理论。
2015-10-06 cs.CC cs.DM math.CO
The Complexity of the Partition Coloring Problem
给定一个简单无向图$G=(V,E)$和一个将顶点集$V$划分为$p$部分的划分,\textsc{Partition Coloring Problem}询问我们是否可以从划分的每个部分中选择一个顶点,使得在$p$所选顶点上诱导的子图的色数由$k$限定。PCP是经典\textsc{Vertex Coloring Problem}的一个推广问题,在调度和编码等许多领域有着广泛的应用。在本文中,我们用三个参数:颜色数,分区的部分数和分区的每个部分的最大大小来描述\textsc{Partition Coloring Problem}的复杂性。此外,我们给出了一个新的精确算法。
2020-07-28 cs.CC cs.DS
Complexity of the (Connected) Cluster Vertex Deletion problem on $H$-free graphs
本文完整刻画了簇顶点删除问题及其连通变体在$H$-自由图上的复杂性二分性:多项式可解或NP完全,且NP完全情形在指数时间假说下无次指数算法。
2024-02-07 cs.CC cs.DM cs.DS
The complexity of strong conflict-free vertex-connection $k$-colorability
该研究分析强无冲突顶点连通k-着色问题的计算复杂度,证明受限图下3着色判定为NP完全且具ETH下的下界,同时给出分裂图等两类图的多项式时间求解算法。
2024-08-14 cs.CC cs.DM cs.DS
On the Parameterized Complexity of Coloring Discovery
University of Bremen(不来梅大学)
研究着色发现问题的参数化复杂性,针对三种修改模型给出固定参数算法与W[1]难下界,并证明四色情形在直径二图上仍NP完全。
2026-09-10 cs.CC cs.DM cs.DS
Parameterized Complexity of Fair Vertex Evaluation Problems
Czech Technical University in Prague(布拉格捷克理工大学);University of Warsaw(华沙大学);Charles University(查理大学)
该研究探讨公平顶点评估问题的参数化复杂性,针对含一个自由变量的公平MSO₁顶点评估问题提出FPT算法,同时证明多自由变量版本的W[1]-难性,并以公平顶点覆盖问题为例验证相关结论。
2026-11-06 cs.CC cs.DS cs.LO
On the parameterized complexity of Broadcast Independence and Broadcast Packing
Univ. Orléans, INSA Centre Val de Loire(奥尔良大学,中央卢瓦尔河谷国立应用科学学院);Université Paris-Dauphine, PSL University(巴黎第九大学,巴黎文理研究大学)
研究广播独立性和广播打包问题的参数化复杂性,证明其在树宽和直径参数下的FPT算法,并展示其在树宽下的XP复杂性,同时指出广播独立性在路径宽参数下的W[1]-难性。
2026-05-15 cs.CC cs.DM cs.DS