Černý bound for difference DFAs in Euclidean space
Černý bound for difference DFAs in Euclidean space
Let be a difference DFA in on vertices, with states and a universally reachable state. A synchronizing word is a word that maps all states to one state.
Difference-DFA Černý conjecture. The DFA has a synchronizing word of length at most
This asks whether the Černý bound holds for the stated class of difference DFAs without the additional assumptions discussed earlier in the paper. The source gives no resolution, so this remains open.
Sources & referencesView supporting material
Primary source
Peter Bradshaw, Alexander Clow and Ladislav Stacho, “A cornering strategy for synchronizing a DFA”, arXiv:2405.00826 (2025).
Progress summary
Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.
Solutions 0
Sign in to submit a solution.
No solutions have been posted yet.