Computing the D-base and D-relation in finite closure systems - Aix-Marseille Université
Pré-Publication, Document De Travail Année : 2024

Computing the D-base and D-relation in finite closure systems

Résumé

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 D-base, a refinement of the canonical direct base. It is connected with the D-relation, an essential tool in the study of free lattices. The D-base demonstrates desirable algorithmic properties, and together with the D-relation, it conveys essential properties of the underlying closure system. Hence, computing the D-base and the D-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 D-base and D-relation. Specifically, we establish the $NP$-completeness of finding the D-relation from an arbitrary IB; we give an output-quasi-polynomial time algorithm to compute the D-base from meet-irreducible elements; and we obtain a polynomial-delay algorithm computing the D-base from an arbitrary IB. These results complete the picture regarding the complexity of identifying the D-base and D-relation of a closure system.

Dates et versions

hal-04683715 , version 1 (02-09-2024)

Identifiants

Citer

Kira Adaricheva, Lhouari Nourine, Simon Vilmin. Computing the D-base and D-relation in finite closure systems. 2024. ⟨hal-04683715⟩
14 Consultations
0 Téléchargements

Altmetric

Partager

More