西塔潘猜想是由英国数理逻辑学家西塔潘于上个世纪90年代提出的一个反推数学领域关于拉姆齐二染色定理证明强度的猜想。拉姆齐二染色定理,在组合数学上,拉姆齐(Rams...
2024-10-29 综合百科 浏览:755