Abstract:
New estimates are derived for the computational complexity of the problem of constructing irredundant coverings of an integer matrix (search for maximal conjunctions of a special logical function).
Key words:discrete recognition and classification procedures, irredundant covering of an integer matrix, asymptotically optimal algorithm, metric properties of a set of coverings, metric properties of disjunctive normal forms.