问题
数值半群的 type 是伪 Frobenius 数集合 P(S) = {x 间隙 : x+s ∈ S 对一切非零元素 s} 的基数。type 1 恰是对称半群（01 号）；type 2 的半群称准对称（almost symmetric），Barucci 的理论给出其丰富对称结构；type ≥ 3 的半群则 «野性» 依旧。基本问题：type 与亏格 g、跨度、Wilf 函数等不变量的完整关系谱——给定亏格与 type 的半群个数没有公式；type 的极值（最大 type）只对部分亏格知道；type 与对称性的 «距离» 如何量化是准对称理论的中心。
主要概念
伪 Frobenius 数与 type
P(S) 是 «从任何元素出发都回到半群» 的间隙：它们是半群 «间隙图» 的汇点。04 号命题 2 的对偶引理（x ∈ P ⟹ c−1−x ∈ {0}∪间隙）给出 type 的初步约束。F ∈ P(S) 恒成立（F+s ≥ c ⟹ 属于 S），故 type ≥ 1，对称 ⟺ P(S) = {F}（这是 Kunz 对称刻画的组合面）。
Barucci 的准对称结构
Barucci（1997）证明：type 2 的半群有 «拟对称» 的镜像结构——gap 集在对合 x ↦ F−x 下几乎交换，只在 «一对» 位置失配；并给出 type 2 半群的参数化（通过 «近似对称» 的 Kunz 坐标条件）。由此 type 2 的计数是多项式级（Zhai 的结果覆盖对称与拟对称，02 号命题 3），与 type ≥ 3 的 «计数荒漠» 形成鲜明对比。
主要命题与证明
命题 1（type 的 Apéry 计算；完整证明） 设 Ap = Ap(S,a) 为 Apéry 集（a ∈ S 与 conductor 互素不必，取互素即可）。则：x ∈ P(S) ⟺ x + w ∈ S 对 Apéry 集中一切非零 w 成立。特别地 type 可由 Apéry 集直接计算。
证明 （⟸ 方向：验证范围小者为弱条件，平凡。）关键方向（⟹）：设 x + w ∈ S 对一切非零 Apéry 元 w，任取非零元素 s。由 Apéry 集定义，s 所在余类的 Apéry 元 w 满足 s − w 是 a 的非负倍数（Apéry 元是该类最小元素），即 s = w + ta。于是 x + s = (x + w) + ta ∈ S（半群封闭性）。故 x ∈ P(S)。计算面：x ∈ P ⟹ x 是间隙 ⟹ x < max Ap（max Ap + 1 及以上皆属于 S，03 号命题 1），故 type ≤ (max Ap 候选间隙数)，可用 Apéry 集穷举计算。□
命题 2（Barucci 准对称定理，1997；陈述） 数值半群 type ≤ 2 ⟺ S 对称或 «近似对称»（对合 x ↦ F−x 在 gap 集上恰有一处失配）。近似对称半群有通过 Kunz 坐标的显式参数化，其亏格 g 半群个数为 g 的多项式级。
梗概 type 2 ⟹ P(S) = {F, x₀}。对偶引理（04 号）把 x₀ 映到间隙或零；对 F 映到 0。由此唯一失配位置确定，逐条验证 gap 集在对合下的 «交换除一处» 性质即得近似对称性；反方向的参数化用 Kunz 坐标（06 号框架）把失配条件写成线性不等式组。□
命题 3（无约束极值的完整刻画：最大 type = 亏格；完整证明） P(S) ⊆ 间隙集给出 type ≤ g；且对每个 g ≥ 1，直尾半群 S = [g+1,∞)∪{0} 满足 type = g。故无约束下最大 type = g，由直尾半群达到（其嵌入维数 e = g+1，与文献结论 «type ≤ e−1 且可达» 一致）。
证明 上界平凡：P(S) 由间隙组成。可达性：S = [g+1,∞)∪{0} 的间隙集为 [1,g]。任取间隙 x ∈ [1,g] 与非零元素 s：非零元素 ≥ g+1，故 x+s ≥ g+2 > g，属于 S。故 P(S) = [1,g]，type = g。极小生成集为 [g+1, 2g+1]（该区间内每个数都不可分解：两个元素之和 ≥ 2g+2），嵌入维数 e = g+1，type = e−1。□
进展与文献
Barucci 关于 type 二与近似对称半群的系列工作（1990 年代）；Frisch、Rosales–García-Sánchez 教科书相应章节；Zhai 的拟对称计数（2013）。开放核心：固定嵌入维数或重数下最大 type 的极值（无约束时最大 type = g 已由命题 3 解决，约束版的谱仍开）；固定亏格与 type 的半群计数公式；type 与 Wilf 函数的耦合不等式；type ≥ 3 的计数下界（准对称是多项式级，type 3 是否仍稀疏？）。