关于实质本源蕴涵项的识别问题
ON THE IDENTIFICATION OF ESSENTIAL PRIME IMPLICANTS
-
摘要: 本文揭示了ESPRESSO算法和Muroga等提出的求绝对最小化算法中识别实质本源蕴涵项的方法具有近似的复杂度。文中还给出了一个在产生本源蕴涵项过程中识别实质本源项的算法。Abstract: This paper reveals that the methods to identify essential prime implicants of both ESPRESSO and that proposed by S. Hong, R. Cutier and S. Muroga have the same computational complexity. A method to identify essential primes while generating prime implicants is also given.
下载: