Matches in SemOpenAlex for { <https://semopenalex.org/work/W3085082021> ?p ?o ?g. }
- W3085082021 abstract "A modular semilattice is a semilattice generalization of a modular lattice. We establish a Birkhoff-type representation theorem for modular semilattices, which says that every modular semilattice is isomorphic to the family of ideals in a certain poset with additional relations. This new poset structure, which we axiomatize in this paper, is called a PPIP (projective poset with inconsistent pairs). A PPIP is a common generalization of a PIP (poset with inconsistent pairs) and a projective ordered space. The former was introduced by Barthelemy and Constantin for establishing Birkhoff-type theorem for median semilattices, and the latter by Herrmann, Pickering, and Roddy for modular lattices. We show the Θ(n) representation complexity and a construction algorithm for PPIP-representations of (∧,∨)-closed sets in the product Ln of modular semilattice L. This generalizes the results of Hirai and Oki for a special median semilattice Sk. We also investigate implicational bases for modular semilattices. Extending earlier results of Wild and Herrmann for modular lattices, we determine optimal implicational bases and develop a polynomial time recognition algorithm for modular semilattices. These results can be applied to retain the minimizer set of a submodular function on a modular semilattice." @default.
- W3085082021 created "2020-09-21" @default.
- W3085082021 creator A5047148891 @default.
- W3085082021 creator A5090989020 @default.
- W3085082021 date "2020-09-10" @default.
- W3085082021 modified "2023-10-03" @default.
- W3085082021 title "A Compact Representation for Modular Semilattices and Its Applications" @default.
- W3085082021 cites W147723608 @default.
- W3085082021 cites W1646601689 @default.
- W3085082021 cites W1866396423 @default.
- W3085082021 cites W1873174914 @default.
- W3085082021 cites W1877564947 @default.
- W3085082021 cites W1930126570 @default.
- W3085082021 cites W1964957373 @default.
- W3085082021 cites W1978292808 @default.
- W3085082021 cites W1988089083 @default.
- W3085082021 cites W1991052229 @default.
- W3085082021 cites W2011215073 @default.
- W3085082021 cites W2012644520 @default.
- W3085082021 cites W2025581723 @default.
- W3085082021 cites W2050835751 @default.
- W3085082021 cites W2053552665 @default.
- W3085082021 cites W2062185175 @default.
- W3085082021 cites W2072284346 @default.
- W3085082021 cites W2082363232 @default.
- W3085082021 cites W2480301421 @default.
- W3085082021 cites W2730131851 @default.
- W3085082021 cites W2950298732 @default.
- W3085082021 cites W2962787199 @default.
- W3085082021 cites W2962817959 @default.
- W3085082021 cites W2963955169 @default.
- W3085082021 cites W2964051254 @default.
- W3085082021 cites W4233363601 @default.
- W3085082021 cites W43919218 @default.
- W3085082021 doi "https://doi.org/10.1007/s11083-019-09516-0" @default.
- W3085082021 hasPublicationYear "2020" @default.
- W3085082021 type Work @default.
- W3085082021 sameAs 3085082021 @default.
- W3085082021 citedByCount "3" @default.
- W3085082021 countsByYear W30850820212021 @default.
- W3085082021 crossrefType "journal-article" @default.
- W3085082021 hasAuthorship W3085082021A5047148891 @default.
- W3085082021 hasAuthorship W3085082021A5090989020 @default.
- W3085082021 hasBestOaLocation W30850820212 @default.
- W3085082021 hasConcept C101468663 @default.
- W3085082021 hasConcept C111919701 @default.
- W3085082021 hasConcept C114614502 @default.
- W3085082021 hasConcept C11821877 @default.
- W3085082021 hasConcept C118615104 @default.
- W3085082021 hasConcept C132170107 @default.
- W3085082021 hasConcept C134306372 @default.
- W3085082021 hasConcept C136119220 @default.
- W3085082021 hasConcept C177148314 @default.
- W3085082021 hasConcept C17744445 @default.
- W3085082021 hasConcept C180645754 @default.
- W3085082021 hasConcept C192606457 @default.
- W3085082021 hasConcept C199539241 @default.
- W3085082021 hasConcept C202444582 @default.
- W3085082021 hasConcept C207405024 @default.
- W3085082021 hasConcept C2776230367 @default.
- W3085082021 hasConcept C2776359362 @default.
- W3085082021 hasConcept C33923547 @default.
- W3085082021 hasConcept C41008148 @default.
- W3085082021 hasConcept C94625758 @default.
- W3085082021 hasConceptScore W3085082021C101468663 @default.
- W3085082021 hasConceptScore W3085082021C111919701 @default.
- W3085082021 hasConceptScore W3085082021C114614502 @default.
- W3085082021 hasConceptScore W3085082021C11821877 @default.
- W3085082021 hasConceptScore W3085082021C118615104 @default.
- W3085082021 hasConceptScore W3085082021C132170107 @default.
- W3085082021 hasConceptScore W3085082021C134306372 @default.
- W3085082021 hasConceptScore W3085082021C136119220 @default.
- W3085082021 hasConceptScore W3085082021C177148314 @default.
- W3085082021 hasConceptScore W3085082021C17744445 @default.
- W3085082021 hasConceptScore W3085082021C180645754 @default.
- W3085082021 hasConceptScore W3085082021C192606457 @default.
- W3085082021 hasConceptScore W3085082021C199539241 @default.
- W3085082021 hasConceptScore W3085082021C202444582 @default.
- W3085082021 hasConceptScore W3085082021C207405024 @default.
- W3085082021 hasConceptScore W3085082021C2776230367 @default.
- W3085082021 hasConceptScore W3085082021C2776359362 @default.
- W3085082021 hasConceptScore W3085082021C33923547 @default.
- W3085082021 hasConceptScore W3085082021C41008148 @default.
- W3085082021 hasConceptScore W3085082021C94625758 @default.
- W3085082021 hasLocation W30850820211 @default.
- W3085082021 hasLocation W30850820212 @default.
- W3085082021 hasOpenAccess W3085082021 @default.
- W3085082021 hasPrimaryLocation W30850820211 @default.
- W3085082021 hasRelatedWork W1124433 @default.
- W3085082021 hasRelatedWork W17345652 @default.
- W3085082021 hasRelatedWork W22815086 @default.
- W3085082021 hasRelatedWork W26303559 @default.
- W3085082021 hasRelatedWork W31834033 @default.
- W3085082021 hasRelatedWork W43802169 @default.
- W3085082021 hasRelatedWork W49321615 @default.
- W3085082021 hasRelatedWork W51483433 @default.
- W3085082021 hasRelatedWork W53714074 @default.
- W3085082021 hasRelatedWork W54749761 @default.
- W3085082021 isParatext "false" @default.
- W3085082021 isRetracted "false" @default.