Affiliation:
1. Computer Science, Carnegie Mellon University, Pittsburgh, United States
2. Computational biology, Carnegie Mellon University, Pittsburgh, United States
3. Google Inc New York, New York, United States
4. Management Science & Engineering; Computer science, Stanford University, Stanford, United States
Abstract
Algorithms often have tunable parameters that impact performance metrics such as runtime and solution quality. For many algorithms used in practice, no parameter settings admit meaningful worst-case bounds, so the parameters are made available for the user to tune. Alternatively, parameters may be tuned implicitly within the proof of a worst-case approximation ratio or runtime bound. Worst-case instances, however, may be rare or nonexistent in practice. A growing body of research has demonstrated that a data-driven approach to parameter tuning can lead to significant improvements in performance. This approach uses a
training set
of problem instances sampled from an unknown, application-specific distribution and returns a parameter setting with strong average performance on the training set.
We provide techniques for deriving
generalization guarantees
that bound the difference between the algorithm’s average performance over the training set and its expected performance on the unknown distribution. Our results apply no matter how the parameters are tuned, be it via an automated or manual approach. The challenge is that for many types of algorithms, performance is a volatile function of the parameters: slightly perturbing the parameters can cause a large change in behavior. Prior research [e.g., 12, 16, 20, 62] has proved generalization bounds by employing case-by-case analyses of greedy algorithms, clustering algorithms, integer programming algorithms, and selling mechanisms. We streamline these analyses with a general theorem that applies whenever an algorithm’s performance is a piecewise-constant, piecewise-linear, or—more generally—
piecewise-structured
function of its parameters. Our results, which are tight up to logarithmic factors in the worst case, also imply novel bounds for configuring dynamic programming algorithms from computational biology.
Publisher
Association for Computing Machinery (ACM)
Reference131 articles.
1. SCIP: solving constraint integer programs
2. Saba Ahmadi Hedyeh Beyhaghi Avrim Blum and Keziah Naggita. 2022. Setting Fair Incentives to Maximize Improvement. arXiv preprint arXiv:2203.00134(2022).
3. Noga Alon, Moshe Babaioff, Yannai A Gonczarowski, Yishay Mansour, Shay Moran, and Amir Yehudayoff. 2017. Submultiplicative Glivenko-Cantelli and Uniform Convergence of Revenues. Proceedings of the Annual Conference on Neural Information Processing Systems (NeurIPS) (2017).
4. Martin Anthony and Peter Bartlett. 2009. Neural Network Learning: Theoretical Foundations. Cambridge University Press.
5. Patrick Assouad. 1983. Densité et dimension. Annales de l’Institut Fourier 33, 3 (1983), 233–282.