Title :
The Computational Complexity of a Class of Minimization Algorithms for Switching Functions
Author :
Breitbart, Y. ; Vairavan, K.
Author_Institution :
Department of Electrical Engineering and Computer Science, University of Wisconsin
Abstract :
Most minimization algorithms produce an irredundant sum of products by first generating all prime implicants of a switching function. In this note we show that such an approach can be a wasteful one for an already complex problem. Specifically we show that there are functions for which the useful prime implicants form an extremely small fraction of all prime implicants, where we define a prime implicant to be useful if there is at least one irredundant sum of products which includes it.
Keywords :
Complexity; implicants; minimization algorithms; useful prime; Algorithm design and analysis; Computational complexity; Minimization methods; Complexity; implicants; minimization algorithms; useful prime;
Journal_Title :
Computers, IEEE Transactions on
DOI :
10.1109/TC.1979.1675286