Matches in SemOpenAlex for { <https://semopenalex.org/work/W3100265482> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W3100265482 abstract "We give an algorithm to enumerate the results on trees of monadic second-order (MSO) queries represented by nondeterministic tree automata. After linear time preprocessing (in the input tree), we can enumerate answers with linear delay (in each answer). We allow updates on the tree to take place at any time, and we can then restart the enumeration after logarithmic time in the tree. Further, all our combined complexities are polynomial in the automaton. Our result follows our previous circuit-based enumeration algorithms based on deterministic tree automata, and is also inspired by our earlier result on words and nondeterministic sequential extended variable-set automata in the context of document spanners. We extend these results and combine them with a recent tree balancing scheme by Niewerth, so that our enumeration structure supports updates to the underlying tree in logarithmic time (with leaf insertions, leaf deletions, and node relabelings). Our result implies that, for MSO queries with free first-order variables, we can enumerate the results with linear preprocessing and constant-delay and update the underlying tree in logarithmic time, which improves on several known results for words and trees. Building on lower bounds from data structure research, we also show unconditionally that up to a doubly logarithmic factor the update time of our algorithm is optimal. Thus, unlike other settings, there can be no algorithm with constant update time." @default.
- W3100265482 created "2020-11-23" @default.
- W3100265482 creator A5003960537 @default.
- W3100265482 creator A5009133355 @default.
- W3100265482 creator A5033060526 @default.
- W3100265482 creator A5078941176 @default.
- W3100265482 date "2019-01-01" @default.
- W3100265482 modified "2023-10-09" @default.
- W3100265482 title "Enumeration on Trees with Tractable Combined Complexity and Efficient Updates" @default.
- W3100265482 cites W1505425738 @default.
- W3100265482 cites W1508780728 @default.
- W3100265482 cites W1573632260 @default.
- W3100265482 cites W1985558974 @default.
- W3100265482 cites W2120248756 @default.
- W3100265482 cites W2592257482 @default.
- W3100265482 cites W2733688566 @default.
- W3100265482 cites W2798328745 @default.
- W3100265482 cites W2798396931 @default.
- W3100265482 cites W2799038541 @default.
- W3100265482 cites W2962679309 @default.
- W3100265482 cites W2967222032 @default.
- W3100265482 cites W3100265482 @default.
- W3100265482 doi "https://doi.org/10.1145/3294052.3319702" @default.
- W3100265482 hasPublicationYear "2019" @default.
- W3100265482 type Work @default.
- W3100265482 sameAs 3100265482 @default.
- W3100265482 citedByCount "10" @default.
- W3100265482 countsByYear W31002654822019 @default.
- W3100265482 countsByYear W31002654822020 @default.
- W3100265482 countsByYear W31002654822021 @default.
- W3100265482 countsByYear W31002654822022 @default.
- W3100265482 countsByYear W31002654822023 @default.
- W3100265482 crossrefType "proceedings-article" @default.
- W3100265482 hasAuthorship W3100265482A5003960537 @default.
- W3100265482 hasAuthorship W3100265482A5009133355 @default.
- W3100265482 hasAuthorship W3100265482A5033060526 @default.
- W3100265482 hasAuthorship W3100265482A5078941176 @default.
- W3100265482 hasBestOaLocation W31002654824 @default.
- W3100265482 hasConcept C112505250 @default.
- W3100265482 hasConcept C113174947 @default.
- W3100265482 hasConcept C11413529 @default.
- W3100265482 hasConcept C114614502 @default.
- W3100265482 hasConcept C118615104 @default.
- W3100265482 hasConcept C134306372 @default.
- W3100265482 hasConcept C156340839 @default.
- W3100265482 hasConcept C176181172 @default.
- W3100265482 hasConcept C2778583254 @default.
- W3100265482 hasConcept C311688 @default.
- W3100265482 hasConcept C33923547 @default.
- W3100265482 hasConcept C39927690 @default.
- W3100265482 hasConcept C41008148 @default.
- W3100265482 hasConcept C80444323 @default.
- W3100265482 hasConceptScore W3100265482C112505250 @default.
- W3100265482 hasConceptScore W3100265482C113174947 @default.
- W3100265482 hasConceptScore W3100265482C11413529 @default.
- W3100265482 hasConceptScore W3100265482C114614502 @default.
- W3100265482 hasConceptScore W3100265482C118615104 @default.
- W3100265482 hasConceptScore W3100265482C134306372 @default.
- W3100265482 hasConceptScore W3100265482C156340839 @default.
- W3100265482 hasConceptScore W3100265482C176181172 @default.
- W3100265482 hasConceptScore W3100265482C2778583254 @default.
- W3100265482 hasConceptScore W3100265482C311688 @default.
- W3100265482 hasConceptScore W3100265482C33923547 @default.
- W3100265482 hasConceptScore W3100265482C39927690 @default.
- W3100265482 hasConceptScore W3100265482C41008148 @default.
- W3100265482 hasConceptScore W3100265482C80444323 @default.
- W3100265482 hasFunder F4320320879 @default.
- W3100265482 hasFunder F4320325505 @default.
- W3100265482 hasLocation W31002654821 @default.
- W3100265482 hasLocation W31002654822 @default.
- W3100265482 hasLocation W31002654823 @default.
- W3100265482 hasLocation W31002654824 @default.
- W3100265482 hasLocation W31002654825 @default.
- W3100265482 hasOpenAccess W3100265482 @default.
- W3100265482 hasPrimaryLocation W31002654821 @default.
- W3100265482 hasRelatedWork W1504650505 @default.
- W3100265482 hasRelatedWork W1629505938 @default.
- W3100265482 hasRelatedWork W1676587966 @default.
- W3100265482 hasRelatedWork W1988549452 @default.
- W3100265482 hasRelatedWork W2059442203 @default.
- W3100265482 hasRelatedWork W2060032524 @default.
- W3100265482 hasRelatedWork W2421475109 @default.
- W3100265482 hasRelatedWork W2595899102 @default.
- W3100265482 hasRelatedWork W2963209704 @default.
- W3100265482 hasRelatedWork W4297792110 @default.
- W3100265482 isParatext "false" @default.
- W3100265482 isRetracted "false" @default.
- W3100265482 magId "3100265482" @default.
- W3100265482 workType "article" @default.