Proof — Hopcroft–Karp algorithm
Statement
Graph algorithms; data structures; O(n log n) DFA minimization. Proved in ZFC.
Source
ACM Turing Award 1986. Graph algorithms; data structures; O(n log n) DFA minimization. Proved in ZFC.
Domains
computer-science