作者: Stephen H. Unger
关键词: Network analysis 、 Algorithm 、 Computer errors 、 Computer science 、 Reduction (complexity) 、 Heuristic 、 Simple (abstract algebra) 、 Arithmetic 、 Flow (mathematics) 、 Closed set 、 Table (database)
摘要: Three results are presented pertinent to the problem of finding minimum-row versions incompletely specified flow tables for sequential or iterative circuits. 1) Conditions precisely stated under which preliminary mergers can be made without danger ruining opportunities ultimately a minimal-row version. 2) A theorem by McCluskey is generalized show that all if optional entries arise only due restrictions as input states may immediately follow one another, then reduction relatively simple. 3) useful heuristic in form diagram illustrating implication relations 2-member compatibles introduced an aid minimal closed sets compatibles.