葛立恒数由美国数学家葛立恒提出，曾经被视为在正式数学证明中出现过最大的数，后来则被TREE取代。它大得连高德纳箭号表示法也难以简单表示，而必须使用64层高德纳箭号表示法才表示得出来。马丁·加德纳于1977年11月在美国科学人的“数学游戏”专栏将此数刊登出来，1980年被吉尼斯世界纪录订为在正式数学证明中出现过最大的数。
葛立恒扫描法是一种计算一组的平面点的凸包的算法，时间复杂度为
O
{\displaystyle O}
。以在1972年发表该算法的葛立恒命名。
葛立恒数由美国数学家葛立恒提出，曾经被视为在正式数学证明中出现过最大的数，后来则被TREE取代。它大得连高德纳箭号表示法也难以简单表示，而必须使用64层高德纳箭号表示法才表示得出来。马丁·加德纳于1977年11月在美国科学人的“数学游戏”专栏将此数刊登出来，1980年被吉尼斯世界纪录订为在正式数学证明中出现过最大的数。
葛立恒扫描法是一种计算一组的平面点的凸包的算法，时间复杂度为
O
{\displaystyle O}
。以在1972年发表该算法的葛立恒命名。
拉姆齐理论得名自英国数学家兼哲学家弗兰克·普伦普顿·拉姆齐，是数学的一支，在大而无迭序的结构中寻找必然出现的有迭序的子结构。拉姆齐理论研究的典型问题形如：“某某结构要何等大，才能保证具有某某性质？”更具体而言，葛立恒称拉姆齐理论为“组合数学的分支”。
拉姆齐理论得名自英国数学家兼哲学家弗兰克·普伦普顿·拉姆齐，是数学的一支，在大而无迭序的结构中寻找必然出现的有迭序的子结构。拉姆齐理论研究的典型问题形如：“某某结构要何等大，才能保证具有某某性质？”更具体而言，葛立恒称拉姆齐理论为“组合数学的分支”。
《具体数学：计算机科学中的一块基石》，简称《具体数学》，是由葛立恒、高德纳及欧伦·帕塔许尼克共同编著的一本被许多资讯科系广泛使用的数学教科书。此书讲解了许多计算机科学中用到的数学知识及技巧，并特别着墨于算法分析方面。
《具体数学：计算机科学中的一块基石》，简称《具体数学》，是由葛立恒、高德纳及欧伦·帕塔许尼克共同编著的一本被许多资讯科系广泛使用的数学教科书。此书讲解了许多计算机科学中用到的数学知识及技巧，并特别着墨于算法分析方面。
Mini wiki
