arXiv 1111.07062011-11-03cs.CC

最大有界有根树装箱问题

Maximum Bounded Rooted-Tree Packing Problem

Herve Kerivin, Jimmy Leblet, Gwendal Simon, Fen Zhou

摘要：

给定一个图和一个根，最大有界根树填充（MBRTP）问题的目标是找到K个根树，这些根树覆盖顶点的最大子集，当每个顶点具有有限的出度时。这个问题是由供应不足的系统中的对等流传输覆盖引起的。我们证明了MBRTP问题是NP-完全的。我们提出了两个多项式时间算法，分别计算完全图和树的最优解。

英文摘要：

Given a graph and a root, the Maximum Bounded Rooted-Tree Packing (MBRTP) problem aims at finding K rooted-trees that span the largest subset of vertices, when each vertex has a limited outdegree. This problem is motivated by peer-to-peer streaming overlays in under-provisioned systems. We prove that the MBRTP problem is NP-complete. We present two polynomial-time algorithms that computes an optimal solution on complete graphs and trees respectively.

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

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

继续探索

相关论文

条形包装的近似困难

Hardness of approximation for strip packing

条形包装是一个经典的包装问题，其目标是将一组矩形物体包装成给定宽度的条带，同时最小化包装的总高度。该问题有多种应用，例如在调度和库存切割，并已被广泛研究。当允许对象的维度在总输入大小中为指数时，已知问题不能在比$3/2$更好的因子内近似，除非$\mathrm{P}=\mathrm{NP}$。然而，对于多项式有界的输入数据没有相应的下限。事实上，Nadiradze和Wiese [SODA 2016]最近针对该变体提出了一种$(1.4 + ε)$近似算法，从而表明，与允许输入数据中的指数大值相比，可以更好地近似多项式有界数据的条带填充。他们的结果随后被两个独立的研究小组改进为$(4/3 + ε)$近似值[FSTTCS 2016，arXiv：1610.04430]。这就提出了一个问题是否带包装多项式有界的输入数据承认准多项式时间近似计划，是相关的二维包装问题，如最大独立集的矩形或二维背包的情况。在本文中，我们回答这个问题的否定证明，它是NP-困难的近似带包装内的一个因素优于$12/11$，即使只允许多项式有界的输入数据。特别地，这表明，带包装问题不允许准多项式时间近似方案，除非$\mathrm{NP} \subseteq \mathrm{DTIME}(2^{\mathrm{polylog}(n)})$。

2016-10-25cs.CCcs.DS

偏度有界边Packing问题

Partial Degree Bounded Edge Packing Problem

文献[1]研究了目标二元串s是否可以用布尔公式表示，其操作数是从二元串W中选取的。在本文中，我们首先研究从W中选择一个最大子集X，使得对于X中的任何字符串t，t都不能用X\{t}表示。我们将这个问题重新表述为图，并惊讶地发现它产生了一个广泛的边填充问题的模型，它本身属于禁止子图问题的模型。具体地说，给定一个图G（V;E）和一个常数c，问题要求选择尽可能多的边来形成一个子图G '。所以在G '中，对于每条边，至少有一个端点的度不超过c。我们称这样的G'部分c度有界。当c = 1时，它是支配集的补集。给出了一般图的硬度、逼近性和树的有效精确算法的几个结果。该边填充问题模型在资源分配中也有直接的解释。有n种类型的资源和m个工作。每项工作都需要两种资源。如果一个作业的任何一个必要资源被不超过c个的其他作业共享，则该作业可以被完成。这个问题要求尽可能多的就业机会。我们相信这个部分度有界图问题值得更多的关注。

2012-01-16cs.CCcs.DS

非线性规划的多项式核：覆盖、填充和可行性

On Polynomial Kernels for Integer Linear Programs: Covering, Packing and Feasibility

本文研究了整数线性规划的可行性判定问题，以及寻找覆盖和填充整数线性规划的好解问题的多项式核的存在性。我们的主要结果如下：首先，我们表明，ILP可行性问题承认没有多项式核化时，参数化的变量和约束的数量，除非NP \subseteq coNP/聚。这扩展到有限的情况下，有界变量的程度和有限数量的变量，每个约束，并覆盖和包装的ILP。其次，我们给出了覆盖ILP问题的多项式核化，当A是行稀疏的时，要求解Ax >= b，c^Tx <= k，由k参数化;这推广了具有0/1-变量和系数的特殊情况（d-命中集）的已知多项式核化。

2013-02-15cs.CCcs.DS

$P_2$ -填充的参数化透视

A Parameterized Perspective on $P_2$-Packings

我们从参数化的角度研究图中的（点不相交）$P_2$ -填充.从大小为$j$的最大$P_2$ -包装$\p$开始，我们使用极值参数来确定$\p$的多少个顶点出现在大小为$(j+1)$的一些$P_2$ -包装中。我们基本上可以“重用”$2.5j$顶点。我们还提出了一个核化算法，给出了由$7k$的大小有界的内核。利用这两个结果，我们建立了一个算法，它构造了一个$P_2$ -包装的大小$k$在时间$\Oh^*(2.482^{3k})$。

2008-04-03cs.CCcs.DMcs.DS

包装着色复杂性的注意事项

Notes on complexity of packing coloring

图$G=(V,E)$的某个整数$k$的填充$k$ -染色是一个映射$φ:V\to\{1,\ldots,k\}$，使得颜色为$φ(u)=φ(v)$的任何两个顶点$u, v$的距离至少为$φ(u)+1$。这个概念是由频率分配问题激发的。$G$的\emph{packing chromatic number}是最小的$k$，使得存在$G$的填充$k$ -着色. Fiala和Golovach表明，确定弦图的填充色数是\NP -完全的直径正好为5。虽然这个问题很容易解决直径2，我们显示\NP -完整的任何直径至少3。我们的约化还表明，对于任何$\varepsilon > 0$，填充色数都很难在$n^{{1/2}-\varepsilon}$内近似。此外，我们设计了一个有界直径区间图的\FPT算法。这导致我们探索的问题，找到一个部分着色，最大限度地增加着色顶点的数量。

2017-12-22cs.CCcs.DMmath.CO

二维装箱问题 $\exists \mathbb{R}$-完全性的框架

Framework for $\exists \mathbb{R}$-Completeness of Two-Dimensional Packing Problems

本文建立了一个证明二维装箱问题 $\exists \mathbb{R}$-完全性的通用框架，并证明允许旋转时最多7个角的凸多边形装入正方形、以及仅平移时由线段和双曲曲线围成的物体装入正方形等问题均为 $\exists \mathbb{R}$-完全。

2024-04-25cs.CCcs.CGcs.DM

更多相关论文收起更多论文

独立方形装箱

Packing squares independently

研究方形独立装箱问题 SIPP，提出将搜索空间由 Ω(n!) 压缩至 O(2^n) 的紧凑解表示，证明其 NP-hard，并给出 FPTAS、三种数学规划模型及实验验证。

2023-07-13cs.CCcs.DM

Nemhauser和Trotter局部最优化定理的推广

A Generalization of Nemhauser and Trotter's Local Optimization Theorem

Nemhauser-Trotter局部优化定理适用于NP-难顶点覆盖问题，并在近似和参数化算法中有应用。我们提出了一个框架，概括Nemhauser和Trotter的结果顶点删除和图包装问题，引入新的算法策略的基础上，纯粹的组合参数（不指线性规划的Nemhauser-Trotter结果原来没有）。我们展示了我们的框架使用的顶点覆盖的推广，称为有限度删除，已承诺成为一个重要的工具，在基因和其他生物网络的分析。对于某个固定的d \geq 0，有界度删除要求从图中删除尽可能少的顶点，以便将其转换为最大顶点度不超过d的图。顶点覆盖是d = 0的特殊情况。我们的Nemhauser-Trotter定理的推广意味着有界度删除有一个问题的核心，每个常数d的顶点的线性数量。我们还概述了我们的极值组合方法的应用程序的问题，包装明星有界数量的叶子。最后，绘制边界度删除的（参数化的）易处理性和难处理性之间的边界，我们提供了一个W[2]-硬度结果的情况下，无界d值的边界度删除。

2009-02-12cs.CCcs.DMcs.DS

$k$-Set Packing 与 $k$-Matroid Intersection 的渐近最优硬度

Asymptotically Optimal Hardness for $k$-Set Packing and $k$-Matroid Intersection

本文证明了 $k$-Dimensional Matching 及相关独立系统优化问题的近似硬度下界，将其从 $\Omega(k/\log k)$ 提升至常数级别，缩小了与 $O(k)$ 近似算法的差距，并基于新颖的保近似 gadget 归约提供了理论解释。

2024-09-26cs.CCcs.DSmath.CO