792 research outputs found
Tight Analysis of a Multiple-Swap Heuristic for Budgeted Red-Blue Median
Budgeted Red-Blue Median is a generalization of classic -Median in that
there are two sets of facilities, say and , that can
be used to serve clients located in some metric space. The goal is to open
facilities in and facilities in for
some given bounds and connect each client to their nearest open
facility in a way that minimizes the total connection cost.
We extend work by Hajiaghayi, Khandekar, and Kortsarz [2012] and show that a
multiple-swap local search heuristic can be used to obtain a
-approximation for Budgeted Red-Blue Median for any constant
. This is an improvement over their single swap analysis and
beats the previous best approximation guarantee of 8 by Swamy [2014].
We also present a matching lower bound showing that for every ,
there are instances of Budgeted Red-Blue Median with local optimum solutions
for the -swap heuristic whose cost is
times the optimum solution cost. Thus, our analysis is tight up to the lower
order terms. In particular, for any we show the single-swap
heuristic admits local optima whose cost can be as bad as times
the optimum solution cost
The Non-Uniform k-Center Problem
In this paper, we introduce and study the Non-Uniform k-Center problem
(NUkC). Given a finite metric space and a collection of balls of radii
, the NUkC problem is to find a placement of their
centers on the metric space and find the minimum dilation , such that
the union of balls of radius around the th center covers
all the points in . This problem naturally arises as a min-max vehicle
routing problem with fleets of different speeds.
The NUkC problem generalizes the classic -center problem when all the
radii are the same (which can be assumed to be after scaling). It also
generalizes the -center with outliers (kCwO) problem when there are
balls of radius and balls of radius . There are -approximation
and -approximation algorithms known for these problems respectively; the
former is best possible unless P=NP and the latter remains unimproved for 15
years.
We first observe that no -approximation is to the optimal dilation is
possible unless P=NP, implying that the NUkC problem is more non-trivial than
the above two problems. Our main algorithmic result is an
-bi-criteria approximation result: we give an -approximation
to the optimal dilation, however, we may open centers of each
radii. Our techniques also allow us to prove a simple (uni-criteria), optimal
-approximation to the kCwO problem improving upon the long-standing
-factor. Our main technical contribution is a connection between the NUkC
problem and the so-called firefighter problems on trees which have been studied
recently in the TCS community.Comment: Adjusted the figur
Dependent randomized rounding for clustering and partition systems with knapsack constraints
Clustering problems are fundamental to unsupervised learning. There is an
increased emphasis on fairness in machine learning and AI; one representative
notion of fairness is that no single demographic group should be
over-represented among the cluster-centers. This, and much more general
clustering problems, can be formulated with "knapsack" and "partition"
constraints. We develop new randomized algorithms targeting such problems, and
study two in particular: multi-knapsack median and multi-knapsack center. Our
rounding algorithms give new approximation and pseudo-approximation algorithms
for these problems. One key technical tool, which may be of independent
interest, is a new tail bound analogous to Feige (2006) for sums of random
variables with unbounded variances. Such bounds are very useful in inferring
properties of large networks using few samples
FPT Approximation for Fair Minimum-Load Clustering
In this paper, we consider the Minimum-Load k-Clustering/Facility Location (MLkC) problem where we are given a set P of n points in a metric space that we have to cluster and an integer k > 0 that denotes the number of clusters. Additionally, we are given a set F of cluster centers in the same metric space. The goal is to select a set C ? F of k centers and assign each point in P to a center in C, such that the maximum load over all centers is minimized. Here the load of a center is the sum of the distances between it and the points assigned to it.
Although clustering/facility location problems have rich literature, the minimum-load objective has not been studied substantially, and hence MLkC has remained a poorly understood problem. More interestingly, the problem is notoriously hard even in some special cases including the one in line metrics as shown by Ahmadian et al. [APPROX 2014, ACM Trans. Algorithms 2018]. They also show APX-hardness of the problem in the plane. On the other hand, the best-known approximation factor for MLkC is O(k), even in the plane.
In this work, we study a fair version of MLkC inspired by the work of Chierichetti et al. [NeurIPS, 2017]. Here the input points are partitioned into ? protected groups, and only clusters that proportionally represent each group are allowed. MLkC is the special case with ? = 1. For the fair version, we are able to obtain a randomized 3-approximation algorithm in f(k,?)? n^O(1) time. Also, our scheme leads to an improved (1 + ?)-approximation in the case of Euclidean norm with the same running time (depending also linearly on the dimension d). Our results imply the same approximations for MLkC with running time f(k)? n^O(1), achieving the first constant-factor FPT approximations for this problem in general and Euclidean metric spaces
FPT Approximation for Fair Minimum-Load Clustering
In this paper, we consider the Minimum-Load k-Clustering/Facility Location (MLkC) problem where we are given a set P of n points in a metric space that we have to cluster and an integer k > 0 that denotes the number of clusters. Additionally, we are given a set F of cluster centers in the same metric space. The goal is to select a set C ? F of k centers and assign each point in P to a center in C, such that the maximum load over all centers is minimized. Here the load of a center is the sum of the distances between it and the points assigned to it.
Although clustering/facility location problems have rich literature, the minimum-load objective has not been studied substantially, and hence MLkC has remained a poorly understood problem. More interestingly, the problem is notoriously hard even in some special cases including the one in line metrics as shown by Ahmadian et al. [APPROX 2014, ACM Trans. Algorithms 2018]. They also show APX-hardness of the problem in the plane. On the other hand, the best-known approximation factor for MLkC is O(k), even in the plane.
In this work, we study a fair version of MLkC inspired by the work of Chierichetti et al. [NeurIPS, 2017]. Here the input points are partitioned into ? protected groups, and only clusters that proportionally represent each group are allowed. MLkC is the special case with ? = 1. For the fair version, we are able to obtain a randomized 3-approximation algorithm in f(k,?)? n^O(1) time. Also, our scheme leads to an improved (1 + ?)-approximation in the case of Euclidean norm with the same running time (depending also linearly on the dimension d). Our results imply the same approximations for MLkC with running time f(k)? n^O(1), achieving the first constant-factor FPT approximations for this problem in general and Euclidean metric spaces
Constant-Factor FPT Approximation for Capacitated k-Median
Capacitated k-median is one of the few outstanding optimization problems for which the existence of a polynomial time constant factor approximation algorithm remains an open problem. In a series of recent papers algorithms producing solutions violating either the number of facilities or the capacity by a multiplicative factor were obtained. However, to produce solutions without violations appears to be hard and potentially requires different algorithmic techniques. Notably, if parameterized by the number of facilities k, the problem is also W[2] hard, making the existence of an exact FPT algorithm unlikely. In this work we provide an FPT-time constant factor approximation algorithm preserving both cardinality and capacity of the facilities. The algorithm runs in time 2^O(k log k) n^O(1) and achieves an approximation ratio of 7+epsilon
The Hardness of Approximation of Euclidean k-means
The Euclidean -means problem is a classical problem that has been
extensively studied in the theoretical computer science, machine learning and
the computational geometry communities. In this problem, we are given a set of
points in Euclidean space , and the goal is to choose centers in
so that the sum of squared distances of each point to its nearest center
is minimized. The best approximation algorithms for this problem include a
polynomial time constant factor approximation for general and a
-approximation which runs in time . At
the other extreme, the only known computational complexity result for this
problem is NP-hardness [ADHP'09]. The main difficulty in obtaining hardness
results stems from the Euclidean nature of the problem, and the fact that any
point in can be a potential center. This gap in understanding left open
the intriguing possibility that the problem might admit a PTAS for all .
In this paper we provide the first hardness of approximation for the
Euclidean -means problem. Concretely, we show that there exists a constant
such that it is NP-hard to approximate the -means objective
to within a factor of . We show this via an efficient reduction
from the vertex cover problem on triangle-free graphs: given a triangle-free
graph, the goal is to choose the fewest number of vertices which are incident
on all the edges. Additionally, we give a proof that the current best hardness
results for vertex cover can be carried over to triangle-free graphs. To show
this we transform , a known hard vertex cover instance, by taking a graph
product with a suitably chosen graph , and showing that the size of the
(normalized) maximum independent set is almost exactly preserved in the product
graph using a spectral analysis, which might be of independent interest
Approximation Algorithms for Clustering with Dynamic Points
In many classic clustering problems, we seek to sketch a massive data set of
points in a metric space, by segmenting them into categories or
clusters, each cluster represented concisely by a single point in the metric
space. Two notable examples are the -center/-supplier problem and the
-median problem. In practical applications of clustering, the data set may
evolve over time, reflecting an evolution of the underlying clustering model.
In this paper, we initiate the study of a dynamic version of clustering
problems that aims to capture these considerations. In this version there are
time steps, and in each time step , the set of clients
needed to be clustered may change, and we can move the facilities between
time steps. More specifically, we study two concrete problems in this
framework: the Dynamic Ordered -Median and the Dynamic -Supplier problem.
We first consider the Dynamic Ordered -Median problem, where the objective
is to minimize the weighted sum of ordered distances over all time steps, plus
the total cost of moving the facilities between time steps. We present one
constant-factor approximation algorithm for and another approximation
algorithm for fixed . Then we consider the Dynamic -Supplier
problem, where the objective is to minimize the maximum distance from any
client to its facility, subject to the constraint that between time steps the
maximum distance moved by any facility is no more than a given threshold. When
the number of time steps is 2, we present a simple constant factor
approximation algorithm and a bi-criteria constant factor approximation
algorithm for the outlier version, where some of the clients can be discarded.
We also show that it is NP-hard to approximate the problem with any factor for
.Comment: To be published in the Proceedings of the 28th Annual European
Symposium on Algorithms (ESA 2020
- …