[论文解读] Explicit solution of a tropical optimization problem with application to project scheduling

Nikolai Krivulin|arXiv (Cornell University)|Mar 21, 2013

Polynomial and algebraic computation参考文献 26被引用 6

一句话总结

本文提出了一类多维热带优化问题的显式解法，该问题涉及在幂等半域中通过共轭转置定义的非线性目标函数。主要贡献是利用紧致下界和矩阵代数推导出的紧凑向量形式解，该解法被应用于求解具有优先级和开始时间约束的准时项目调度问题，从而得到最小跨度半范数的最优调度方案。

ABSTRACT

A new multidimensional optimization problem is considered in the tropical mathematics setting. The problem is to minimize a nonlinear function defined on a finite-dimensional semimodule over an idempotent semifield and given by a conjugate transposition operator. A special case of the problem, which arises in just-in-time scheduling, serves as a motivation for the study. To solve the general problem, we derive a sharp lower bound for the objective function and then find vectors that yield the bound. Under general conditions, an explicit solution is obtained in a compact vector form. This result is applied to provide new solutions for scheduling problems under consideration. To illustrate, numerical examples are also presented.

研究动机与目标

• 开发一种在幂等半域中具有涉及共轭转置的非线性目标函数的热带优化问题的一般解法框架。
• 解决在准时约束下的项目调度问题，目标是最小化完成时间的跨度半范数。
• 通过引入先前工作中未考虑的额外开始-开始优先级约束，扩展现有解法。
• 提供一种直接且显式的紧凑向量形式解，适用于理论分析和实际实现。
• 通过数值示例展示该解法在实际调度问题中的应用。

提出的方法

• 使用幂等半域中的线性向量等式和不等式重新表述问题，以表示优先级约束。
• 将作为跨度半范数定义的非线性目标函数，以涉及共轭转置的向量形式表达。
• 利用半域性质和矩阵求逆，推导出目标函数的紧致下界。
• 通过识别达到该下界的向量，构建解，从而以载体半域表示的显式解形式呈现。
• 该方法利用先前在热带代数中求解线性不等式的研究成果，将约束问题转化为无约束问题。
• 最终解以包含矩阵乘积和逆运算的紧凑向量形式表达，在一般条件下成立。

实验结果

研究问题

• RQ1 如何在幂等半域设定下，显式求解具有非线性目标函数的通用热带优化问题？
• RQ2 当目标是最小化线性约束下的跨度半范数时，解的结构是什么？
• RQ3 如何在不损失解析可处理性的前提下，将额外的开始时间约束整合进热带项目调度问题？
• RQ4 在何种条件下可保证存在紧凑的显式向量形式解？
• RQ5 与现有间接或算法型解法相比，该方法在调度问题求解中有哪些改进？

主要发现

• 跨度半范数的最小值为 $\Delta = (\bm{C}\bm{D}^\ast(\mathbb{1}^T\bm{C}\bm{D}^\ast)^{-})^{-}\mathbb{1}$，该值在特定类别的解中实现。
• 最优解向量为 $\bm{x} = \alpha\bm{D}^\ast(\mathbb{1}^T\bm{C}\bm{D}^\ast)^{-}$ 和 $\bm{y} = \alpha\bm{C}\bm{D}^\ast(\mathbb{1}^T\bm{C}\bm{D}^\ast)^{-}$，其中任意 $\alpha > \mathbb{0}$，表明具有尺度不变性。
• 在无开始-开始约束的特殊情况下，最小跨度半范数为 $\Delta = 0$，表示存在共同完成时间的准时调度。
• 当引入开始-开始约束时，跨度半范数增加至 $\Delta = 2$，反映出时间限制对调度灵活性的影响。
• 该解法成功处理了等式和不等式约束，提供了一种直接的解析解，而以往方法则依赖迭代或计算方法。
• 数值示例验证了该方法的有效性：当给定 $\bm{C}$ 和 $\bm{D}$ 时，最优 $\Delta = 2$ 在 $\bm{x} = \alpha(-4, -3, -5)^T$，$\bm{y} = \alpha(0, 0, -2)^T$ 处实现。