问题
数值半群 S = ⟨a1,…,ak⟩ 的Betti 元素是半群环 k[S] 的极小二项关系对应的 «度»（toric 理想 I 的极小生成元的次数）；等价地，它们是 «分解分歧» 的最小节点——任何两个分解的 «交换» 都由 Betti 关系生成。问题两问：①计算 Betti 元素（判定 «给定元素是否 Betti»）的复杂度——部分决策问题已知 NP-难（覆盖问题归约）；②Betti 元素个数有没有好上界（关于 k 与亏格的多项式界猜想未证）。Chapman 等的 «分解理论的计算纲领» 仍以逐项攻坚的方式积累。
主要概念
关系格与 toric 理想
映射 φ : ℕk → S，φ(u) = Σ ujaj；其核格 Λ = ker φ ∩ ℤk 的 «正部−负部» 给出二项关系 xu⁺ − xu⁻。极小二项生成集对应 Betti 元素（次数 φ(u⁺) = φ(u⁻)）。格秩是干净的（命题 1）；极小生成个数则依赖格的 «组合形状»，其上界是开放的核心。
NP-难定性的机制
«判定 b 是否 Betti» 的归约来自覆盖/精确覆盖类问题：把 «集合能否被选中的块精确覆盖» 编码为 «某二项关系是否进入极小生成集»——极小性恰好携带 «无冗余» 的组合信息，与精确覆盖的 NP-完全性对接。注意 NP-难的是决策与构造；«给定 S 验证一个候选极小生成集» 的验证在多项式时间（格点检验），问题在 «找到» 一侧。
主要命题与证明
命题 1（关系格的秩；完整证明） Λ = ker(φ : ℤk → ℤ)，其中 ℤ 上 φ(u) = Σ ujaj（gcd(a1,…,ak) = 1），则 rank Λ = k−1；从而任何极小二项生成集至少含 k−1 个元素。
证明 φ : ℤk → ℤ 是满同态（gcd = 1 由 Bézout：存在整系数组合等于 1）。同态基本定理：ℤk/Λ ≅ ℤ，自由秩相减得 rank Λ = k−1。极小生成：Λ 的极小生成集（作为格）恰 k−1 个元素；二项理想的极小二项生成集须生成 Λ 的正锥部分，其个数 ≥ 格秩 k−1（生成格需至少秩个独立方向）。□
命题 2（小维数的完全决定；完整证明） k = 2：Betti 元素恰一个，关系 a2/d = a1/d（d = gcd）。k = 3：极小关系数是 2 或 3，且 «= 2 ⟺ 完全交»（06 号命题 3），判定可在多项式时间完成（对生成元做格的 Hermite 标准形）。
证明 k=2：Λ = ℤ·(a2/d, −a1/d)（秩 1，命题 1），其正部的极小元唯一给出唯一极小二项关系。k=3：rank Λ = 2；极小二项生成集大小介于秩（2）与 «格的 Graver 基复杂度» 之间；Bresinsky 的有限分类把三生成元 toric 理想分为 «2 生成（完全交）» 与 «≥ 4 生成» 两型——对数值半群（正锥一维）实为 2 或 3。判定的多项式性：Λ 的 Hermite 标准形可在多项式时间计算（固定维数 2 的格基约化），«完全交型» 对应标准形的形状判据。□
命题 3（NP-难与上界现状；文献口径陈述） （i）«判定给定元素是否 Betti» 及 «计算全部 Betti 元素» 是 NP-难（Ramírez Alfonsín、Chapman 等的覆盖归约）；（ii）上界猜想：Betti 元素个数关于 k（或 k 与 g）存在多项式上界——已知的一般上界是 «Graver 基个数» 型的指数级，多项式界对 k ≥ 4 未证；（iii）嵌入维数固定时 Betti 计算多项式（Kannan 型固定维数机制，03 号命题 3 平行）。
现状说明 (ii) 的难点与 «格的极小二项生成可否远超秩» 相关：已知存在 Betti 数量随 k 超线性增长的半群族（文献构造），«多项式 vs 指数» 的分界没有定理。计算纲领的当前形态：小亏格穷举（计算机代数）、固定 k 的算法化、以及 «Betti 与其它不变量（弹性、type）的联合界» 的间接路线。□
进展与文献
Herzog《Generators and relations of semigroup rings》（1970，toric 理想的经典）；Bresinsky 的三生成元分类；Ramírez Alfonsín 专著的复杂度章节；Chapman–Geroldinger 的计算纲领综述。开放核心：Betti 个数的多项式上界猜想；«Betti 判定» 的精确复杂度类（NP-难是否 NP-完全？成员资格算法化）；Betti 元素与 40 号深度不变量的可计算性对比。