Improved distance queries in planar graphs
存在若干已知的数据结构,其回答平面图中的两个任意顶点之间的距离查询。在预处理时间、存储空间和查询时间之间进行权衡。在本文中,我们提出了三个数据结构,回答这样的查询,每一个都有自己的优势,比以前的数据结构。第一种改进了线性空间数据结构的查询时间。第二个改进的预处理时间的数据结构的空间界限为O(n^(4/3))或更高,同时匹配的最佳已知的查询时间。第三种数据结构以较长的预处理时间为代价,改善了对于类似范围的空间边界的查询时间。我们使用的技术包括修改平面图分解的参数,结合现有的数据结构的不同优点,并使用Monge属性寻找矩阵的最小元素。
2011-02-22 cs.DM cs.DS
Succinct Planar Encoding with Minor Operations
本文提出一种仅用 $\mathcal{H}(n)+o(n)$ 比特空间的平面图精简编码,支持边收缩、顶点删除等次图操作及常数时间邻域查询,并基于此给出线性时间外平面性测试算法。
2024-01-17 cs.DS
Approximate Distance Oracles for Planar Graphs with Improved Query Time-Space Tradeoff
我们考虑边权n-顶点无向平面图的近似距离预言。给定固定的n> 0,我们提出了一个(1+ n)-近似距离预言机,其空间复杂度为O(n(loglog n)^2),查询时间复杂度为O((loglog n)^3).这将Thorup(FOCS 2001,J. ACM 2004)和Klein(SODA 2002)的预言机的查询时间和空间的最佳乘积从O(n log n)提高到O(n(loglog n)^5)。
2016-01-05 cs.DS
Towards optimal kernel for connected vertex cover in planar graphs
我们研究了顶点覆盖问题的连通版本的参数化复杂性,其中解集必须诱导一个连通子图。虽然这个问题不承认一般图的多项式核(除非NP是coNP/poly的子集),但对于平面图,Guo和Niedermeier [ICALP'08]显示了至多14 k个顶点的核,随后由Wang等人[MFCS'11]改进为4k。这里的常数4是如此之小,以至于一个自然的问题出现了:它可能已经是这个问题的最优值了吗?本文给出了一个否定的答案:给出了平面图的连通点覆盖的一个(11/3)k-点核。我们相信,这一结果将激发进一步的研究,寻找一个最佳的内核。
2011-10-10 cs.DM cs.DS
Improved Minimum Cuts and Maximum Flows in Undirected Planar Graphs
本文研究平面图的最小割和最大流问题,包括静态和动态两种情况。首先,我们提出了一个算法,给定一个无向平面图计算任何两个给定的顶点之间的最小割在O(n log log n)的时间。其次,我们展示了如何实现相同的O(n log log n)界的问题,计算最大流在无向平面图。据我们所知,这是这两个问题的第一个算法,它打破了O(n log n)的障碍,这个障碍已经存在了超过25年。第三,我们提出了一个完全动态的算法,它能够维护平面图中最小割和最大流的信息(即,我们的算法能够在O(n^(2/3)log^3 n)时间内插入边,删除边,并回答任何一对顶点之间的最小割和最大流查询。这个结果是基于一个新的动态最短路径算法的平面图,这可能是独立的利益。我们注意到,这是第一个已知的非平凡算法的最小切割和最大流问题的动态设置。
2010-11-22 cs.DS
Optimal stochastic planarization
Indyk和Sidiropoulos [IS 07]证明了亏格g>0的任何图都可以随机嵌入到畸变为2^O(g)的平面图上的分布中。这个界限后来被Borradaile、Lee和Sidiropoulos改进为O(g^2)[BLS 09]。我们给出了一个嵌入失真O(log g),这是渐近最优的。除了改进的失真,我们的嵌入的另一个优点是,它可以在多项式时间计算。相比之下,[BLS 09]的算法需要解决NP难问题。我们的研究结果意味着,特别是减少了一个大类的几何优化问题的实例genus-g图,相应的平面图,与O(log g)的损失因子的近似保证。
2010-05-20 cs.CG cs.DM cs.DS
Improved Approximation for Node-Disjoint Paths in Planar Graphs
我们研究了经典的节点不相交路径(NDP)问题:给定一个$n$ -顶点图$G$和一个由称为需求对的$G$的顶点对组成的集合$M=\{(s_1,t_1),\ldots,(s_k,t_k)\}$,找到连接需求对的节点不相交路径的最大基数集. NDP是最基本的路由问题之一,已经得到了广泛的研究。尽管如此,在我们对它的近似性的理解上仍然存在很大的差距:$O(\sqrt n)$的近似比的最佳上限是通过一个简单的贪心算法实现的,而目前最好的否定结果表明,在标准复杂性假设下,对于任何常数$δ$,该问题都没有比$Ω(\log^{1/2-δ}n)$更好的近似。即使对于平面图,也没有更好的近似算法,据我们所知,最好的负界是APX-硬度。也许最大的障碍,以获得更好的近似算法的NDP是,目前已知的近似算法,这类问题依赖于标准的多商品流松弛,其完整性差距是$Ω(\sqrt n)$的NDP,即使在平面图。本文突破了$O(\sqrt n)$对平面图中NDP问题的可逼近性的限制,得到了一个$\tilde O(n^{9/19})$ -逼近。我们引入了一个新的线性规划松弛的问题,和一些新的技术,我们希望这将有助于设计更强大的算法和相关问题。
2016-03-17 cs.DS
Improved Guarantees for Vertex Sparsification in Planar Graphs
图稀疏化的目的是将大型图压缩成较小的图,同时保留输入图的重要特征。在这项工作中,我们研究顶点稀疏,即,稀疏器,其目标是减少顶点的数量。(1)给定有向图$G=(V,E)$和具有$|K| = k$的终端顶点$K \subset V$,$G$的(顶点)可达性稀疏因子是有向图$H=(V_H,E_H)$,$K \subset V_H$,它保持终端对之间的所有可达性信息。在这项工作中,我们介绍了可达性保留未成年人(RPM)的概念,即,我们要求$H$是$G$的副修课程。我们证明了任何有向图$G$都允许一个大小为$O(k^3)$的RPM $H$,并且如果$G$是平面的,则$H$的大小提高到$O(k^{2} \log k)$。我们补充我们的上限显示,存在一个无限的家庭的网格,使任何RPM必须有$Ω(k^{2})$顶点。(2)给定一个带权无向图$G=(V,E)$和一个带$|K|=k$的端点$K$,$G$的一个精确(点)割稀疏子是一个带$K \subset V_H$的图$H$,它保持了分离$K$的任何二分划的最小割的值.我们表明,平面图与所有的$k$终端躺在同一个脸上承认确切削减稀疏的大小$O(k^{2})$,也是平面的。我们的结果扩展到流和距离稀疏。它提高了以前最著名的界的$O(k^22^{2k})$切割和流稀疏的指数因子,并匹配这一类图的$Ω(k^2)$下界。
2017-12-27 cs.DS
Nonblocker in H-minor free graphs: kernelization meets discharging
也许最著名的核化结果是Alber等人[JACM 2004]针对平面支配集问题的大小为335 k的核,后来Chen等人[SICOMP 2007]将其改进为67 k。这个结果大致上意味着,当最优解很小时,在平面图中寻找最小支配集的问题是容易的。另一方面,已知由k '= |V| -k参数化的平面支配集(也称为平面非阻塞集)具有大小为2k'的核。这意味着当最优解很大时,平面支配集是容易的。我们改进了Planar Nonblocker的核函数为7/4k '。这也意味着,平面支配集没有大小至多为(7/3-k)k的核,对于任何k>0,除非P=NP。这改进了Chen等人以前的(2-k)k的下界。这两个结果立即推广到H-子自由图(不改变常数)。在我们的核大小上的界的证明中,我们使用放电方法的变体(例如在四色定理的证明中使用)。我们给出了一些参数,这种方法是自然的核化的上下文中,我们希望它将被应用到得到改进的内核大小的界限,以及其他问题。作为一个副产品,我们显示了一个结果,这可能是独立的兴趣:每个n-顶点图,没有孤立的顶点,使每对1度顶点的距离至少为5,每对2度顶点的距离至少为2有一个支配集的大小最多为3/7 n。
2012-07-19 cs.DM cs.DS math.CO
Coloring outerplanar graphs and planar 3-trees with small monochromatic components
本文继续研究了图的顶点着色问题,只要每个单色连通分支的基数相对较小,就允许相邻的顶点具有相同的颜色。我们专注于着色与两个和三个可用的颜色,并提出了改进的边界上的单色连通组件的大小为两个有意义的子类的平面图,即最大outerplanar图和完整的平面3-树。
2019-11-25 cs.DS math.CO
A Tight Extremal Bound on the Lovász Cactus Number in Planar Graphs
仙人掌图是一个图,其中任何两个圈是边不相交的。我们提出了一个建设性的证明的事实,任何平面图$G$包含一个仙人掌子图$C$,$C$包含至少一个$\frac{1}{6}$分数的三角形面的$G$。我们还表明,这一比例不能通过显示一个严格的下限得到改善。与线性拟阵奇偶性的算法一起,我们的界包含了计算任意图内部的“稠密平面结构”的两个近似算法:(i)对于任意图$G$,寻找具有最大三角面数的平面子图的$\frac{1}{6}$近似算法,它改进了以前的$\frac{1}{11}$ -近似算法;(ii)另一种(可以说是更有说明性的)证明$\frac{4}{9}$近似算法,用于找到具有最大边数的平面子图。我们的界限是通过分析一个自然的本地搜索策略和大量利用交换参数。因此,这表明了本地搜索在处理这类问题时的力量。
2019-03-15 cs.DM cs.DS math.CO
Improved Approximation Algorithms for Box Contact Representations
我们研究了以下几何表示问题:给定一个图,其顶点对应于具有固定尺寸的轴对齐的矩形,在平面上没有重叠的矩形,使得两个矩形接触,如果图包含它们之间的边缘。这个问题被称为\textsc{Contact Representation of Word Networks}(\textsc{Crown}),因为它形式化了绘制单词云背后的几何问题,其中语义相关的单词彼此接近。已知\textsc{Crown}是NP难的,并且存在用于优化版本\textsc{Max-Crown}的某些图类的近似算法,其中实现每个期望的邻接产生一定的收益。我们提出了第一个$O(1)$-近似算法的一般情况下,当输入是一个完整的加权图,并为二分的情况下。由于子图的实现邻接必然是平面的,我们还考虑了几个平面图类(即明星,树,outerplanar,平面图),改进的已知结果。对于某些图形类,我们还描述了改进的未加权的情况下,每个邻接产生相同的利润。最后,我们证明了这个问题是APX-困难的有界最大度的二部图。
2014-11-19 cs.DS
Improved Bounds for Shortest Paths in Dense Distance Graphs
我们研究了在所谓的密集距离图中计算最短路径的问题。$n$顶点上的每个平面图$G$可以被划分成一组$O(n/r)$边不相交区域(称为$r$ -划分),每个区域具有$O(r)$顶点,使得每个区域具有与其他区域共同的$O(\sqrt{r})$顶点(称为边界顶点)。一个区域的稠密距离图是一个包含其边界节点间所有对距离的完全图。$r$ -划分的稠密距离图是各个块的$O(n/r)$稠密距离图的并集。自从Fakcharoenphol和Rao引入密集距离图以来,在密集距离图中计算单源最短路径已经在基本平面图算法中找到了许多应用。Fakcharoenphol和Rao提出了一种算法(后来称为FR-Dijkstra),用于在$O\left(\frac{n}{\sqrt{r}}\log{n}\log{r}\right)$时间内计算密集距离图中的单源最短路径。我们展示了这个问题的$O\left(\frac{n}{\sqrt{r}}\left(\frac{\log^2{r}}{\log^2\log{r}}+\log{n}\log^ε{r}\right)\right)$时间算法,这是第一次改进到目前为止,FR-Dijkstra的重要情况下,$r$是多项式在$n$。在这种情况下,我们的算法是更快的一个因素的$O(\log^2{\log{n}})$,并意味着改进的上限,如多源多汇最大流,单源所有汇最大流,和(动态)…
2016-07-15 cs.DS
Improved Compact Visibility Representation of Planar Graph via Schnyder's Realizer
设$G$是一个$n$ -结点平面图.在$G$的可见性表示中,$G$的每个节点由水平线段表示,使得表示$G$的任何两个相邻节点的线段彼此垂直可见。本文给出了$G$的最佳可见性表示.给定三角化$G$的规范排序,我们的算法以贪婪的方式递增地绘制图形。我们表明,从施奈德的实现三角$G$得到的三个规范的顺序之一产生的$G$的可见性表示不宽于$\frac{22n-40}{15}$。我们易于实现的O(n)时间算法绕过了复杂的子程序的四个连接组件和四块树所需的最好的以前已知的算法康德。我们的结果提供了一个否定的答案,康德的开放性问题,$\frac{3n-6}{2}$是否是一个最坏情况下的下限所需的宽度。此外,如果$G$没有度为3(分别为度为5)的内部节点,则我们对$G$的可见性表示不会宽于$\frac{4n-9}{3}$(分别为$\frac{4n-7}{3}$)。此外,如果$G$是四连通的,那么我们对$G$的可见性表示并不比$n-1$宽,这与康德和He的最著名的结果相匹配。作为一个副产品,我们得到了一个更简单的证明瓦格纳定理的推论实现者,由于Bonichon,Saëc和Mosbah。
2002-12-29 cs.CG cs.DS
Planar Hypohamiltonian Graphs on 40 Vertices
一个图是次哈密尔顿的,如果它不是哈密尔顿的,但删除任何一个顶点得到一个哈密顿图。到目前为止,已知最小的平面亚哈密顿图有42个顶点,这是Araya和Wiener的结果。这个结果在这里被25个40阶的平面亚哈密尔顿图改进,这些图是通过计算机辅助生成某些围长为4和固定数量的4-面的可平面图族而得到的。它进一步表明,平面亚哈密顿图存在的所有阶数大于或等于42。如果在整个亚哈密尔顿图的定义中用哈密尔顿路代替哈密顿圈,我们就得到了亚可迹图的定义。它表明,有一个平面hypotractile图的阶数为154和所有的阶数大于或等于156。我们还证明了围长为5的最小亚哈密尔顿可平面图有45个顶点。
2015-12-06 cs.DS math.CO
Improved Approximation Schemes for the Restricted Shortest Path Problem
限制最短路径(RSP)问题,也称为延迟约束最小代价(DCLC)问题,是一个在具有$n$顶点和$m$边的图上的NP难双准则优化问题。在一个图中,每条边都被分配了一个成本和一个延迟,目标是找到一条不超过延迟界限的最小成本路径。在本文中,我们提出了改进的近似计划的RSP几个图类。对于平面图、具有正整数资源(=延迟)值的无向图和具有$m \in Ω(n \log n)$的图,我们得到了$(1 + \varepsilon)$ -时间近似$O(mn/\varepsilon)$ .对于一般图和有向无环图,我们分别匹配了Xue et al.(2008,[10])和Ergun et al.(2002,[1])的结果,但可以说算法更简单。
2019-11-02 cs.CC cs.DM cs.DS
Improved Compression of the Okamura-Seymour Metric
设$G=(V,E)$是一个无向无权平面图.考虑一个向量,该向量存储了从任意顶点$v$到单个面的所有顶点$S = \{ s_1 , s_2 , \ldots , s_k \}$的距离,这些顶点按循环顺序排列。$v$的模式是通过取该向量的每对连续值之间的差来获得的。在STOC'19中,Li和Parter使用VC维参数来表明,在平面图中,不同模式的数量(表示为$x$)仅为$O(k^3)$。这导致了一个简单的压缩方案,需要$\tilde O(\min \{ k^4+|T|, k\cdot |T|\})$空间来编码$S$和终端顶点的子集$T \subseteq V$之间的距离。这被称为Okamura-Seymour度量压缩问题。我们给出了另一种证明的$x=O(k^3)$界,利用平面超越VC维参数。也就是说,我们的证明依赖于割圈对偶,以及$S$的顶点之间的距离是由$k$有界的事实。(1)Okamura-Seymour度量的$\tilde{O}(x+k+|T|)$空间压缩,从而改进了Li和Parter的压缩为$\tilde O(\min \{k^3+|T|,k \cdot |T| \})$ . (2)在$T$的顶点诱导$G$的连通分支的情况下,Okamura-Seymour度量的最优$\tilde{O}(k+|T|)$空间压缩。(3)证明了Halin图族的$x = Θ(k^2)$的紧界,而VC维…
2022-02-10 cs.DS
Max $s,t$-Flow Oracles and Negative Cycle Detection in Planar Digraphs
本文针对平面有向图提出最大 s,t-流预言机,实现亚二次预处理与亚线性查询,并利用稠密距离图负环检测算法改进负权SSSP和二分平面图完美匹配的时间界。
2023-11-02 cs.DS
On the Density of non-Simple 3-Planar Graphs
\emph{$k$-planar graph}是可以在平面中绘制的图形,使得每条边最多交叉$k$次。对于$k \leq 4$,Pach和Tóth证明了$(k+3)(n-2)$关于$k$ -平面图的边总数的一个界,该界对于$k=1,2$是紧的.对于$k=3$,$6n-12$的界已被改进为$\frac{11}{2}n-11$,并已被证明是最佳的简单图的添加剂常数。在本文中,我们证明了$\frac{11}{2}n-11$边的界也适用于非简单的$3$ -平面图,其中允许非同伦平行边和自环。基于这个结果,\emph{optimal $3$-planar graphs}(即,具有$n$顶点和恰好$\frac{11}{2}n-11$边的$3$ -平面图)的特征可能是可能的,因为据我们所知,已知的简单$3$ -平面图不是最优的。
2016-08-30 cs.CG cs.DS
How Vulnerable is an Undirected Planar Graph with respect to Max Flow
该研究针对无向平面图中边和顶点的st-最大流重要度计算问题,提出了高效的加性近似算法,一般情形下高重要度值近似时间接近现有st-最大流计算时间,整数容量下结果更优,且算法空间复杂度为O(n)。
2022-12-06 cs.DS
Improved Approximation Algorithms for Projection Games
投影对策(Label-Cover)问题在近似算法中具有重要意义,因为目前已知的NP-困难的近似结果大多是Label-Cover的约简。在本文中,我们设计了几个投影游戏的近似算法:1。一个多项式时间近似算法,改进了以前的最佳近似Charikar,Hajiaghayi和Karloff。2.光滑投影对策的一个次指数时间算法。3.平面图上投影对策的一个多项式时间近似方案(PTAS)和这种近似方案的一个紧运行时间下界。
2015-11-15 cs.DS
Faster Planar Graph Algorithms for Connectivity Problems via Meanders
Roma Tre University(罗马第三大学);University of Latvia(拉脱维亚大学)
该研究改进了基于球割分解的动态规划框架,结合曲折系统分析与快速矩阵乘法,得到了平面图连通性问题的更快亚指数算法,优化了曲折线数量上界及多个平面图问题的确定性时间复杂度,包括平面图哈密顿环问题。
2026-10-09 cs.DS
Exact Distance Oracles for Planar Graphs with Failing Vertices
我们考虑了有向加权平面图在失效顶点存在下的精确距离预言。给定源顶点$u$、目标顶点$v$和$k$失败顶点的集合$X$,这样的oracle返回避免$X$中的所有顶点的最短$u$到$v$路径的长度。我们提出的预言机,可以处理任何数量的$k$的失败。我们展示了空间,查询时间和预处理时间之间的几个权衡。特别是,对于一个有向加权平面图与$n$顶点和任何常数$k$,我们显示了一个$\tilde{\mathcal{O}}(n)$-大小,$\tilde{\mathcal{O}}(\sqrt{n})$-查询时的oracle。然后,我们提出了一个空间与查询时间的权衡:对于任何$q \in \lbrack 1,\sqrt n \rbrack$,我们提出了一个甲骨文的大小$n^{k+1+o(1)}/q^{2k}$回答查询在$\tilde{\mathcal{O}}(q)$时间。对于单顶点故障($k=1$),我们的$n^{2+o(1)}/q^2$-大小、$\tilde{\mathcal{O}}(q)$-查询时oracle通过任何$t \in (0,1/2]$的$q \geq n^t$的多项式因子改进了Baswana等人[SODA 2012]之前最著名的权衡。对于多个故障,没有平面性利用的结果是以前已知的。这项工作的初步版本已在SODA 2019中提出。在这个版本中,我们展示了改进的空间与查询时间的权衡,这依赖…
2021-08-30 cs.DS
Approximate Distance Oracles for Planar Graphs with Subpolynomial Error Dependency
Thorup [FOCS'01,JACM'04]和Klein [SODA'01]分别证明了具有$O(n (\log n)ε^{-1})$空间和$O(ε^{-1})$查询时间的平面图存在一个$(1+ε)$ -近似距离预言机.虽然对$n$的依赖性几乎是线性的,但它们的预言机的空间查询乘积二次依赖于$1/ε$。许多后续的结果要么改善了空间\emph{or}的查询时间的甲骨文,同时有相同的,有时是最坏的,对$1/ε$的依赖。Kawarabayashi、Sommer和Thorup [SODA'13]首次将对$1/ε$的依赖性从二次提高到接近线性(以$\log^*(n)$因子为代价)。推测对$1/ε$的线性依赖是最优的是合理的:对于许多已知的平面图中的距离相关问题,证明了对$1/ε$的依赖至少是线性的。在这项工作中,我们反驳了这个猜想减少$1/ε$的空间查询产品的依赖性从线性一直下降到\emph{subpolynomial} $(1/ε)^{o(1)}$。更准确地说,我们构建了一个具有$O(n\log(n)(ε^{-o(1)} + \log^*n))$空间和$\log^{2+o(1)}(1/ε)$查询时间的oracle。我们的建设是过去二十年来发展的几种不同想法的顶峰。
2022-07-12 cs.DS
Improved Lower Bound for Competitive Graph Exploration
我们给出了一个改进的竞争比的下界为10/3的探索无向,边加权图与一个单一的代理,需要返回到起始位置后,访问所有顶点。我们假设代理有充分的知识,所有的边缘事件访问顶点,特别是,顶点有唯一的标识符。我们的界改进了Dobrev等人的下界2.5。[SIROCCO'12],并且也适用于平面图,其中它补充了Kalyanasundaram和Pruhs的上界16 [TCS'94]。一般来说,能否达到一个恒定的竞争比率的问题仍然悬而未决。
2020-02-25 cs.DS math.OC
Polylogarithmic approximation for minimum planarization (almost)
在最小平面化问题中,给定一个$n$ -顶点图,目标是找到一组基数最小的顶点,将这些顶点去掉后,图仍为平面图。这是拓扑图论中的一个基本问题。我们提出了一个$\log^{O(1)} n$ -近似算法,这个问题的一般图的运行时间$n^{O(\log n/\log\log n)}$。对于任意小的常数$\varepsilon > 0$,我们还得到了一个具有运行时间的$O(n^\varepsilon)$ -近似$n^{O(1/\varepsilon)}$.在我们的工作之前,对于一般图上的这个问题,没有已知的非平凡算法,即使在有界度的图上,最著名的结果也是$n^{Ω(1)}$ -近似[Chekuri and Sidiropoulos 2013]。作为直接推论,我们还得到了有界度图上交叉数问题的改进近似算法。具体地说,我们分别得到了时间上的$O(n^{1/2+\varepsilon})$ -近似和$n^{1/2} \log^{O(1)} n$ -近似算法$n^{O(1/\varepsilon)}$和$n^{O(\log n/\log\log n)}$.之前最著名的结果是多项式时间$n^{9/10}\log^{O(1)} n$近似算法[Chuzhoy 2011]。我们的算法引入了几个新的工具,包括一个有效的顶点图的网格子结构,和一个新的方法来计算不相关的顶点。这些工具的类似物以前只适用于精确算法。我…
2017-08-15 cs.DS
Refined Vertex Sparsifiers of Planar Graphs
我们研究以下版本的切割稀疏化。给定一个具有$k$终端顶点的大边加权网络$G$,将其压缩为具有相同终端的较小网络$H$,使得$H$中的每个最小终端割近似于$G$中的对应最小终端割,直到称为质量的因子$q\geq 1$。(The情况$q=1$也被称为模仿网络)。我们提供了新的见解最小终端切割的结构,导致新的结果切割稀疏平面图。我们的第一个贡献确定了一个子集的最小终端削减,我们称之为小学,产生所有其他的。因此,$H$是割稀疏化子当且仅当它保留所有的基本终端割(直到这个因子$q$)。这种结构表征导致$H$的大小的改进的界限。例如,它将平面图的模仿网络大小的界提高到一个近似最优的界。我们的第二个和主要的贡献是完善已知的界限方面的$γ=γ(G)$,这是定义为最小数量的面是入射到所有终端的平面图$G$。我们证明了初等终端割的数目是$O((2k/γ)^{2γ})$(与$O(2^k)$终端割相比),并进一步得到了一个大小为$O(γ2^{2γ} k^4)$的模仿网络,它是$γ$的函数。在分析中,我们将基本的终端切割分成碎片,并仔细计数。我们的第三个贡献是切割稀疏化和距离稀疏化的某些平面图之间的对偶,当稀疏$H$要求是一个小的$G$。这种对偶性连接了以前分别研究的问题,这意味着新的结果,已知结果的新证明,以及开放间隙之间的等价性。
2019-10-04 cs.DS
Optimal parameterized algorithms for planar facility location problems using Voronoi diagrams
我们研究了一类定义在平面图和二维平面上的设施选址问题。在这些问题中,$k$对象的子集必须被选择,满足一定的包装(不相交)和覆盖约束。我们的主要结果表明,对于这些问题中的每一个,选择$k$对象的$n^{O(k)}$时间蛮力算法可以改进到$n^{O(\sqrt{k})}$时间。该算法是基于一个想法,最近推出的几何QPTAS的设计,但尚未用于精确的算法和平面图。我们专注于一个假设的解决方案的$k$对象的Voronoi图,猜测这个沃罗诺伊图的平衡分离器循环,以获得一个集合,分离的解决方案,在一个平衡的方式,然后递归的子问题。我们补充我们的研究提供证据,包装问题有$n^{O(\sqrt{k})}$时间算法更一般的一类对象比覆盖问题。
2015-04-21 cs.CC cs.CG cs.DS
Weakly Leveled Planarity with Bounded Span
本文研究有界跨度的弱分层平面图绘制问题,证明其关于跨度参数 para-NP 难,并给出关于顶点覆盖数和树深的参数化复杂性结果,同时证明循环树等图类具有对数级或常数级跨度上界。
2024-12-29 cs.CG cs.DS