Proof — Tarjan's algorithm

Statement

Strongly connected components; union-find; amortized analysis. Proved in ZFC.

Source

IMU Abacus Medal 1982. Strongly connected components; union-find; amortized analysis. Proved in ZFC.

Domains

computer-science

People

• Robert Tarjan

Related

• Theorem: Tarjan's algorithm
• Proof: Tarjan's algorithm

Explore

• Dashboard
• Theorems
• Frameworks
• Lineage
• People