Cyclic Nontrivial SCCs DFA Minimization: Difference between revisions
Jump to navigation
Jump to search
No edit summary |
No edit summary |
||
| Line 30: | Line 30: | ||
|} | |} | ||
== Time Complexity | == Time Complexity Graph == | ||
[[File:DFA Minimization - Cyclic Nontrivial SCCs DFA Minimization - Time.png|1000px]] | [[File:DFA Minimization - Cyclic Nontrivial SCCs DFA Minimization - Time.png|1000px]] | ||
== Space Complexity | == Space Complexity Graph == | ||
[[File:DFA Minimization - Cyclic Nontrivial SCCs DFA Minimization - Space.png|1000px]] | [[File:DFA Minimization - Cyclic Nontrivial SCCs DFA Minimization - Space.png|1000px]] | ||
== Pareto | == Pareto Frontier Improvements Graph == | ||
[[File:DFA Minimization - Cyclic Nontrivial SCCs DFA Minimization - Pareto Frontier.png|1000px]] | [[File:DFA Minimization - Cyclic Nontrivial SCCs DFA Minimization - Pareto Frontier.png|1000px]] | ||
Revision as of 13:04, 15 February 2023
Description
Given an finite deterministic automaton (DFA) from a class $C$ of DFAs, whose nontrivial SCCs are cyclic, determine its minimal automaton given by the equivalence relation on states.
Related Problems
Generalizations: DFA Minimization
Related: Acyclic DFA Minimization
Parameters
$n$: number of states
$d$: number of transitions
$k$: size of alphabet
Table of Algorithms
| Name | Year | Time | Space | Approximation Factor | Model | Reference |
|---|---|---|---|---|---|---|
| Almeida & Zeitoun | 2008 | $O(n)$ | $O(n)$ | Exact | Deterministic | Time & Space |
Time Complexity Graph
Error creating thumbnail: Unable to save thumbnail to destination
Space Complexity Graph
Error creating thumbnail: Unable to save thumbnail to destination
Pareto Frontier Improvements Graph
Error creating thumbnail: Unable to save thumbnail to destination