Minimum Implicational Basis for -Semidistributive Lattices - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier
Article Dans Une Revue Information Processing Letters Année : 2006

Minimum Implicational Basis for -Semidistributive Lattices

Résumé

For a ∧-semidistributive lattice L, we study some particular implicational systems and show that the cardinality of a minimum implicational basis is polynomial in the size of join-irreducible elements of the lattice L. We also provide a polynomial time algorithm to compute a minimum implicational basis for L.

Domaines

Autre Mathématique discrète [cs.DM] Algorithme et structure de données [cs.DS]
Fichier principal
Vignette du fichier
pja_document_article.pdf (144.21 Ko) Télécharger le fichier

Martine Peridier  : Connectez-vous pour contacter le contributeur

https://hal-lirmm.ccsd.cnrs.fr/lirmm-00101743

Soumis le : jeudi 28 septembre 2006-09:54:58

Dernière modification le : mardi 18 avril 2023-10:00:05

Archivage à long terme le : lundi 5 avril 2010-23:56:00

Télécharger pour visualiser

Dates et versions

lirmm-00101743 , version 1 (28-09-2006)

Identifiants

Citer

Philippe Janssen, Lhouari Nourine. Minimum Implicational Basis for -Semidistributive Lattices. Information Processing Letters, 2006, 99 (5), pp.199-202. ⟨10.1016/j.ipl.2006.04.004⟩. ⟨lirmm-00101743⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

PRES_CLERMONT CNRS LIMOS ALGCO LIRMM TDS-MACS MIPS UNIV-MONTPELLIER CLERMONT-AUVERGNE-INP
555 Consultations
293 Téléchargements

Altmetric

Partager

More