Lengauer–Tarjan's algorithm