Daykin-Frankl猜想的证明
Confirmation of the Daykin-Frankl Conjecture
首次发表
浏览论文内容
中文总结 AI 辅助
本文验证并公布了由LLM生成的证明，证实了1983年Daykin和Frankl提出的关于Qₙ凸子集包含特定数量两两不可比元素的猜想。
中文摘要 AI 辅助
1983年，Daykin和Frankl提出猜想：若P是Qₙ的凸子集，则其至少包含|P|·C(n,⌊n/2⌋)·2⁻ⁿ个两两不可比元素。我们验证并公布了一个由LLM生成的该猜想的证明。
英文摘要
In 1983, Daykin and Frankl conjectured that if $P$ is a convex subset of $Q_n$, then it contains at least $|P|\binom{n}{\lfloor n/2\rfloor}2^{-n}$ pairwise incomparable elements. We verify and communicate an LLM-generated proof of this conjecture.
