CMU-CS-24-162
Computer Science Department
School of Computer Science, Carnegie Mellon University



CMU-CS-24-162

Linear Sketches for Geometric LP-Type Problems

Nabi Efe Çekirge

M.S. Thesis

December 2024

CMU-CS-24-162.pdf


Keywords: Sketching, streaming, lp-type problems

LP-type problems such as the Minimum Enclosing Ball (MEB), Linear Support Vector Machine (SVM), Linear Programming (LP), and Semidefinite Programming (SDP) are fundamental combinatorial optimization problems, with many important applications in machine learning applications such as classification, bioinformatics, and noisy learning. We study LP-type problems in several streaming and distributed big data models, giving ε-approximation linear sketching algorithms with a focus on the high accuracy regime with low dimensionality d, that is, when d < (1/ε)0.999. Our main result is an O(ds) pass algorithm with O (s (√d/ε)3d/s) ⋅ poly (d, log (1/ε)) space complexity, for any parameter s ∈ [1, d log (√d/ε)], to solve ε-approximate LP-type problems of O(d) combinatorial and VC dimension. Notably, by taking s = d log (√d/ε, we achieve space complexity polynomial in d and polylogarithmic in , presenting exponential improvements in 1/ε over current algorithms. We complement our results by showing lower bounds of (1/ε)Ω(d) for any 1-pass algorithm solvng the (1 + ε)-approximation MEB and linear SVM problems, further motivating our multi-pass approach.

70 pages

Thesis Committee:
David P. Woodruff (Chair)
Richard Peng

Srinivasan Seshan, Head, Computer Science Department
Martial Hebert, Dean, School of Computer Science


Return to: SCS Technical Report Collection
School of Computer Science

This page maintained by reports@cs.cmu.edu