Matches in SemOpenAlex for { <https://semopenalex.org/work/W3177316341> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W3177316341 abstract "In grammar-based compression a string is represented by a context-free grammar, also called a straight-line program (SLP), that generates only that string. We refine a recent balancing result stating that one can transform an SLP of size $g$ in linear time into an equivalent SLP of size $O(g)$ so that the height of the unique derivation tree is $O(log N)$ where $N$ is the length of the represented string (FOCS 2019). We introduce a new class of balanced SLPs, called contracting SLPs, where for every rule $A to beta_1 dots beta_k$ the string length of every variable $beta_i$ on the right-hand side is smaller by a constant factor than the string length of $A$. In particular, the derivation tree of a contracting SLP has the property that every subtree has logarithmic height in its leaf size. We show that a given SLP of size $g$ can be transformed in linear time into an equivalent contracting SLP of size $O(g)$ with rules of constant length. We present an application to the navigation problem in compressed unranked trees, represented by forest straight-line programs (FSLPs). We extend a linear space data structure by Reh and Sieber (2020) by the operation of moving to the $i$-th child in time $O(log d)$ where $d$ is the degree of the current node. Contracting SLPs are also applied to the finger search problem over SLP-compressed strings where one wants to access positions near to a pre-specified finger position, ideally in $O(log d)$ time where $d$ is the distance between the accessed position and the finger. We give a linear space solution where one can access symbols or move the finger in time $O(log d + log^{(t)} N)$ for any constant $t$ where $log^{(t)} N$ is the $t$-fold logarithm of $N$. This improves a previous solution by Bille, Christiansen, Cording, and Gortz (2018) with access/move time $O(log d + log log N)$." @default.
- W3177316341 created "2021-07-05" @default.
- W3177316341 creator A5005654849 @default.
- W3177316341 date "2021-07-01" @default.
- W3177316341 modified "2023-09-27" @default.
- W3177316341 title "Compression by Contracting Straight-Line Programs" @default.
- W3177316341 cites W1592383485 @default.
- W3177316341 cites W1602808498 @default.
- W3177316341 cites W1931463589 @default.
- W3177316341 cites W1973608346 @default.
- W3177316341 cites W1986261983 @default.
- W3177316341 cites W1990653637 @default.
- W3177316341 cites W2052653988 @default.
- W3177316341 cites W2061705660 @default.
- W3177316341 cites W2074288780 @default.
- W3177316341 cites W2105686649 @default.
- W3177316341 cites W2122962290 @default.
- W3177316341 cites W2143024569 @default.
- W3177316341 cites W2602771387 @default.
- W3177316341 cites W2738674715 @default.
- W3177316341 cites W3090344717 @default.
- W3177316341 cites W3176983239 @default.
- W3177316341 hasPublicationYear "2021" @default.
- W3177316341 type Work @default.
- W3177316341 sameAs 3177316341 @default.
- W3177316341 citedByCount "0" @default.
- W3177316341 crossrefType "posted-content" @default.
- W3177316341 hasAuthorship W3177316341A5005654849 @default.
- W3177316341 hasConcept C113174947 @default.
- W3177316341 hasConcept C114614502 @default.
- W3177316341 hasConcept C118615104 @default.
- W3177316341 hasConcept C121332964 @default.
- W3177316341 hasConcept C134306372 @default.
- W3177316341 hasConcept C151730666 @default.
- W3177316341 hasConcept C157486923 @default.
- W3177316341 hasConcept C180016635 @default.
- W3177316341 hasConcept C198352243 @default.
- W3177316341 hasConcept C199360897 @default.
- W3177316341 hasConcept C2524010 @default.
- W3177316341 hasConcept C2777027219 @default.
- W3177316341 hasConcept C2779343474 @default.
- W3177316341 hasConcept C33923547 @default.
- W3177316341 hasConcept C37914503 @default.
- W3177316341 hasConcept C39927690 @default.
- W3177316341 hasConcept C41008148 @default.
- W3177316341 hasConcept C63553672 @default.
- W3177316341 hasConcept C86803240 @default.
- W3177316341 hasConcept C97355855 @default.
- W3177316341 hasConceptScore W3177316341C113174947 @default.
- W3177316341 hasConceptScore W3177316341C114614502 @default.
- W3177316341 hasConceptScore W3177316341C118615104 @default.
- W3177316341 hasConceptScore W3177316341C121332964 @default.
- W3177316341 hasConceptScore W3177316341C134306372 @default.
- W3177316341 hasConceptScore W3177316341C151730666 @default.
- W3177316341 hasConceptScore W3177316341C157486923 @default.
- W3177316341 hasConceptScore W3177316341C180016635 @default.
- W3177316341 hasConceptScore W3177316341C198352243 @default.
- W3177316341 hasConceptScore W3177316341C199360897 @default.
- W3177316341 hasConceptScore W3177316341C2524010 @default.
- W3177316341 hasConceptScore W3177316341C2777027219 @default.
- W3177316341 hasConceptScore W3177316341C2779343474 @default.
- W3177316341 hasConceptScore W3177316341C33923547 @default.
- W3177316341 hasConceptScore W3177316341C37914503 @default.
- W3177316341 hasConceptScore W3177316341C39927690 @default.
- W3177316341 hasConceptScore W3177316341C41008148 @default.
- W3177316341 hasConceptScore W3177316341C63553672 @default.
- W3177316341 hasConceptScore W3177316341C86803240 @default.
- W3177316341 hasConceptScore W3177316341C97355855 @default.
- W3177316341 hasLocation W31773163411 @default.
- W3177316341 hasOpenAccess W3177316341 @default.
- W3177316341 hasPrimaryLocation W31773163411 @default.
- W3177316341 hasRelatedWork W153100663 @default.
- W3177316341 hasRelatedWork W1544805321 @default.
- W3177316341 hasRelatedWork W1624450147 @default.
- W3177316341 hasRelatedWork W2121028531 @default.
- W3177316341 hasRelatedWork W2142177367 @default.
- W3177316341 hasRelatedWork W2274187189 @default.
- W3177316341 hasRelatedWork W2617847233 @default.
- W3177316341 hasRelatedWork W2622657084 @default.
- W3177316341 hasRelatedWork W2888793454 @default.
- W3177316341 hasRelatedWork W2913952852 @default.
- W3177316341 hasRelatedWork W2950888188 @default.
- W3177316341 hasRelatedWork W2951043995 @default.
- W3177316341 hasRelatedWork W2951271975 @default.
- W3177316341 hasRelatedWork W2951387388 @default.
- W3177316341 hasRelatedWork W2951437660 @default.
- W3177316341 hasRelatedWork W2952265035 @default.
- W3177316341 hasRelatedWork W2963197538 @default.
- W3177316341 hasRelatedWork W3082037367 @default.
- W3177316341 hasRelatedWork W3101645396 @default.
- W3177316341 hasRelatedWork W3198665147 @default.
- W3177316341 isParatext "false" @default.
- W3177316341 isRetracted "false" @default.
- W3177316341 magId "3177316341" @default.
- W3177316341 workType "article" @default.