Glück, Roland (2021) Isolated Sublattices and Their Application to Counting Closure Operators. In: 19th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2021, 13027, pp. 192-208. Springer. 19th International Conference on Relational and Algebraic Methods in Computer Science RAMICS 2021, 2021-11-02 - 2021-11-05, Marseille, Frankreich. doi: 10.1007/978-3-030-88701-8_12. ISBN 978-3-030-88700-1.
PDF
1MB |
Official URL: https://link.springer.com/chapter/10.1007%2F978-3-030-88701-8_12
Abstract
This paper investigates the interplay between isolated sublattices and closure operators. Isolated sublattices are a special kind of sublattices which can serve to diminish the number of elements of a lattice by means of a quotient. At the same time, there are simple formulae for the relationship between the number of closure operators in the original lattice and the quotient lattice induced by isolated sublattices. This connection can be used to derive an algorithm for counting closure operators, provided the lattice contains suitable isolated sublattices.
Item URL in elib: | https://elib.dlr.de/145296/ | ||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Document Type: | Conference or Workshop Item (Speech) | ||||||||||||||||||||
Title: | Isolated Sublattices and Their Application to Counting Closure Operators | ||||||||||||||||||||
Authors: |
| ||||||||||||||||||||
Date: | 2021 | ||||||||||||||||||||
Journal or Publication Title: | 19th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2021 | ||||||||||||||||||||
Refereed publication: | Yes | ||||||||||||||||||||
Open Access: | Yes | ||||||||||||||||||||
Gold Open Access: | No | ||||||||||||||||||||
In SCOPUS: | Yes | ||||||||||||||||||||
In ISI Web of Science: | Yes | ||||||||||||||||||||
Volume: | 13027 | ||||||||||||||||||||
DOI: | 10.1007/978-3-030-88701-8_12 | ||||||||||||||||||||
Page Range: | pp. 192-208 | ||||||||||||||||||||
Editors: |
| ||||||||||||||||||||
Publisher: | Springer | ||||||||||||||||||||
Series Name: | Lecture Notes in Computer Science | ||||||||||||||||||||
ISBN: | 978-3-030-88700-1 | ||||||||||||||||||||
Status: | Published | ||||||||||||||||||||
Keywords: | Counting, Closure Operators, Isolated Sublattices, Lattice Theory | ||||||||||||||||||||
Event Title: | 19th International Conference on Relational and Algebraic Methods in Computer Science RAMICS 2021 | ||||||||||||||||||||
Event Location: | Marseille, Frankreich | ||||||||||||||||||||
Event Type: | international Conference | ||||||||||||||||||||
Event Start Date: | 2 November 2021 | ||||||||||||||||||||
Event End Date: | 5 November 2021 | ||||||||||||||||||||
HGF - Research field: | Aeronautics, Space and Transport | ||||||||||||||||||||
HGF - Program: | Space | ||||||||||||||||||||
HGF - Program Themes: | Space System Technology | ||||||||||||||||||||
DLR - Research area: | Raumfahrt | ||||||||||||||||||||
DLR - Program: | R SY - Space System Technology | ||||||||||||||||||||
DLR - Research theme (Project): | R - Project Factory of the Future | ||||||||||||||||||||
Location: | Augsburg | ||||||||||||||||||||
Institutes and Institutions: | Institute of Structures and Design > Automation and Production Technology | ||||||||||||||||||||
Deposited By: | Glück, Dr. Roland | ||||||||||||||||||||
Deposited On: | 10 Nov 2021 13:39 | ||||||||||||||||||||
Last Modified: | 24 Apr 2024 20:44 |
Repository Staff Only: item control page