Generalized Kraft's Inequality and Discrete $k$-Modal Search

  • Authors:
  • Anmol Mathur;Edward M. Reingold

  • Affiliations:
  • -;-

  • Venue:
  • SIAM Journal on Computing
  • Year:
  • 1996

Quantified Score

Hi-index 0.00

Visualization

Abstract

A function $f : \Re \rightarrow \Re$ is {\em $k$-modal} if its $k$th derivative has a unique zero. We study the problem of finding the smallest possible interval containing the unique zero of the $k$th derivative of such a function, assuming that the function is evaluated only at integer points. We present optimal algorithms for the case when $k$ is even and for $k=3$ and near-optimal algorithms when $k \geq 5$ and odd. A novel generalization of Kraft's inequality is used to prove lower bounds on the number of function evaluations required. We show how our algorithms lead to an efficient divide-and-conquer algorithm to determine all turning points or zeros of a $k$-modal function. Unbounded $k$-modal search is introduced and some problems in extending previous approaches for unbounded searching to the $k$-modal case are discussed.