Article Dans Une Revue Theoretical Computer Science Année : 2020

Dualization in lattices given by implicational bases

Résumé

It was recently proved that the dualization in lattices given by implicational bases is impossible in output-polynomial time unless P=NP. In this paper, we show that this result holds even when the premises in the implicational base are of size at most two. Then we show using hypergraph dualization that the problem can be solved in output quasi-polynomial time whenever the implicational base has bounded independent-width, defined as the size of a maximum set of implications having independent conclusions. Lattices that share this property include distributive lattices coded by the ideals of an interval order, when both the independent-width and the size of the premises equal one.

Fichier principal
Vignette du fichier
1901.07503v5.pdf (513.43 Ko) Télécharger le fichier
Origine Fichiers éditeurs autorisés sur une archive ouverte
Licence

Dates et versions

hal-03181679 , version 1 (28-12-2024)

Licence

Identifiants

Citer

Oscar Defrain, Lhouari Nourine. Dualization in lattices given by implicational bases. Theoretical Computer Science, 2020, 814, pp.169-176. ⟨10.1016/j.tcs.2020.01.028⟩. ⟨hal-03181679⟩
96 Consultations
66 Téléchargements

Altmetric

Partager

  • More