In this paper, we study the linear separability problem for stochastic geometric objects under the well-known unipoint multipoint uncertainty models. Let @math be a given set of stochastic bichromatic points, and define @math and @math . We show that the separable-probability (SP) of @math can be computed in @math time for @math and @math time for @math , while the expected separation-margin (ESM) of @math can be computed in @math time for @math . In addition, we give an @math witness-based lower bound for computing SP, which implies the optimality of our algorithm among all those in this category. Also, a hardness result for computing ESM is given to show the difficulty of further improving our algorithm. As an extension, we generalize the same problems from points to general geometric objects, i.e., polytopes and or balls, and extend our algorithms to solve the generalized SP and ESM problems in @math and @math time, respectively. Finally, we present some applications of our algorithms to stochastic convex-hull related problems.
The study of computational geometry problems under uncertainty is a relatively new topic, and has attracted a lot of attention; see @cite_6 and @cite_16 for two surveys. Different uncertainty models and related problems have been investigated in recent years. See @cite_4 @cite_1 @cite_19 @cite_17 @cite_20 @cite_15 @cite_7 @cite_0 for example. The unipoint multipoint uncertainty model, which we use in this paper, was first defined in @cite_12 @cite_18 , and has been applied in many recent papers. For instance, in @cite_2 , studied the stochastic minimum spanning tree problem, and computed its expected length. investigated the most likely convex hull problem over uncertain data in @cite_9 ; the similar topic was revisited by in @cite_12 to compute the probability that a query point is inside the uncertain hull. In @cite_14 , Suri and Verbeek studied the most likely Voronoi Diagram (LVD) in @math under the unipoint model, and the expected complexity of LVD was further improved by in @cite_5 , who explored the stochastic line arrangement problem in @math . In @cite_11 , proposed efficient algorithms for the most likely skyline problem in @math and gave NP-hardness results in higher dimensions.
@cite_18 @cite_14 @cite_4 @cite_11 @cite_7 @cite_9 @cite_1 @cite_6 @cite_0 @cite_19 @cite_2 @cite_5 @cite_15 @cite_16 @cite_12 @cite_20 @cite_17
2964185312 2963075731 581837698 2077178480
In this paper, we study the linear separability problem for stochastic geometric objects under the well-known unipoint multipoint uncertainty models. Let S=S_R U S_B be a given set of stochastic bichromatic points, and define n = min |S_R|, |S_B| and N = max |S_R|, |S_B| . We show that the separable-probability (SP) of S can be computed in O(nN^ d-1 ) time for d >= 3 and O(min nN log N, N^2 ) time for d=2, while the expected separation-margin (ESM) of S can be computed in O(nN^d) time for d >= 2. In addition, we give an Omega(nN^ d-1 ) witness-based lower bound for computing SP, which implies the optimality of our algorithm among all those in this category. Also, a hardness result for computing ESM is given to show the difficulty of further improving our algorithm. As an extension, we generalize the same problems from points to general geometric objects, i.e., polytopes and or balls, and extend our algorithms to solve the generalized SP and ESM problems in O(nN^d) and O(nN^ d+1 ) time, respectively. Finally, we present some applications of our algorithms to stochastic convex-hull related problems. With the dramatic growth in the number of application domains that generate probabilistic, noisy and uncertain data, there has been an increasing interest in designing algorithms for geometric or combinatorial optimization problems over such data. In this paper, we initiate the study of constructing epsilon-kernel coresets for uncertain points. We consider uncertainty in the existential model where each point's location is fixed but only occurs with a certain probability, and the locational model where each point has a probability distribution describing its location. An epsilon-kernel coreset approximates the width of a point set in any direction. We consider approximating the expected width (an epsilon-EXP-KERNEL), as well as the probability distribution on the width (an (epsilon, tau)-QUANT-KERNEL) for any direction. We show that there exists a set of O(epsilon^ -(d-1) 2 ) deterministic points which approximate the expected width under the existential and locational models, and we provide efficient algorithms for constructing such coresets. We show, however, it is not always possible to find a subset of the original uncertain points which provides such an approximation. However, if the existential probability of each point is lower bounded by a constant, an epsilon-EXP-KERNEL is still possible. We also provide efficient algorithms for construct an (epsilon, tau)-QUANT-KERNEL coreset in nearly linear time. Our techniques utilize or connect to several important notions in probability and geometry, such as Kolmogorov distances, VC uniform convergence and Tukey depth, and may be useful in other geometric optimization problem in stochastic settings. Finally, combining with known techniques, we show a few applications to approximating the extent of uncertain functions, maintaining extent measures for stochastic moving points and some shape fitting problems under uncertainty. Consider a set of points in d dimensions where the existence or the location of each point is determined by a probability distribution. The convex hull of this set is a random variable distributed over exponentially many choices. We are interested in finding the most likely convex hull, namely, the one with the maximum probability of occurrence. We investigate this problem under two natural models of uncertainty: the point (also called the tuple) model where each point (site) has a fixed position s i but only exists with some probability π i , for 0 < π i ≤ 1, and the multipoint model where each point has multiple possible locations or it may not appear at all. We show that the most likely hull under the point model can be computed in O(n 3) time for n points in d = 2 dimensions, but it is NP–hard for d ≥ 3 dimensions. On the other hand, we show that the problem is NP–hard under the multipoint model even for d = 2 dimensions. We also present hardness results for approximating the probability of the most likely hull. While we focus on the most likely hull for concreteness, our results hold for other natural definitions of a probabilistic hull. We consider the problem of nearest-neighbor searching among a set of stochastic sites, where a stochastic site is a tuple ((s_i, _i) ) consisting of a point (s_i ) in a (d )-dimensional space and a probability ( _i ) determining its existence. The problem is interesting and non-trivial even in (1 )-dimension, where the Most Likely Voronoi Diagram (LVD) is shown to have worst-case complexity ( (n^2) ). We then show that under more natural and less adversarial conditions, the size of the (1 )-dimensional LVD is significantly smaller: (1) ( (k n) ) if the input has only (k ) distinct probability values, (2) (O(n n) ) on average, and (3) (O(n n ) ) under smoothed analysis. We also present an alternative approach to the most likely nearest neighbor (LNN) search using Pareto sets, which gives a linear-space data structure and sub-linear query time in 1D for average and smoothed analysis models, as well as worst-case with a bounded number of distinct probabilities. Using the Pareto-set approach, we can also reduce the multi-dimensional LNN search to a sequence of nearest neighbor and spherical range queries.