An upper bound on prototype set size for condensed nearest neighbor