FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W4386870880> ?p ?o ?g. }

• W4386870880 endingPage "74" @default.
• W4386870880 startingPage "62" @default.
• W4386870880 abstract "A Wheeler automaton is a finite state automaton whose states admit a total Wheeler order, reflecting the co-lexicographic order of the strings labeling source-to-node paths). A Wheeler language is a regular language admitting an accepting Wheeler automaton. Wheeler languages admit efficient and elegant solutions to hard problems such as automata compression and regular expression matching, therefore deciding whether a regular language is Wheeler is relevant in applications requiring efficient solutions to those problems. In this paper, we show that it is possible to decide whether a DFA with n states and m transitions recognizes a Wheeler language in O(mn) time. This is a significant improvement over the running time $$O(n^{13} + mlog n)$$ of the previous polynomial-time algorithm (Alanko et al. Information and Computation 2021). A proof-of-concept implementation of this algorithm is available in a public repository. We complement this upper bound with a conditional matching lower bound stating that, unless the strong exponential time hypothesis (SETH) fails, the problem cannot be solved in strongly subquadratic time. The same problem is known to be PSPACE-complete when the input is an NFA (D’Agostino et al. Theoretical Computer Science 2023). Together with that result, our paper essentially closes the algorithmic problem of Wheeler language recognition." @default.
• W4386870880 created "2023-09-20" @default.
• W4386870880 creator A5007324430 @default.
• W4386870880 creator A5017265124 @default.
• W4386870880 creator A5042115100 @default.
• W4386870880 creator A5054442462 @default.
• W4386870880 creator A5083647020 @default.
• W4386870880 creator A5084242267 @default.
• W4386870880 date "2023-01-01" @default.
• W4386870880 modified "2023-09-27" @default.
• W4386870880 title "Optimal Wheeler Language Recognition" @default.
• W4386870880 cites W1985572324 @default.
• W4386870880 cites W2084732238 @default.
• W4386870880 cites W2122493035 @default.
• W4386870880 cites W2725379159 @default.
• W4386870880 cites W2966735921 @default.
• W4386870880 cites W3114237669 @default.
• W4386870880 cites W4205775169 @default.
• W4386870880 cites W4244661353 @default.
• W4386870880 cites W4255836900 @default.
• W4386870880 cites W4317213941 @default.
• W4386870880 cites W4366999870 @default.
• W4386870880 cites W4380136086 @default.
• W4386870880 cites W4383554657 @default.
• W4386870880 cites W4386843758 @default.
• W4386870880 doi "https://doi.org/10.1007/978-3-031-43980-3_6" @default.
• W4386870880 hasPublicationYear "2023" @default.
• W4386870880 type Work @default.
• W4386870880 citedByCount "0" @default.
• W4386870880 crossrefType "book-chapter" @default.
• W4386870880 hasAuthorship W4386870880A5007324430 @default.
• W4386870880 hasAuthorship W4386870880A5017265124 @default.
• W4386870880 hasAuthorship W4386870880A5042115100 @default.
• W4386870880 hasAuthorship W4386870880A5054442462 @default.
• W4386870880 hasAuthorship W4386870880A5083647020 @default.
• W4386870880 hasAuthorship W4386870880A5084242267 @default.
• W4386870880 hasConcept C104317684 @default.
• W4386870880 hasConcept C105795698 @default.
• W4386870880 hasConcept C112313634 @default.
• W4386870880 hasConcept C112505250 @default.
• W4386870880 hasConcept C11413529 @default.
• W4386870880 hasConcept C114614502 @default.
• W4386870880 hasConcept C118615104 @default.
• W4386870880 hasConcept C121329065 @default.
• W4386870880 hasConcept C127413603 @default.
• W4386870880 hasConcept C127716648 @default.
• W4386870880 hasConcept C134306372 @default.
• W4386870880 hasConcept C159254197 @default.
• W4386870880 hasConcept C165064840 @default.
• W4386870880 hasConcept C179799912 @default.
• W4386870880 hasConcept C185592680 @default.
• W4386870880 hasConcept C188082640 @default.
• W4386870880 hasConcept C197685441 @default.
• W4386870880 hasConcept C199360897 @default.
• W4386870880 hasConcept C311688 @default.
• W4386870880 hasConcept C33923547 @default.
• W4386870880 hasConcept C41008148 @default.
• W4386870880 hasConcept C52370388 @default.
• W4386870880 hasConcept C55493867 @default.
• W4386870880 hasConcept C62611344 @default.
• W4386870880 hasConcept C66938386 @default.
• W4386870880 hasConcept C77553402 @default.
• W4386870880 hasConcept C77944639 @default.
• W4386870880 hasConcept C80444323 @default.
• W4386870880 hasConceptScore W4386870880C104317684 @default.
• W4386870880 hasConceptScore W4386870880C105795698 @default.
• W4386870880 hasConceptScore W4386870880C112313634 @default.
• W4386870880 hasConceptScore W4386870880C112505250 @default.
• W4386870880 hasConceptScore W4386870880C11413529 @default.
• W4386870880 hasConceptScore W4386870880C114614502 @default.
• W4386870880 hasConceptScore W4386870880C118615104 @default.
• W4386870880 hasConceptScore W4386870880C121329065 @default.
• W4386870880 hasConceptScore W4386870880C127413603 @default.
• W4386870880 hasConceptScore W4386870880C127716648 @default.
• W4386870880 hasConceptScore W4386870880C134306372 @default.
• W4386870880 hasConceptScore W4386870880C159254197 @default.
• W4386870880 hasConceptScore W4386870880C165064840 @default.
• W4386870880 hasConceptScore W4386870880C179799912 @default.
• W4386870880 hasConceptScore W4386870880C185592680 @default.
• W4386870880 hasConceptScore W4386870880C188082640 @default.
• W4386870880 hasConceptScore W4386870880C197685441 @default.
• W4386870880 hasConceptScore W4386870880C199360897 @default.
• W4386870880 hasConceptScore W4386870880C311688 @default.
• W4386870880 hasConceptScore W4386870880C33923547 @default.
• W4386870880 hasConceptScore W4386870880C41008148 @default.
• W4386870880 hasConceptScore W4386870880C52370388 @default.
• W4386870880 hasConceptScore W4386870880C55493867 @default.
• W4386870880 hasConceptScore W4386870880C62611344 @default.
• W4386870880 hasConceptScore W4386870880C66938386 @default.
• W4386870880 hasConceptScore W4386870880C77553402 @default.
• W4386870880 hasConceptScore W4386870880C77944639 @default.
• W4386870880 hasConceptScore W4386870880C80444323 @default.
• W4386870880 hasLocation W43868708801 @default.
• W4386870880 hasOpenAccess W4386870880 @default.
• W4386870880 hasPrimaryLocation W43868708801 @default.
• W4386870880 hasRelatedWork W135782543 @default.
• W4386870880 hasRelatedWork W1423874546 @default.
• W4386870880 hasRelatedWork W1550126246 @default.

• next