I. Introduction
The problem of construction of a reduct with minimum cardinality for a given decision table is one of the key problems in the rough set theory [6], [7], [8] which is closely related to granular computing [9]. It is well known that this problem is NP-hard. Based on results of Feige for the set cover problem [3], it is possible to show that, under some natural assumptions about the class N P, the approximation ratio of the best approximate polynomial algorithm for reduct optimization is near to the natural logarithm on the number of pairs of rows (objects) with different decisions in the decision table [4]. Therefore, the improvement of exact algorithms for reduct optimization continue to be an important issue.