返回
ESOP Expression Minimization for Multi-Valued Functions Using Nonlinear Integer Programming
DOI:10.3390/math14101582.png)
摘要
En 中文
多值输入、多输出二进制以及某些类型多值输出函数(MVESOP)的异或积之和(ESOP)表达式最小化问题,本文通过一种新颖的非线性整数规划方法进行研究。所提出的方法适用于完全指定和不完全指定的函数,并具有提供全局最优解的能力。一个关键的通用变换将MVESOP最小化问题从代数域转换为经典代数域,形成一个非线性整数规划问题。值得注意的是,对于不完全指定函数的挑战性案例,经过此映射后问题显著简化。提供了多个说明性、分析和数值示例,以展示该方法的实现和性能。
Keyword:
Boolean functions
exclusive-OR operation
multi-valued logic
nonlinear integer programming
exact minimization
incompletely specified functions
期刊
IF:
2.2
论文数:
3.1K
被引数:
3.6W
机构
引用论文
A Nonlinear Integer Programming Approach for the Minimization of Boolean Expressions布尔表达式最小化的非线性整数规划方法
Genetic algorithm for minimisation of fixed polarity Reed-Muller expressions固定极性Reed-Muller表达式最小化的遗传算法

