新论文详述了二分图的精确 Zarankiewicz 数

研究人员发表了一篇论文，详述了二分图特定有限切片的精确 Zarankiewicz 数。该论文为两个切片 Z(12,n,3,3)（n 在 18 到 22 之间）和 Z(13,22,3,3）提供了计算机辅助证明。此外，它还提供了 Z(13,18,3,3)、Z(14,18,3,3)、Z(15,18,3,3)、Z(14,17,3,3) 和 Z(15,17,3,3) 的精确值，以及 Z(16,17,3,3) 的认证区间。证明结合使用了证书包、删除引理、显式证人以及模运算，所有声明均使用标准库 Python 进行了验证。 AI

排序理由 该聚类包含一篇详细介绍数学研究成果的学术论文。[lever_c_demoted from research: ic=1 ai=0.0]

在 arXiv cs.AI 阅读 →

• Python
• Z(12,n,3,3)
• Z(13,18,3,3)
• Z(13,22,3,3)
• Z(14,17,3,3)
• Z(14,18,3,3)
• Z(15,17,3,3)
• Z(15,18,3,3)
• Z(16,17,3,3)
• Zarankiewicz number
• Z(m,n,s,t)

• 论文
• 其他

AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →