- formatting
- images
- links
- math
- code
- blockquotes
- external-services
•
•
•
•
•
•
-
Dual-Bound Search 中 LB 数值收紧与 #opt 的脱耦
在 ECAI 2025 基线 Dual-Deep / Dual-Fast 上插入 Ant-Q 后，relative gap 普遍下降 23.7%–31.2% (Deep)，但 #opt 与 #min 几乎不动。这一现象不是 bug，而来自 Dual-Bound Search 框架中 LB 与 UB 之间唯一的耦合通道：硬证明规则。
-
从代数几何到 MaxSAT 求解：研究兴趣转向的若干背景
记录一段研究兴趣的转向过程：从最初的代数几何 / Galois cohomology 偏好，到目前的组合优化与 MaxSAT 求解。这种转向并非取代关系，而是观察到 closed system 与 open system 在研究反馈结构上的不同后所做的方向调整。
-
在结构规则的 MWDS 实例上 Ant-Q 探索带来的负迁移
Ant-Q 在大多数 MWDS 实例上能改善贪心 LB 排序的质量，但在 unit disk graph 一类几何规则的实例上，引入探索反而扰动了贪心已经接近最优的序，导致 #opt 与 gap 的双重退化。本文形式化讨论这一负迁移的来源，并给出 phase-aware 关闭策略的设计。
-
DiverseSAT 作为 source problem：从 BMC 与冗余路径设计的两个归约
Diverse SAT 不是 enumeration 的另一种形式，而是若干下游应用的统一上游问题。本文从 bounded model checking 与冗余 s-t 路径设计两个例子，说明把它表述为 'k 个最大化差异的满足解' 而非 'k 个 SAT 解' 的必要性。
-
PairEF-auto 的 LP 公式拒绝一个已知公平的 allocation：Lemma 2 在 partial-access 下的过度收紧
在多资源公平分配的 meta-type 设定下，由 Lemma 2 推出的线性 EF 充分条件，会拒绝一个 DRF-MT 自身产生的 envy-free 分配。本文形式化地说明这一现象，并讨论替代的 cutting-plane 方案。