Approximate dynamic programming using halfspace queries and multiscale Monge decomposition

• Authors: Gary L. Miller;Richard Peng;Russell Schwartz;Charalampos Tsourakakis
• Venue: Proceedings of the twenty-second annual ACM-SIAM symposium on Discrete Algorithms
• Year: 2011

We consider the problem of approximating a signal P with another signal F consisting of a few piecewise constant segments. This problem arises naturally in applications including databases (e.g., histogram construction), speech recognition, computational biology (e.g., denoising aCGH data) and many more. Specifically, let P = (P1, P2,..., Pn), Pi ∈ R for all i, be a signal and let C be a constant. Our goal is to find a function F: [n] → R which optimizes the following objective function: [EQUATION] The above optimization problem reduces to solving the following recurrence, which can be done using dynamic programming in O(n2) time: [EQUATION] This recurrence arises naturally in several applications where one wants to approximate a given signal P with a signal F which ideally consists of few piecewise constant segments. Such applications include histogram construction in databases, determining DNA copy numbers in cancer cells from micro-array data, speech recognition, data mining and many others. In this work we present two new techniques for optimizing dynamic programming that can handle cost functions not treated by other standard methods. The basis of our first algorithm is the definition of a constant-shifted variant of the objective function that can be efficiently approximated using state of the art methods for range searching. Our technique approximates the optimal value of our objective function within additive ε error and runs in Õ(n4/3+δ log (U/ε)) time, where δ is an arbitrarily small positive constant and U = max{√C, (|Pi|)i=1,..., n}. The second algorithm we provide solves a similar recurrence that's within a multiplicative factor of (1+ε) and runs in O(n log n/ε). The new technique introduced by our algorithm is the decomposition of the initial problem into a small (logarithmic) number of Monge optimization subproblems which we can speed up using existing techniques.