4. 生成模型基础与选型

分子生成不是“随便挑一个生成模型”就能跑通的任务。它同时受三重约束:分子表示(SMILES、图、3D 构象)、化学有效性(价键、芳香性、可合成性)以及工程目标(多样性、可控性、采样速度、训练稳定性)。变分自编码器(VAE)、生成对抗网络(GAN)、自回归模型(AR)、扩散模型(Diffusion)和流模型(Flow)在这三重约束下的表现差异很大,选型的本质是把任务需求映射到模型的结构性能力上。

五类模型的核心机制与分子适配性

VAE 通过编码器把分子映射到连续隐空间,再由解码器重建,损失为重建项加 KL 正则。它的优势是隐空间连续、可插值、可做属性优化(在 z 空间上做梯度搜索);弱点是重建与先验之间的张力会导致解码出的 SMILES 出现语法错误,且后验坍缩会让隐变量失效。分子场景中常配合语法掩码或图解码器使用。

GAN 用生成器与判别器对抗训练,不显式建模似然。它采样快、样本“锐利”,但训练不稳定、模式坍塌严重。在分子生成中,判别器很难判断“化学合理性”,因此纯 GAN 生成的 SMILES 有效率通常偏低,更多用于骨架跃迁或与强化学习结合(如 ORGAN、MolGAN 的图版本)。

自回归模型把分子序列的概率分解为逐 token 条件概率乘积,天然适配 SMILES 的字符序列或图的节点-边序列。训练目标稳定(最大似然),似然可精确计算,采样是逐位生成。代价是采样串行、长序列误差累积,且生成顺序会引入归纳偏置。它是目前 SMILES 生成最稳的基线之一。

扩散模型定义前向加噪与反向去噪过程,在连续空间(3D 坐标、隐向量)或离散空间(图、token)上工作。它训练稳定、样本质量高、模式覆盖好,适合 3D 构象生成与口袋条件生成;缺点是采样需要几十到上千步,推理成本高,离散扩散的转移设计也更复杂。

流模型通过可逆变换建立数据与先验之间的双射,似然可精确计算,采样与编码都很快。但可逆性对分子图这种离散、变长结构不友好,连续流多用于 3D 坐标或隐空间建模,直接生成离散分子图需要耦合层与离散化设计,工程复杂度较高。

五类生成模型在分子任务中的能力坐标与选型路径 任务需求维度 表示:SMILES / 图 / 3D 有效性 & 可合成性 多样性 / 模式覆盖 条件控制(口袋/属性) 采样速度 / 推理成本 训练稳定性 似然可计算性 隐空间可优化性 长序列误差累积 VAE 变分自编码器 隐空间连续可插值 · 属性梯度优化 · 重建/先验张力 隐空间 | 有效性 | 多样性 | 采样速度 | 似然 GAN 生成对抗网络 采样快 · 样本锐利 · 训练不稳 / 模式坍塌 隐空间 | 有效性 | 多样性 | 采样速度 | 似然 AR 自回归模型 似然精确 · 训练稳定 · 串行采样 / 误差累积 隐空间 | 有效性 | 多样性 | 采样速度 | 似然 Diffusion 扩散模型 质量高 · 模式覆盖好 · 3D/条件生成强 · 采样慢 隐空间 | 有效性 | 多样性 | 采样速度 | 似然 Flow 流模型 精确似然 · 双向快速 · 离散图适配难 隐空间 | 有效性 | 多样性 | 采样速度 | 似然 典型选型结论 SMILES 基线 AR(稳定、可似然) 属性优化 VAE + 隐空间梯度 3D 构象 / 口袋条件 Diffusion 快速采样 / 骨架跃迁 GAN(需 RL 约束) 精确似然 / 密度估计 Flow(连续空间) 工程折中 AR 预训练 + Diffusion 精修 先定表示,再定模型

选型依据:从表示形式出发,而不是从模型热度出发

工程上最有效的选型顺序是“先定表示,再定模型”。如果目标是生成 SMILES 字符串,自回归模型是默认基线:它把 P(SMILES) = ∏ P(t_i | t_<i) 直接建模,训练用交叉熵,采样用温度参数控制多样性。温度 T=1.0 接近训练分布,T=0.7~0.8 更保守、有效率更高,T=1.2 多样性上升但语法错误率也上升。这个权衡在 VAE 和 GAN 上并不直观,在 AR 上却是一个可调旋钮。

如果目标是 3D 构象或口袋条件生成,扩散模型几乎是当前首选。它的前向过程 q(x_t | x_{t-1}) = N(√(1-β_t) x_{t-1}, β_t I) 把结构逐步破坏,反向网络学习去噪。对分子而言,坐标用连续扩散、原子类型用离散扩散或分类扩散,条件信息(口袋残基、药效团)通过 cross-attention 注入。代价是采样步数通常 50~1000 步,单分子生成耗时可能是 AR 的几十倍,因此适合“质量优先、批量不大”的场景。

VAE 的独特价值在隐空间优化。训练完成后,固定解码器,在 z 空间上对目标属性(如 logP、QED、对接分数)做梯度上升,可以生成“属性更好”的分子。但要注意 KL 权重 β 的调节:β 太小则隐空间不规则、插值失效;β 太大则重建变差、解码出无效 SMILES。实践中常用 β-annealing,从 0 逐步升到目标值。

GAN 和 Flow 在分子生成中更多是“特定场景工具”。GAN 适合与强化学习结合做目标导向生成,但需要奖励函数设计得当,否则模式坍塌会集中在少数高奖励骨架上。Flow 适合需要精确似然的场景(如密度估计、异常检测),但直接生成离散分子图需要处理可逆性与离散化的矛盾,工程成本高,通常只在连续隐空间或 3D 坐标上使用。

一个可执行的选型决策表

下面给出一个面向工程落地的选型参考。表中“推荐度”是相对该任务场景的适配程度,不是模型绝对优劣。

任务场景 首选模型 备选 关键理由
SMILES 无条件生成 AR VAE 似然稳定、语法可控、温度可调
属性定向优化 VAE + 隐空间梯度 AR + RL 连续隐空间可做梯度搜索
3D 构象生成 Diffusion Flow(连续) 坐标扩散质量高、条件注入灵活
口袋条件生成 Diffusion AR(序列条件) cross-attention 注入口袋信息
快速批量采样 GAN AR(并行解码) 单步生成,但需 RL 约束有效性
精确似然 / 密度估计 Flow AR 可逆变换给出精确 log-likelihood
选型时先问三个问题:分子用什么表示?需不需要条件控制?采样预算有多少?这三个答案基本能锁定 1~2 个候选模型,再用小规模实验验证有效率和多样性,而不是一开始就上最复杂的模型。

工程落地的几个关键判断点

第一,有效率优先于多样性。分子生成如果有效率低于 60%,后续对接和筛选的成本会急剧上升。AR 和 Diffusion 通常能到 90% 以上,GAN 和 VAE 需要额外约束。第二,条件控制方式决定模型选择。属性条件可以用条件 AR 或隐空间优化;结构条件(口袋、骨架)更适合 Diffusion 的 cross-attention。第三,采样成本要算总账。Diffusion 单次采样慢,但如果它一次生成的有效分子多、后续筛选少,总成本可能反而低。第四,训练稳定性影响迭代速度。GAN 调参成本高,AR 和 Diffusion 相对省心,团队工程经验不足时优先选后者。

最后,混合方案往往比单一模型更实用。例如用 AR 预训练一个 SMILES 先验,再用 Diffusion 在隐空间或 3D 坐标上做精修;或者用 VAE 学隐空间、用 Flow 做精确密度估计。选型不是选“最强模型”,而是选“与当前表示、条件、预算最匹配的模型组合”。