Title : 
A Local Selection Algorithm for Switching Function Minimization
         
        
            Author : 
Caruso, Giuseppe
         
        
            Author_Institution : 
Istituto di Elettrotecnica ed Elettronica, UniversitÃ\xa0 di Palermo, Palermo, Italy.
         
        
        
        
        
        
            Abstract : 
The minimization algorithms which do not require any preliminary generation of all the prime implicants (PI´s) of a function are the most efficient. In this work a new algorithm is described which follows such an approach. It is based on a local selection of PI´s carried out by examining a set of vertices whose number is never greater than the number of PI´s of a minimum cost cover. This algorithm takes advantage of a technique which uses numerical equivalents of the function vertices as pointers. For this reason it is well suited for implementation by computer. To illustrate the features of this algorithm a few examples are reported.
         
        
            Keywords : 
Computational complexity; Cost function; High level languages; Logic programming; Minimization methods; Testing; Tree data structures; Tree graphs; Graph covers; irredundant sets; minimization; singular vertices; tree-graphs;
         
        
        
            Journal_Title : 
Computers, IEEE Transactions on
         
        
        
        
        
            DOI : 
10.1109/TC.1984.5009316