Agnostic proper learning of monotone functions: beyond the black-box correction barrier

被引:0
|
作者
Lange, Jane [1 ]
Vasilyan, Arsen [1 ]
机构
[1] MIT, CSAIL, Cambridge, MA 02139 USA
来源
2023 IEEE 64TH ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE, FOCS | 2023年
关键词
learning theory; monotone functions; property testing; sublinear algorithms; Boolean functions; BOOLEAN FUNCTIONS; BOUNDS;
D O I
10.1109/FOCS57990.2023.00068
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
We give the first agnostic, efficient, proper learning algorithm for monotone Boolean functions. Given 2 (O) over tilde(root n/epsilon) uniformly random examples of an unknown function f : {+/- 1}(n). {+/- 1}, our algorithm outputs a hypothesis g : {+/- 1}(n). {+/- 1} that is monotone and (opt + epsilon)-close to f, where opt is the distance from f to the closest monotone function. The running time of the algorithm (and consequently the size and evaluation time of the hypothesis) is also 2((O) over tilde(root n/epsilon)), nearly matching the lower bound of [13]. We also give an algorithm for estimating up to additive error epsilon the distance of an unknown function f to monotone using a run-time of 2((O) over tilde(root n/epsilon)). Previously, for both of these problems, sample-efficient algorithms were known, but these algorithms were not run-time efficient. Our work thus closes this gap in our knowledge between the run-time and sample complexity. This work builds upon the improper learning algorithm of [17] and the proper semiagnostic learning algorithm of [40], which obtains a non-monotone Boolean-valued hypothesis, then "corrects" it to monotone using query-efficient local computation algorithms on graphs. This black-box correction approach can achieve no error better than 2opt + epsilon information-theoretically; we bypass this barrier by a) augmenting the improper learner with a convex optimization step, and b) learning and correcting a real-valued function before rounding its values to Boolean. Our real-valued correction algorithm solves the "poset sorting" problem of [40] for functions over general posets with non-Boolean labels.
引用
收藏
页码:1149 / 1170
页数:22
相关论文
共 50 条
  • [1] How to go beyond the black-box simulation barrier
    Barak, B
    42ND ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE, PROCEEDINGS, 2001, : 106 - 115
  • [2] WEAK ZERO-KNOWLEDGE BEYOND THE BLACK-BOX BARRIER
    Bitansky, Nir
    Khuranad, Dakshita
    Paneth, Omer
    SIAM JOURNAL ON COMPUTING, 2023, 52 (02)
  • [3] Weak Zero-Knowledge Beyond the Black-Box Barrier
    Bitansky, Nir
    Khurana, Dakshita
    Paneth, Omer
    PROCEEDINGS OF THE 51ST ANNUAL ACM SIGACT SYMPOSIUM ON THEORY OF COMPUTING (STOC '19), 2019, : 1091 - 1102
  • [4] Beyond the black-box model
    不详
    FOUNDATIONS AND TRENDS IN MACHINE LEARNING, 2015, 8 (3-4): : 309 - 328
  • [5] Black-Box Circular-Secure Encryption beyond Affine Functions
    Brakerski, Zvika
    Goldwasser, Shafi
    Kalai, Yael Tauman
    THEORY OF CRYPTOGRAPHY, 2011, 6597 : 201 - +
  • [6] MACHINE-LEARNING IN OPTIMIZATION OF EXPENSIVE BLACK-BOX FUNCTIONS
    Tenne, Yoel
    INTERNATIONAL JOURNAL OF APPLIED MATHEMATICS AND COMPUTER SCIENCE, 2017, 27 (01) : 105 - 118
  • [7] Turning Black-Box Functions Into White Functions
    Shan, Songqing
    Wang, G. Gary
    JOURNAL OF MECHANICAL DESIGN, 2011, 133 (03)
  • [8] Black-Box Acceleration of Monotone Convex Program Solvers
    London, Palma
    Vardi, Shai
    Eghbali, Reza
    Wierman, Adam
    OPERATIONS RESEARCH, 2024, 72 (02) : 796 - 815
  • [9] TURNING BLACK-BOX INTO WHITE FUNCTIONS
    Shan, Songqing
    Wang, G. Gary
    PROCEEDINGS OF THE ASME INTERNATIONAL DESIGN ENGINEERING TECHNICAL CONFERENCES AND COMPUTERS AND INFORMATION IN ENGINEERING CONFERENCE 2010, VOL 1, PTS A AND B, 2010, : 599 - 609