面向混合整数规划的重构对比学习
Reformulation-Contrastive Learning for Mixed Integer Programs
基于摘要分析。本文研究混合整数线性规划(MILP)的表示学习:利用保持优化问题等价的重构作为自监督信号,提出 ReMILP(reformulation-contrastive MILP representation learning),学习变量与约束的通用表示,以支持后续预测任务。 核心机制是区分两类重构:不改变变量的重新描述(re-descriptions),以及使变量按可预测方式变换的替换(substitutions)。作者刻画了对每个输入实例均有效的仿射重构,并基于等变自监督学习,联合训练图神经网络与超网络,预测变量嵌入在变量变换下应如何变化。其关键思路不是让所有等价表述得到完全相同的表示,而是根据重构类型分别约束不变性与等变性。摘要未给出具体对比损失、图编码方式或重构采样策略。 作者报告,在不使用求解器生成标签的表示训练条件下,ReMILP 在未见过的问题类别上呈现预期的不变性与等变性;在二元解预测、约束活跃性预测及整数性间隙预测中,冻结表示包含任务相关信息,也可为微调提供有效初始化。摘要未提供问题类别、数据规模、划分细节、基线或数值结果,因此尚不能据此判断收益幅度,也不能将预测任务表现直接解释为 MILP 求解加速。实验协议、消融及统计信息尚未验证。 本文主要对象是 MILP,而非 EEG 或 BCI。其自监督机制依赖可验证的等价重构及已知变量变换规律;现有材料未建立这些结构与 EEG 信号变换之间的具体对应关系,因此不据此提出 BCI 有效性结论或迁移实验建议。已有 EEG 相关工作尚未检索确认。
值得阅读的具体原因是将 MILP 等价重构中的不变性与等变性转化为无需求解器标签的自监督信号,并通过冻结表示和微调两类评估检验其任务信息;其适用边界与收益幅度仍需全文核对。
来源:OpenReview · Representation learning · openreview.net