Theoretical Computer Science ( IF 0.9 ) Pub Date : 2020-09-21 , DOI: 10.1016/j.tcs.2020.09.037 Binayak Dutta , Arindam Karmakar , Sasanka Roy
We study the descending facility location (DFL) problem on the surface of a triangulated terrain. A path from a point s to a point t on the surface of a terrain is descending if the heights of the subsequent points along the path from s to t are in a monotonically non-increasing order [1]. We are given a set of n demand points on the surface of a triangulated terrain and our objective is to find a set F (of points), of minimum cardinality, on the surface of the terrain such that for each demand point there exists a descending path from at least one facility to d. We present an time algorithm for solving the DFL problem, where m is the number of vertices in the triangulated terrain. We achieve this by reducing the DFL problem to a graph problem called the directed tree covering problem. In the DTC problem, we have a directed tree with a set of marked nodes . The objective is to compute a set of minimum cardinality, such that for every node , either or there exists a node such that v is reachable from c. We prove that the DFL problem can be reduced to DTC problem in time. The DTC problem thereafter can be solved in time. We also prove that the general version of the DTC problem, called the directed graph covering problem is NP-hard on directed bipartite graphs and hard to approximate within -factor, for every , where is the size of the set of marked nodes. We also prove that for the DGC problem, an factor approximation is possible and this approximation factor is tight.
中文翻译:
使用下降路径的多面体地形上的最优设施位置问题
我们研究了三角地形表面上的下降设施位置(DFL)问题。如果沿着s到t的路径上后续点的高度按单调非递增顺序[1],则从地形表面上的点s到点t的路径正在下降。我们得到了一套的ñ三角地形表面上的需求点我们的目标是在地形表面上找到最小基数的集合F(由点组成),以便对于每个需求点 存在至少一个设施的下降路径 到d。我们提出一个解决DFL问题的时间算法,其中m是三角地形中的顶点数。我们通过将DFL问题简化为称为有向树覆盖的图形问题来实现这一目标 问题。在DTC问题中,我们有一个定向树 带有一组标记的节点 。目的是计算一个集合 最小基数,例如对于每个节点 ,或者 或存在一个节点 使得v可以从c到达。我们证明DFL问题可以简化为DTC问题时间。此后的DTC问题可以在时间。我们还证明了DTC问题的一般版本,称为有向图覆盖 问题是NP-在有向二部图上很难实现,并且很难在其中逼近因数 ,在哪里 是标记节点集的大小。我们还证明,对于DGC问题, 因子近似是可能的,并且该近似因子很严格。