Jan, 2023

优化器的可计算性

TL;DR分析了在图灵机和数字计算机上求解最优化问题的基本局限性,并在各种不同领域中证明了这些问题都不是Banach-Mazur可计算的。