TopoCompile：具有精确全局计数约束的分子生成

TopoCompile结合自回归组件树生成器与动态规划编译器，在固定组件词表和连接规则内精确满足受支持的整数计数约束。其推理时检查无需重训练即可适配不同目标；4个基准中，Common和Rare四计数目标组的Exact-valid产出率均为100%，Rare目标上最强基线不高于44.9%。无条件生成时，该方法在全部4个数据集上的有效性或V.U.N.指标均居比较方法首位。