Recherche binaire lorsque la condition de fin est `gauche

Je lisais le Modèle de recherche binaire II dans leetcode :

Il est utilisé pour rechercher un élément ou une condition qui nécessite d'accéder à l'index courant et à l'index de son voisin droit immédiat dans le tableau.

In [4]: nums = list(range(100))             

In [5]: binarySearch(nums, 55)              
Out[5]: 55

In [6]: binarySearch(nums, 101)             
Out[6]: -1

In [7]: binarySearch(nums, 38)              
Out[7]: 38

Il me semble que la condition supplémentaire et nums [left] == ​​target n'est pas nécessaire.

Lors du changement:

def binarySearch(nums, target):
    """
    :type nums: List[int]
    :type target: int
    :rtype: int
    """
    if len(nums) == 0:
        return -1

    left, right = 0, len(nums)
    while left < right:
        mid = (left + right) // 2
        if nums[mid] == target:
            return mid
        elif nums[mid] < target:
            left = mid + 1
        else:
            right = mid

    # Post-processing:
    # End Condition: left == right
    if left != len(nums):
        return left
    return -1

à seulement:

if left != len(nums):

... cela fonctionne parfaitement:

if left != len(nums) and nums[left] == target:

Tests:

def binarySearch(nums, target):
    """
    :type nums: List[int]
    :type target: int
    :rtype: int
    """
    if len(nums) == 0:
        return -1

    left, right = 0, len(nums)
    while left < right:
        mid = (left + right) // 2
        if nums[mid] == target:
            return mid
        elif nums[mid] < target:
            left = mid + 1
        else:
            right = mid

    # Post-processing:
    # End Condition: left == right
    if left != len(nums) and nums[left] == target:
        return left
    return -1

Quelle est la raison pour laquelle nums [left] == ​​target devrait être ajouté?

Le résumé du Leetcode sur le modèle (pour référence si vous ne pouviez pas ouvrir son lien):

Attributs clés:

• Une manière avancée de mettre en œuvre la recherche binaire.
• La condition de recherche doit accéder au voisin droit immédiat de l'élément
• Utilisez le voisin droit de l'élément pour déterminer si la condition est remplie et décider s'il faut aller à gauche ou à droite
• Gurantees [sic] L'espace de recherche est d'au moins 2 à chaque étape
• Post-traitement requis. La boucle / récursivité se termine lorsqu'il vous reste 1 élément. Il faut évaluer si l'élément restant répond aux condition.

Syntaxe distinctive:

• Condition initiale: left = 0, right = length
• Résiliation: left == right
• Recherche à gauche: right = mid
• Recherche à droite: gauche = milieu + 1