Matches in SemOpenAlex for { <https://semopenalex.org/work/W4291237875> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W4291237875 abstract "A complete deterministic finite (semi)automaton (DFA) with a set of states $Q$ is emph{completely reachable} if every non-empty subset of $Q$ can be obtained as the image of the action of some word applied to $Q$. The concept of completely reachable automata appeared several times, in particular, in connection with synchronizing automata; the class contains the Cerny automata and covers a few separately investigated subclasses. The notion was introduced by Bondar and Volkov (2016), who also raised the question about the complexity of deciding if an automaton is completely reachable. We develop a polynomial-time algorithm for this problem, which is based on a new complement-intersecting technique for finding an extending word for a subset of states. The algorithm works in $O(|Sigma|cdot n^3)$ time, where $n=|Q|$ is the number of states and $|Sigma|$ is the size of the input alphabet. Finally, we prove a weak Don's conjecture for this class of automata: a subset of size $k$ is reachable with a word of length smaller than $2n(n-k)$. This implies a quadratic upper bound in $n$ on the length of the shortest synchronizing words (reset threshold) for the class of completely reachable automata and generalizes earlier upper bounds derived for its subclasses." @default.
- W4291237875 created "2022-08-13" @default.
- W4291237875 creator A5003918612 @default.
- W4291237875 creator A5075117503 @default.
- W4291237875 date "2022-08-11" @default.
- W4291237875 modified "2023-10-17" @default.
- W4291237875 title "Completely Reachable Automata: A Polynomial Algorithm and Quadratic Upper Bounds" @default.
- W4291237875 doi "https://doi.org/10.48550/arxiv.2208.05956" @default.
- W4291237875 hasPublicationYear "2022" @default.
- W4291237875 type Work @default.
- W4291237875 citedByCount "1" @default.
- W4291237875 countsByYear W42912378752023 @default.
- W4291237875 crossrefType "posted-content" @default.
- W4291237875 hasAuthorship W4291237875A5003918612 @default.
- W4291237875 hasAuthorship W4291237875A5075117503 @default.
- W4291237875 hasBestOaLocation W42912378751 @default.
- W4291237875 hasConcept C104317684 @default.
- W4291237875 hasConcept C112313634 @default.
- W4291237875 hasConcept C112505250 @default.
- W4291237875 hasConcept C11413529 @default.
- W4291237875 hasConcept C114614502 @default.
- W4291237875 hasConcept C118615104 @default.
- W4291237875 hasConcept C127716648 @default.
- W4291237875 hasConcept C134306372 @default.
- W4291237875 hasConcept C154945302 @default.
- W4291237875 hasConcept C185592680 @default.
- W4291237875 hasConcept C188082640 @default.
- W4291237875 hasConcept C2524010 @default.
- W4291237875 hasConcept C2777212361 @default.
- W4291237875 hasConcept C2780990831 @default.
- W4291237875 hasConcept C311688 @default.
- W4291237875 hasConcept C33923547 @default.
- W4291237875 hasConcept C41008148 @default.
- W4291237875 hasConcept C55493867 @default.
- W4291237875 hasConcept C77553402 @default.
- W4291237875 hasConcept C80444323 @default.
- W4291237875 hasConcept C90805587 @default.
- W4291237875 hasConceptScore W4291237875C104317684 @default.
- W4291237875 hasConceptScore W4291237875C112313634 @default.
- W4291237875 hasConceptScore W4291237875C112505250 @default.
- W4291237875 hasConceptScore W4291237875C11413529 @default.
- W4291237875 hasConceptScore W4291237875C114614502 @default.
- W4291237875 hasConceptScore W4291237875C118615104 @default.
- W4291237875 hasConceptScore W4291237875C127716648 @default.
- W4291237875 hasConceptScore W4291237875C134306372 @default.
- W4291237875 hasConceptScore W4291237875C154945302 @default.
- W4291237875 hasConceptScore W4291237875C185592680 @default.
- W4291237875 hasConceptScore W4291237875C188082640 @default.
- W4291237875 hasConceptScore W4291237875C2524010 @default.
- W4291237875 hasConceptScore W4291237875C2777212361 @default.
- W4291237875 hasConceptScore W4291237875C2780990831 @default.
- W4291237875 hasConceptScore W4291237875C311688 @default.
- W4291237875 hasConceptScore W4291237875C33923547 @default.
- W4291237875 hasConceptScore W4291237875C41008148 @default.
- W4291237875 hasConceptScore W4291237875C55493867 @default.
- W4291237875 hasConceptScore W4291237875C77553402 @default.
- W4291237875 hasConceptScore W4291237875C80444323 @default.
- W4291237875 hasConceptScore W4291237875C90805587 @default.
- W4291237875 hasLocation W42912378751 @default.
- W4291237875 hasOpenAccess W4291237875 @default.
- W4291237875 hasPrimaryLocation W42912378751 @default.
- W4291237875 hasRelatedWork W1544871822 @default.
- W4291237875 hasRelatedWork W2077251859 @default.
- W4291237875 hasRelatedWork W289669163 @default.
- W4291237875 hasRelatedWork W2952586330 @default.
- W4291237875 hasRelatedWork W3207412727 @default.
- W4291237875 hasRelatedWork W384763036 @default.
- W4291237875 hasRelatedWork W4286901599 @default.
- W4291237875 hasRelatedWork W4287814523 @default.
- W4291237875 hasRelatedWork W4294558720 @default.
- W4291237875 hasRelatedWork W2155476808 @default.
- W4291237875 isParatext "false" @default.
- W4291237875 isRetracted "false" @default.
- W4291237875 workType "article" @default.