使用非线性整数规划对多值函数的ESOP表达式进行最小化 乔治·帕帕康斯坦丁努（George Papakonstantinou）和 康斯坦丁诺斯·G·帕帕康斯坦丁努（Konstantinos G. Papakonstantinou）

《Mathematics》：ESOP Expression Minimization for Multi-Valued Functions Using Nonlinear Integer Programming George Papakonstantinou and Konstantinos G. Papakonstantinou

　　

摘要

本文提出了一种新颖的非线性整数规划方法，用于求解多值输入、多输出二进制以及某些类型的多值输出函数（MVESOP）中的Exclusive-OR Sum-of-Products（ESOP）表达式的最小化问题。该方法既适用于完全指定函数，也适用于不完全指定函数，并且能够提供全局最优解的精确解。通过一种关键的通用转换技术，将最小化问题从MVESOP域转化为经典的代数域，从而得到一个非线性整数规划模型。值得注意的是，对于不完全指定函数这类具有挑战性的情况，经过这种转换后问题变得简化了许多。文中提供了多个示例来展示该方法的实现过程及其性能。