Matches in SemOpenAlex for { <https://semopenalex.org/work/W4380136086> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W4380136086 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.
- W4380136086 created "2023-06-10" @default.
- W4380136086 creator A5007324430 @default.
- W4380136086 creator A5017265124 @default.
- W4380136086 creator A5042115100 @default.
- W4380136086 creator A5054442462 @default.
- W4380136086 creator A5069821851 @default.
- W4380136086 creator A5084242267 @default.
- W4380136086 date "2023-06-07" @default.
- W4380136086 modified "2023-09-29" @default.
- W4380136086 title "Optimal Wheeler Language Recognition" @default.
- W4380136086 doi "https://doi.org/10.48550/arxiv.2306.04737" @default.
- W4380136086 hasPublicationYear "2023" @default.
- W4380136086 type Work @default.
- W4380136086 citedByCount "1" @default.
- W4380136086 countsByYear W43801360862023 @default.
- W4380136086 crossrefType "posted-content" @default.
- W4380136086 hasAuthorship W4380136086A5007324430 @default.
- W4380136086 hasAuthorship W4380136086A5017265124 @default.
- W4380136086 hasAuthorship W4380136086A5042115100 @default.
- W4380136086 hasAuthorship W4380136086A5054442462 @default.
- W4380136086 hasAuthorship W4380136086A5069821851 @default.
- W4380136086 hasAuthorship W4380136086A5084242267 @default.
- W4380136086 hasBestOaLocation W43801360861 @default.
- W4380136086 hasConcept C104317684 @default.
- W4380136086 hasConcept C105795698 @default.
- W4380136086 hasConcept C112313634 @default.
- W4380136086 hasConcept C112505250 @default.
- W4380136086 hasConcept C11413529 @default.
- W4380136086 hasConcept C114614502 @default.
- W4380136086 hasConcept C118615104 @default.
- W4380136086 hasConcept C121329065 @default.
- W4380136086 hasConcept C127413603 @default.
- W4380136086 hasConcept C127716648 @default.
- W4380136086 hasConcept C134306372 @default.
- W4380136086 hasConcept C159254197 @default.
- W4380136086 hasConcept C165064840 @default.
- W4380136086 hasConcept C179799912 @default.
- W4380136086 hasConcept C185592680 @default.
- W4380136086 hasConcept C188082640 @default.
- W4380136086 hasConcept C197685441 @default.
- W4380136086 hasConcept C199360897 @default.
- W4380136086 hasConcept C311688 @default.
- W4380136086 hasConcept C33923547 @default.
- W4380136086 hasConcept C41008148 @default.
- W4380136086 hasConcept C45374587 @default.
- W4380136086 hasConcept C48103436 @default.
- W4380136086 hasConcept C52370388 @default.
- W4380136086 hasConcept C55493867 @default.
- W4380136086 hasConcept C62611344 @default.
- W4380136086 hasConcept C66938386 @default.
- W4380136086 hasConcept C77553402 @default.
- W4380136086 hasConcept C77944639 @default.
- W4380136086 hasConcept C80444323 @default.
- W4380136086 hasConceptScore W4380136086C104317684 @default.
- W4380136086 hasConceptScore W4380136086C105795698 @default.
- W4380136086 hasConceptScore W4380136086C112313634 @default.
- W4380136086 hasConceptScore W4380136086C112505250 @default.
- W4380136086 hasConceptScore W4380136086C11413529 @default.
- W4380136086 hasConceptScore W4380136086C114614502 @default.
- W4380136086 hasConceptScore W4380136086C118615104 @default.
- W4380136086 hasConceptScore W4380136086C121329065 @default.
- W4380136086 hasConceptScore W4380136086C127413603 @default.
- W4380136086 hasConceptScore W4380136086C127716648 @default.
- W4380136086 hasConceptScore W4380136086C134306372 @default.
- W4380136086 hasConceptScore W4380136086C159254197 @default.
- W4380136086 hasConceptScore W4380136086C165064840 @default.
- W4380136086 hasConceptScore W4380136086C179799912 @default.
- W4380136086 hasConceptScore W4380136086C185592680 @default.
- W4380136086 hasConceptScore W4380136086C188082640 @default.
- W4380136086 hasConceptScore W4380136086C197685441 @default.
- W4380136086 hasConceptScore W4380136086C199360897 @default.
- W4380136086 hasConceptScore W4380136086C311688 @default.
- W4380136086 hasConceptScore W4380136086C33923547 @default.
- W4380136086 hasConceptScore W4380136086C41008148 @default.
- W4380136086 hasConceptScore W4380136086C45374587 @default.
- W4380136086 hasConceptScore W4380136086C48103436 @default.
- W4380136086 hasConceptScore W4380136086C52370388 @default.
- W4380136086 hasConceptScore W4380136086C55493867 @default.
- W4380136086 hasConceptScore W4380136086C62611344 @default.
- W4380136086 hasConceptScore W4380136086C66938386 @default.
- W4380136086 hasConceptScore W4380136086C77553402 @default.
- W4380136086 hasConceptScore W4380136086C77944639 @default.
- W4380136086 hasConceptScore W4380136086C80444323 @default.
- W4380136086 hasLocation W43801360861 @default.
- W4380136086 hasOpenAccess W4380136086 @default.
- W4380136086 hasPrimaryLocation W43801360861 @default.
- W4380136086 hasRelatedWork W1423874546 @default.
- W4380136086 hasRelatedWork W2066032119 @default.
- W4380136086 hasRelatedWork W2579720493 @default.
- W4380136086 hasRelatedWork W2613180196 @default.
- W4380136086 hasRelatedWork W2777178969 @default.
- W4380136086 hasRelatedWork W2798321768 @default.
- W4380136086 hasRelatedWork W2962885229 @default.
- W4380136086 hasRelatedWork W3183018048 @default.
- W4380136086 hasRelatedWork W2525409928 @default.
- W4380136086 hasRelatedWork W2801848061 @default.
- W4380136086 isParatext "false" @default.
- W4380136086 isRetracted "false" @default.
- W4380136086 workType "article" @default.