Computing the $D$-base and $D$-relation in finite closure systems
Abstract
Implicational bases (IBs) are a common representation of finite closure systems and lattices, along with meet-irreducible elements. They appear in a wide variety of fields ranging from logic and databases to Knowledge Space Theory. Different IBs can represent the same closure system. Therefore, several IBs have been studied, such as the canonical and canonical direct bases. In this paper, we investigate the -base, a refinement of the canonical direct base. It is connected with the -relation, an essential tool in the study of free lattices. The -base demonstrates desirable algorithmic properties, and together with the -relation, it conveys essential properties of the underlying closure system. Hence, computing the -base and the -relation of a closure system from another representation is crucial to enjoy its benefits. However, complexity results for this task are lacking. In this paper, we give algorithms and hardness results for the computation of the -base and -relation. Specifically, we establish the -completeness of finding the -relation from an arbitrary IB; we give an output-quasi-polynomial time algorithm to compute the -base from meet-irreducible elements; and we obtain a polynomial-delay algorithm computing the -base from an arbitrary IB. These results complete the picture regarding the complexity of identifying the -base and -relation of a closure system.
Cite
@article{arxiv.2404.07037,
title = {Computing the $D$-base and $D$-relation in finite closure systems},
author = {Kira Adaricheva and Lhouari Nourine and Simon Vilmin},
journal= {arXiv preprint arXiv:2404.07037},
year = {2025}
}
Comments
28 pages (with appendices), 11 figures, added a proof for Lemma 6