A Structural Theorem for Local Algorithms with Applications to Coding, Testing, and Verification.
Marcel Dall'AgnolTom GurOded LachishPublished in: SIAM J. Comput. (2023)
Keyphrases
- data structure
- computationally efficient
- orders of magnitude
- learning algorithm
- worst case
- structural information
- times faster
- formal verification
- neural network
- black box
- convergence rate
- recently developed
- combinatorial optimization
- coding scheme
- computationally expensive
- optimization problems
- computational cost
- image segmentation
- feature selection
- machine learning