Korrektheitsnachweis und Zeitkomplexitätsanalyse eines Transformationsalgorithmus für maximale Entfernungen