|
This article is cited in 4 scientific papers (total in 4 papers)
Monotone dualization problem and its generalizations: asymptotic estimates of the number of solutions
E. V. Djukova, Yu. I. Zhuravlev Dorodnicyn Computing Center, Federal Research Center “Computer Science and Control”, Russian Academy of Sciences, Moscow, Russia
Abstract:
Issues related to the construction of efficient algorithms for intractable discrete problems are studied. Enumeration problems are considered. Their intractability has two aspects — exponential growth of the number of their solutions with increasing problem size and the complexity of finding (enumerating) these solutions. The basic enumeration problem is the dualization of a monotone conjunctive normal form or the equivalent problem of finding irreducible coverings of Boolean matrices. For the latter problem and its generalization for the case of integer matrices, asymptotics for the typical number of solutions are obtained. These estimates are required, in particular, to prove the existence of asymptotically optimal algorithms for monotone dualization and its generalizations.
Key words:
intractable discrete problem, dualization of monotone conjunctive normal form, irreducible covering of Boolean matrix, irredundant covering of integer matrix, asymptotically optimal algorithm.
Citation:
E. V. Djukova, Yu. I. Zhuravlev, “Monotone dualization problem and its generalizations: asymptotic estimates of the number of solutions”, Zh. Vychisl. Mat. Mat. Fiz., 58:12 (2018), 2153–2168; Comput. Math. Math. Phys., 58:12 (2018), 2064–2077
Linking options:
https://www.mathnet.ru/eng/zvmmf10811 https://www.mathnet.ru/eng/zvmmf/v58/i12/p2153
|
|