Yinfeng Zhu 0001

dblp:173/5793-1 · DBLP profile ↗
← Back
4ranked-venue papers
2as first author
4since 2021 · last 2024
0000-0003-1724-5250ORCID · verified

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 4 · 2 first-author · 4 since 2021
YearPublicationVenuePosition
2024 Around Don's Conjecture for Binary Completely Reachable Automata
Yinfeng Zhu 0001
DLT1
2024 A Quadratic Upper Bound on the Reset Thresholds of Synchronizing Automata Containing a Transitive Permutation Group
abstract
For any synchronizing $n$-state deterministic automaton, Černý conjectures the existence of a synchronizing word of length at most $(n-1)^2$. We prove that there exists a synchronizing word of length at most $2n^2 - 7n + 7$ for every synchronizing $n$-state deterministic automaton that satisfies the following two properties: 1. The image of the action of each letter contains at least $n-1$ states; 2. The actions of bijective letters generate a transitive permutation group on the state set.
Yinfeng Zhu 0001
FSTTCS1
2023 Correction to: Submodular Functions and Rooted Trees
Yaokun Wu, Yinfeng Zhu 0001
Theory Comput. Syst.2
2022 Submodular Functions and Rooted Trees
Yaokun Wu, Yinfeng Zhu 0001
Theory Comput. Syst.2