即使对最简神经网络可达性也是NP完全的
计算复杂性
2022-03-16 v2 机器学习
摘要
我们研究了（深度）神经网络可达性问题的复杂性：给定某些有效输入，它是否计算出有效输出？最近有声称称该问题对于一般神经网络和合取输入/输出规约来说是NP完全的。我们修正了原始上界和下界证明中的一些缺陷。然后我们表明，NP困难性已经对于受限类的简单规约和仅有一层的神经网络，以及对所出现参数有最小要求的神经网络成立。
引用
@article{arxiv.2108.13179,
title = {Reachability Is NP-Complete Even for the Simplest Neural Networks},
author = {Marco Sälzer and Martin Lange},
journal= {arXiv preprint arXiv:2108.13179},
year = {2022}
}