Academic Journal
The Role of Counting Quantifiers in Laminar Set Systems
| Τίτλος: | The Role of Counting Quantifiers in Laminar Set Systems |
|---|---|
| Συγγραφείς: | Campbell, Rutger, Köhler, Noleen |
| Συνεισφορές: | Rutger Campbell and Noleen Köhler |
| Στοιχεία εκδότη: | Schloss Dagstuhl – Leibniz-Zentrum für Informatik |
| Έτος έκδοσης: | 2026 |
| Συλλογή: | DROPS - Dagstuhl Research Online Publication Server (Schloss Dagstuhl - Leibniz Center for Informatics ) |
| Θεματικοί όροι: | MSO-transductions, simulating counting quantifiers, laminar set systems, graph decompositions |
| Περιγραφή: | Laminar set systems consist of non-crossing subsets of a universe with set inclusion essentially corresponding to the descendant relationship of a tree, the so-called laminar tree. Laminar set systems lie at the core of many graph decompositions such as modular decompositions, split decompositions, and bi-join decompositions. We show that from a laminar set system we can obtain the corresponding laminar tree by means of a monadic second order logic (MSO) transduction. This resolves an open question originally asked by Courcelle and is a satisfying resolution as MSO is the natural logic for set systems and is sufficient to define the property "laminar". Using results from Campbell et al. [STACS 2025], we can now obtain transductions for obtaining modular decompositions, co-trees, split decompositions and bi-join decompositions using MSO instead of CMSO. We further gain some insight into the expressive power of counting quantifiers and provide some results towards determining when counting quantifiers can be simulated in MSO in laminar set systems and when they cannot. |
| Τύπος εγγράφου: | article in journal/newspaper conference object |
| Περιγραφή αρχείου: | application/pdf |
| Γλώσσα: | English |
| Relation: | Is Part Of LIPIcs, Volume 374, 53rd International Colloquium on Automata, Languages, and Programming (ICALP 2026); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2026.174 |
| DOI: | 10.4230/LIPIcs.ICALP.2026.174 |
| Διαθεσιμότητα: | https://doi.org/10.4230/LIPIcs.ICALP.2026.174 https://nbn-resolving.org/urn:nbn:de:0030-drops-265625 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2026.174 |
| Rights: | https://creativecommons.org/licenses/by/4.0/legalcode |
| Αριθμός Καταχώρησης: | edsbas.8256EDE1 |
| Βάση Δεδομένων: | BASE |
καταχωρήστε σχόλιο πρώτοι!