Symmetric Minimal Covering Problem and Minimal PLA's with Symmetric Variables
- 1 June 1985
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Computers
- Vol. C-34 (6), 523-541
- https://doi.org/10.1109/tc.1985.5009404
Abstract
This paper first discusses the symmetric property of the minimal covering problem in terms of group theory and then the use of this property in the branch-and-bound method for solving the problem. Computational results on solving sample problems are shown to demonstrate the improvement of computational efficiency of the branch-and-bound method by the utilization of the symmetric property. The sample problems contain the minimal sum derivation of symmetric switching functions, as an application to the design of minimal programmable logic arrays (PLA's). It is shown that when the minimal covering problem derived for the given switching function has symmetric permutations, the given switching function may not be symmetric; although when the given switching function is symmetric, the minimum covering problem obtained from the function is symmetric. The branch-and-bound method based on the symmetric property can be applied not only to symmetric switching functions but also to switching functions which are not symmetric, if the corresponding minimal covering problems have symmetric permutations. The method can be also applied to minimal covering problems which arise outside the minimal sum derivation problems for switching functions.Keywords
This publication has 6 references indexed in Scilit:
- Minimal covering problem and PLA minimizationInternational Journal of Parallel Programming, 1985
- The Concept of Term Exclusiveness and Its Effect on the Theory of Boolean FunctionsJournal of the ACM, 1975
- An Improved Implicit Enumeration Approach for Integer ProgrammingOperations Research, 1969
- Generalization of Consensus Theory and Application to the Minimization of Boolean FunctionsIEEE Transactions on Electronic Computers, 1967
- An Additive Algorithm for Solving Linear Programs with Zero-One VariablesOperations Research, 1965
- An application of linear programming to the minimization of Boolean functionsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1961