ALCOMFT-TR-03-89

Valentina Damerow, Harald Räcke, Friedhelm Meyer auf der Heide, Christian Scheideler and Christian Sohler
Smoothed Motion Complexity
Paderborn. Work package 4. November 2003.

Abstract: We propose a new complexity measure for movement of objects, the smoothed motion complexity. % Many applications are based on algorithms dealing with moving objects, but usually data of moving objects is inherently noisy due to measurement errors. % Smoothed motion complexity considers this imprecise information and uses smoothed analysis to model noisy data. % The input is object to slight random perturbation and the smoothed complexity is the worst case expected complexity over all inputs w.r.t. the random noise. % We think that the usually applied worst case analysis of algorithms dealing with moving objects, e.g., kinetic data structures, often does not reflect the real world behavior and that smoothed motion complexity is much better suited to estimate dynamics.

We illustrate this approach on the problem of maintaining an orthogonal bounding box of a set of n points in R^d under linear motion. % We assume speed vectors and initial positions from [-1,1]^d. % The motion complexity is then the number of combinatorial changes to the description of the bounding box. % Under perturbation with Gaussian normal noise of deviation \sigma the smoothed motion complexity is only polylogarithmic: O(d·(1+1/\sigma)·log n ^3/2) and Omega(d·\sqrt{log n}). % We also consider the case when only very little information about the noise distribution is known. % We assume that the density function is monotonically increasing on R_{<= 0} and monotonically decreasing on R_{>= 0} and bounded by some value C. % Then the motion complexity is O(d · (\sqrt{n log n · C}+log n)) and Omega (d · \mathrmmin{\sqrt[5]n/\sigma,n}).

\medskip

\noindent Keywords: Randomization, Kinetic Data Structures, Smoothed Analysis

Postscript file: ALCOMFT-TR-03-89.ps.gz (80 kb).