arXivDaily arXiv每日学术速递 周一至周五更新
稍安勿躁,官方尚未更新
arXiv 1005.0488math.COcs.DM
收藏

广义连通性的硬度结果

Hardness results on generalized connectivity

Shasha Li, Xueliang Li

摘要:

设$G$是一个非平凡的$n$阶连通图,$k$是一个具有$2\leq k\leq n$的整数.对于$G$的$k$顶点的集合$S$,令$κ(S)$表示$G$中的边不相交树$T_1,T_2,...,T_\ell$的最大数目$\ell$,使得对于具有$1\leq i,j\leq \ell$的每个不同整数对$i,j$,$V(T_i)\cap V(T_j)=S$。具有此属性的$G$中树的集合$\{T_1,T_2,...,T_\ell\}$称为连接$S$的树的内部不相交集。Chartrand等人将连通性的概念概括如下:$G$的$k$ - $connectivity$,用$κ_k(G)$表示,由$κ_k(G)=$ min $\{κ(S)\}$定义,其中最小值取在$V(G)$的所有$k$ -子集$S$上。因此,$κ_2(G)=κ(G)$,其中$κ(G)$是$G$的连通性,有多项式时间算法来解决它。首先,我们证明了对于两个固定的正整数$k_1$和$k_2$,给定一个图$G$和$V(G)$的一个$k_1$ -子集$S$,判定$G$是否包含连接$S$的$k_2$内部不交树的问题可以用一个多项式时间算法来解决.然后,我们表明,当$k_1$是一个固定的整数至少为4,但$k_2$是不是一个固定的整数,问题原来是NP-完全的。另一方面,当$k_2$是一个固定的整数至少为2,但$k_1$不是一个固定的整数,我们表明,该问题也成为NP完全的。最后,我们给出了一些开放的问题。

英文摘要:

Let $G$ be a nontrivial connected graph of order $n$ and let $k$ be an integer with $2\leq k\leq n$. For a set $S$ of $k$ vertices of $G$, let $κ(S)$ denote the maximum number $\ell$ of edge-disjoint trees $T_1,T_2,...,T_\ell$ in $G$ such that $V(T_i)\cap V(T_j)=S$ for every pair $i,j$ of distinct integers with $1\leq i,j\leq \ell$. A collection $\{T_1,T_2,...,T_\ell\}$ of trees in $G$ with this property is called an internally disjoint set of trees connecting $S$. Chartrand et al. generalized the concept of connectivity as follows: The $k$-$connectivity$, denoted by $κ_k(G)$, of $G$ is defined by $κ_k(G)=$min$\{κ(S)\}$, where the minimum is taken over all $k$-subsets $S$ of $V(G)$. Thus $κ_2(G)=κ(G)$, where $κ(G)$ is the connectivity of $G$, for which there are polynomial-time algorithms to solve it. This paper mainly focus on the complexity of the generalized connectivity. At first, we obtain that for two fixed positive integers $k_1$ and $k_2$, given a graph $G$ and a $k_1$-subset $S$ of $V(G)$, the problem of deciding whether $G$ contains $k_2$ internally disjoint trees connecting $S$ can be solved by a polynomial-time algorithm. Then, we show that when $k_1$ is a fixed integer of at least 4, but $k_2$ is not a fixed integer, the problem turns out to be NP-complete. On the other hand, when $k_2$ is a fixed integer of at least 2, but $k_1$ is not a fixed integer, we show that the problem also becomes NP-complete. Finally we give some open problems.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑