Redirecting to Johnson's algorithm