A New Rule for Reducing CC Tables

Building on the work of Grasselli and Luccio, a new rule for reducing closure-covering (CC) tables is given and proved. Experience with the use of this new rule on actual problems with computer programs is reported. As an example of the size of problem, one 22-state four-input flow table with 261 prime compatibles and a resulting matrix for the linear integer programming problem of 504 rows and 261 columns was solved on an IBM 7094 in less than three minutes, resulting in a reduced machine with nine states.