On vous donne un algorithme naïf en pseudocode qui identifie les paires d'éléments dans un tableau non trié dont la somme est égale à une cible K. L'algorithme actuel a une complexité temporelle de O(n^2). Transformez cet algorithme pour atteindre une complexité de O(n log n) ou O(n) en utilisant des structures de données appropriées (comme des tables de hachage ou le tri). Expliquez l'impact sur la complexité spatiale et fournissez le nouveau pseudocode avec des commentaires expliquant chaque étape critique.