问题
记 f(n) = n 元半群的同构类个数。Kleitman–Rothschild–Spencer（1976）给出对数级答案：log₂ f(n) = n²/4 + o(n²)（«绝大多数半群» 的对数密度集中在 «两层结构»）。更高精度的主项（f(n) 本身的渐近常数与次项）无猜想；计算机枚举（Distler 等，GAP Semigroups 库）已到 n = 10（阶 9 约 5.99 亿个半群），每进一阶都是工程壮举（32 号）。本条目给出 «两层» 下界构造的可证明核心、对数渐近的口径、以及与群计数的稀疏对照。
主要概念
对数渐近与两层结构
KRS 的证明是 «上下界合拢»：下界用 «双带» 构造（把 n 个元素分成两层，层内 «带» 式乘法、层间 «投影» 式乘法，中间层的 «交叉表» 携带约 n²/4 个自由布尔参数——每套参数给一个半群，互不同构）；上界用 «绝大多数半群必有两层结构» 的结构论证（非两层结构的半群在对数标度下可忽略）。 «两层» 直觉：结合律的最松约束恰在 «理想层叠» 处——这与 02/06 号 «数值半群的层结构»、 «Sément 树» 的精神遥相呼应，但技术完全不同。
群的稀疏对照
群计数（Pyber 1993）：阶 ≤ n 的群个数 = n(4/27+o(1)) log²n——比半群的 2Θ(n²) 稀疏天文数字倍。 «绝大多数半群远非群» 在计数标度下是定理； «渐近常数的求取» 则是 «枚举树的极限分析»，两种规模（n = 10 的精确枚举 vs n → ∞ 的渐近）之间没有桥。
主要命题与证明
命题 1（双带构造与线性下界；完整证明） 设 L, R 不交、|L| = |R| = m，0 ∉ L∪R，S = L⊔R⊔{0}。定义乘法：l·l′ = l′（L 上左零带）、r·r′ = r（R 上右零带）、L·R = R·L = 0、一切含 0 的积 = 0。则 S 是半群；不同 m 给不同构的半群，得 f(2m+1) ≥ m。
证明 结合律逐情形验证：三个全在 L（左零带）：(l1l2)l3 = l2l3 = l3 = l1(l2l3) ✓；全在 R（右零带）：(r1r2)r3 = r1r3 = r1 = r1(r2r3) ✓；任意混合情形：积中一旦出现 «跨带» 或含 0 的因子，结果为 0，且两种括号方式同得 0（逐对检查 L·R、R·L、含 0 的全部组合）✓。m 不同 ⟹ 阶不同 ⟹ 不同构。□
命题 2（KRS 对数渐近与指数下界机制，1976；文献口径陈述） log₂ f(n) = n²/4 + o(n²)。下界的构造机制：两层半群 «A ⊔ B ⊔ 锚»，层内 «带» 结构固定，A×B 的 «交叉表» 由约 n²/4 个独立布尔参数给定（每套参数定义一个 «局部带» 型半群，结合律由 «层间投影» 的单向性保证），不同参数给非同构半群；上界证明 «非两层» 半群在对数标度下稀疏。精确的下界构造与上界论证见原文。
现状说明 对数渐近到 «主项» 之间的空隙：次项的阶（n3/2？n log n？）、渐近常数的存在性与值、以及 «独异点» 与 «群» 版本的对应渐近，全部开放。枚举侧（32 号）的数据（n ≤ 10）与渐近公式在 «小 n» 的偏差巨大—— «两层结构» 在小 n 时还不是主导。□
命题 3（群计数的稀疏性，Pyber 1993；陈述） 阶 ≤ n 的群同构类个数 = n(4/27+o(1)) log²n。特别地群在半群中的 «计数密度» 趋于 0 的速度是超指数的—— «半群的渐近理论» 与 «群的渐近理论»（Higman 的 PORC、p-群计数）是两套不同的数学。
现状说明 Pyber 定理的机制（ «群的 «几乎单» 分解 + p-群的 Higman 计数»）对半群不可用（半群没有 Jordan–Hölder）；«半群的主项» 若要求 «结构定理式» 的证明，需要先解决 «绝大多数半群的两层结构» 的精化——这是计数与结构论的联合难题。□
进展与文献
Kleitman–Rothschild–Spencer《The number of semigroups of order n》（1976）；Pyber《Enumerating finite groups of given order》（1993）；Distler–Kelsey 等的 GAP 枚举系列（2009–2018）；Satokangas 与 Small 半群库。开放核心：主项渐近（常数与次项）；独异点、群、逆半群的对应计数渐近；枚举（32 号）与渐近的 «桥»。