[论文解读] On Fundamental Operations for Multimodular Functions

Satoko Moriguchi, Kazuo Murota|arXiv (Cornell University)|May 11, 2018

Complexity and Algorithms in Graphs参考文献 19被引用 3

一句话总结

本文研究了在离散凸分析中的基本运算（如投影、卷积、置换和缩放）下，多模函数的稳定性。研究证明，当在连续变量集上最小化时，多模性在投影下得以保持，但在卷积下不成立——即使对于可分凸函数也是如此，这与L♮-凸函数形成了关键区别。

ABSTRACT

Multimodular functions, primarily used in the literature of queueing theory, discrete-event systems, and operations research, constitute a fundamental function class in discrete convex analysis. The objective of this paper is to clarify the properties of multimodular functions with respect to fundamental operations such as permutation and scaling of variables, projection (partial minimization) and convolution. It is shown, in particular, that the class of multimodular functions is stable under projection under a certain natural condition on the variables to be minimized, and the convolution of two multimodular functions is not necessarily multimodular, even in the special case of the convolution of a multimodular function with a separable convex function.

研究动机与目标

• 系统分析多模函数在置换、缩放、投影和卷积等基本运算下的行为。
• 澄清多模函数在动态规划与优化中核心运算下的稳定性。
• 将多模函数的闭包性质与其它离散凸函数类（尤其是L♮-凸函数）进行比较。
• 为多模函数在排队论、离散事件系统和运筹学中的应用提供全面参考。
• 通过反例和理论分析，解决关于多模函数卷积是否仍保持多模性的开放问题。

提出的方法

• 本文使用如下刻画：函数 f 是多模的，当且仅当其关联函数 g(x₀,x₁,…,xₙ) = f(x₁−x₀,…,xₙ−xₙ₋₁) 是L♮-凸的。
• 通过变量变换（如置换、符号反转和缩放）分析运算，并利用关联函数的L♮-凸性，证明在某些变换下保持不变性。
• 对于投影（部分最小化），通过L♮-凸表示的结构，证明当在连续变量块上最小化时，多模性得以保持。
• 对于卷积，构造反例表明两个多模函数的卷积——或一个多模函数与一个可分凸函数的卷积——不一定是多模的。
• 利用集合的闵可夫斯基和及其关联指示函数，通过L♮-凸性破坏来证明卷积中多模性的失效。
• 理论结果辅以显式例子，并与其它离散凸函数类的已知闭包性质进行比较。

实验结果

研究问题

• RQ1 多模函数类在投影（部分最小化）下是否封闭，其条件是什么？
• RQ2 两个多模函数的卷积是否仍为多模？
• RQ3 多模函数与可分凸函数的卷积是否能保持多模性？
• RQ4 多模函数的闭包性质与L♮-凸、M♮-凸及其他离散凸函数类相比如何？
• RQ5 变量排序与连续变量最小化在保持多模性中起什么作用？

主要发现

• 多模性在变量置换下保持不变，因为关联的L♮-凸函数在变量重排下保持不变。
• 变量缩放保持多模性，前提是缩放因子为正整数，这是由于关联L♮-凸表示的不变性。
• 当在连续变量块上最小化时，投影（部分最小化）保持多模性，如命题4.3所形式化。
• 两个多模函数的卷积不一定是多模的，反例涉及两个多模集的闵可夫斯基和，其不满足多模性。
• 即使多模函数与可分凸函数的卷积也可能不保持多模性，这与L♮-凸性的直觉相悖。
• 本文提供了完整的对比表格（表1），总结了多个离散凸函数类的闭包性质，突出了多模函数在卷积下的独特行为。