32、戈莫里 - 约翰逊模型及拓展中的割生成函数软件

戈莫里 - 约翰逊模型及拓展中的割生成函数软件

1. 引言

在实数域上的线性不等式理论中，有这样一个问题：给定一个（有限）系统 (Ax \leq b)，究竟哪些线性不等式 (\langle a, x\rangle \leq \beta) 是有效的，即对于满足给定系统的每个 (x) 都成立？答案由法卡斯引理给出，或者等价地，由线性优化的强对偶理论给出。该对偶理论具有对称性，线性优化问题的对偶仍是线性优化问题，对偶的对偶则是原（原始）优化问题。

然而，当所有或部分变量被限制为整数时，问题就变得困难许多。这里关于有效线性不等式的理论被称为割平面理论。在过去的 60 年里，针对这一主题开展了大量研究，其中大部分涉及特定问题族的整数包的多面体组合学。一般理论再次等价于整数线性优化问题的对偶理论。不过，这里的对偶对象不是线性的，而是超加性（或次加性）泛函，这使得该理论的一般形式是无限维的，尽管原始问题最初只有有限个变量。

这些超加性（或次加性）泛函在整数线性优化中有多种具体形式，例如对偶可行函数、超加性提升函数和割生成函数。本文将介绍用于经典 1 行戈莫里 - 约翰逊模型中割生成函数的软件。在该理论中，主要对象是所谓的最小有效函数，即 (Z) 周期、次加性函数 (\pi: R \to R^+)，满足 (\pi(0) = 0)，(\pi(f) = 1)，且对于所有 (x \in R) 满足对称条件 (\pi(x) + \pi(f - x) = 1)（这里 (f) 是一个固定数）。

该软件是一个能在该领域进行数学探索和研究的工具，也可用于教育场景，实现基于割生成函数的现代割平面理论的实践教学，还能消除手写证明中繁琐的案例分析的局限性。软件的第一个版本由 C. Y. Hong