23,722 research outputs found
Relaxed Voronoi: A Simple Framework for Terminal-Clustering Problems
We reprove three known algorithmic bounds for terminal-clustering problems, using a single framework that leads to simpler proofs. In this genre of problems, the input is a metric space (X,d) (possibly arising from a graph) and a subset of terminals K subset X, and the goal is to partition the points X such that each part, called a cluster, contains exactly one terminal (possibly with connectivity requirements) so as to minimize some objective. The three bounds we reprove are for Steiner Point Removal on trees [Gupta, SODA 2001], for Metric 0-Extension in bounded doubling dimension [Lee and Naor, unpublished 2003], and for Connected Metric 0-Extension [Englert et al., SICOMP 2014].
A natural approach is to cluster each point with its closest terminal, which would partition X into so-called Voronoi cells, but this approach can fail miserably due to its stringent cluster boundaries. A now-standard fix, which we call the Relaxed-Voronoi framework, is to use enlarged Voronoi cells, but to obtain disjoint clusters, the cells are computed greedily according to some order. This method, first proposed by Calinescu, Karloff and Rabani [SICOMP 2004], was employed successfully to provide state-of-the-art results for terminal-clustering problems on general metrics. However, for restricted families of metrics, e.g., trees and doubling metrics, only more complicated, ad-hoc algorithms are known. Our main contribution is to demonstrate that the Relaxed-Voronoi algorithm is applicable to restricted metrics, and actually leads to relatively simple algorithms and analyses
Resolving sets for breaking symmetries of graphs
This paper deals with the maximum value of the difference between the
determining number and the metric dimension of a graph as a function of its
order. Our technique requires to use locating-dominating sets, and perform an
independent study on other functions related to these sets. Thus, we obtain
lower and upper bounds on all these functions by means of very diverse tools.
Among them are some adequate constructions of graphs, a variant of a classical
result in graph domination and a polynomial time algorithm that produces both
distinguishing sets and determining sets. Further, we consider specific
families of graphs where the restrictions of these functions can be computed.
To this end, we utilize two well-known objects in graph theory: -dominating
sets and matchings.Comment: 24 pages, 12 figure
On the strong partition dimension of graphs
We present a different way to obtain generators of metric spaces having the
property that the ``position'' of every element of the space is uniquely
determined by the distances from the elements of the generators. Specifically
we introduce a generator based on a partition of the metric space into sets of
elements. The sets of the partition will work as the new elements which will
uniquely determine the position of each single element of the space. A set
of vertices of a connected graph strongly resolves two different vertices
if either or
, where . An ordered vertex partition of
a graph is a strong resolving partition for if every two different
vertices of belonging to the same set of the partition are strongly
resolved by some set of . A strong resolving partition of minimum
cardinality is called a strong partition basis and its cardinality the strong
partition dimension. In this article we introduce the concepts of strong
resolving partition and strong partition dimension and we begin with the study
of its mathematical properties. We give some realizability results for this
parameter and we also obtain tight bounds and closed formulae for the strong
metric dimension of several graphs.Comment: 16 page
- …