求解器能否部署，取决于代数表示
空、天、地多层任务卸载会产生分配、计算和通信变量之间的乘积，三次耦合进一步形成非凸符号式或多项式规划。这篇预印本关注的是建模之后才会出现的实际障碍：一个可求解的近似形式，未必适合嵌入式代码生成器。
序贯几何规划可以通过指数锥表示来近似卸载问题，但作者指出，这超出了 CVXPYgen 等工具面向二阶锥规划（SOCP）的能力边界。也就是说，同一个模型可以在通用求解器上具有数值可行性，却仍难以转化为紧凑、可部署的求解代码。
精确结构打开嵌入式求解路径
论文给出的替代方案，是多层乘积的精确差分凸（DC）表示。作者用量词消去在实数域上认证该表示，再应用凸—凹过程。每次迭代都转化为二阶锥规划，从而消除与 SOCP 代码生成路径之间的结构不匹配。这里的“精确”指代数分解本身，并不意味着迭代式凸—凹过程总能得到全局最优解。
公开摘要把序贯几何规划和凸—凹过程与 BARON 全局求解器进行比较。两种方法在所报告实验中都获得近全局解，而凸—凹过程把平均求解时间从 0.1012 秒降到 0.0113 秒，相对文中序贯几何规划实现加速 8.9 倍。这个比例依赖测试实例与求解器设置，不能视为普遍速度关系。
对边缘优化而言，更一般的启示是：部署约束会反过来决定哪些数学表示真正有用。通过揭示一种精确结构，使迭代子问题落入受限锥族，优化方法可以更接近生成式嵌入代码，同时不必假装原始非凸性已经消失。
研究札记
Exact DC Representation of Multi-Tier Offloading Product in SAGINs via Quantifier Elimination
- 作者： Minh-Tuong Nguyen、Vo Phi Son、Dinh Thai Hoang
- 公开记录： arXiv
- 已确认内容： 量词消去认证了精确差分凸表示，凸—凹过程进一步产生可适配较窄嵌入式求解路径的二阶锥子问题。
- 阅读边界： 8.9 倍加速是特定实验设置下的平均结果；分解精确也不等于迭代过程是全局求解器。