淡白鸽羽 发布于
此外，一般而言，数学家们不仅要算出某几个特定的解（数值解），还是要算出Ramsey问题的通项公式（解析解，如果它存在的话）。
所以穷举法吃力不讨好，哼哧哼哧算半天，大伙搞不好已经用夹逼原理给通项整出来了。
额外说一句，其实组合数学的内容（Ramsey问题属于这个分支），很大部分都仅限理论推演，人类目前的科学水平暂时还找不到它们的用途。
比如这个Ramsey问题，原理特别简单（容斥原理，中学内容），构造特别复杂，是那种“望山跑死马”的计算量，而且还不知道“到底什么东西会有这么复杂的构造”。
但是吧，就像算量子场必须要泛函分析，很难说会不会从组合数学发展出一支新的物理分支。
（所以你也不能说这玩意肯定没用，傅里叶1807年搓出傅里叶变换，1895年才有了试验性的电磁波通讯设备。）