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

People

• John Hopcroft

Related

• Theorem: Hopcroft–Karp algorithm
• Proof: Hopcroft–Karp algorithm

Explore

• Dashboard
• Theorems
• Frameworks
• Lineage
• People