On the Hardness of Training Deep Neural Networks Discretely
Ilan Doron-Arad
Abstract
We study neural network training (NNT): optimizing a neural network's parameters to minimize the training loss over a given dataset. NNT has been studied extensively under theoretic lenses, mainly on two-layer networks with linear or ReLU activation functions where the parameters can take any real value (here referred to as continuous NNT (C-NNT)). However, less is known about deeper neural networks, which exhibit substantially stronger capabilities in practice. In addition, the complexity of the discrete variant of the problem (D-NNT in short), in which the parameters are taken from a given finite set of options, has remained less explored despite its theoretical and practical significance.
In this work, we show that the hardness of NNT is dramatically affected by the network depth. Specifically, we show that, under standard complexity assumptions, D-NNT is not in the complexity class NP even for instances with fixed dimensions and dataset size, having a deep architecture. This separates D-NNT from any NP-complete problem. Furthermore, using a polynomial reduction we show that the above result also holds for C-NNT, albeit with more structured instances. We complement these results with a comprehensive list of NP-hardness lower bounds for D-NNT on two-layer networks, showing that fixing the number of dimensions, the dataset size, or the number of neurons in the hidden layer leaves the problem challenging. Finally, we obtain a pseudo-polynomial algorithm for D-NNT on a two-layer network with a fixed dataset size.
Ask about this paper
Your agent reads all of it.
Lune indexed this paper to the last equation, along with the top-tier papers that cite it. Ask a question and the answer quotes them.
Cited by top-tier papers2
- Why ReLU? A Bit-Model Dichotomy for Deep Network TrainingIlan Doron-Arad, Elchanan MosselICML 2026
- Tractability via Low Dimensionality: The Parameterized Complexity of Training Quantized Neural NetworksRobert Ganian, Frank Sommer, Manuel SorgeICLR 2026
Builds on7
- Neural Networks are Convex Regularizers: Exact Polynomial-time Convex Optimization Formulations for Two-layer NetworksMert Pilanci, Tolga ErgenICML 2020 · 142 citations
- Provable Benefit of Orthogonal Initialization in Optimizing Deep Linear NetworksWei Hu, Lechao Xiao, Jeffrey PenningtonICLR 2020 · 136 citations
- Training Fully Connected Neural Networks is ∃R-CompleteDaniel Bertschinger, Christoph Hertrich, Paul Jungeblut, Tillmann Miltzow et al.NeurIPS 2023 · 39 citations
- Training Neural Networks is NP-Hard in Fixed DimensionVincent Froese, Christoph HertrichNeurIPS 2023 · 36 citations
- Training Neural Networks is ER-completeMikkel Abrahamsen, Linda Kleist, Tillmann MiltzowNeurIPS 2021 · 30 citations
Related papers
- Training One-Dimensional Graph Neural Networks is NP-HardRobert Ganian, Mathis Rocton, Simon WiethegerICLR 2025
- New Complexity-Theoretic Frontiers of Tractability for Neural Network TrainingCornelius Brand, Robert Ganian, Mathis RoctonNeurIPS 2023 · 4 citations
- Convex Formulations for Training Two-Layer ReLU Neural NetworksKarthik Prakhya, Tolga Birdal, Alp YurtseverICLR 2025
- Neural Tangent Kernel Analysis of Deep Narrow Neural NetworksJongmin Lee, Joo Young Choi, Ernest K. Ryu, Albert NoICML 2022 · 16 citations
- Exponentially Many Local Minima in Quantum Neural NetworksXuchen You, Xiaodi WuICML 2021 · 67 citations
