Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 1 | """Bisection algorithms.""" |
Guido van Rossum | 4e16098 | 1992-09-02 20:43:20 +0000 | [diff] [blame] | 2 | |
Tim Peters | 36cdad1 | 2000-12-29 02:06:45 +0000 | [diff] [blame] | 3 | def insort_right(a, x, lo=0, hi=None): |
| 4 | """Insert item x in list a, and keep it sorted assuming a is sorted. |
| 5 | |
| 6 | If x is already in a, insert it to the right of the rightmost x. |
| 7 | |
| 8 | Optional args lo (default 0) and hi (default len(a)) bound the |
| 9 | slice of a to be searched. |
| 10 | """ |
| 11 | |
Georg Brandl | 2ee470f | 2008-07-16 12:55:28 +0000 | [diff] [blame] | 12 | if lo < 0: |
| 13 | raise ValueError('lo must be non-negative') |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 14 | if hi is None: |
| 15 | hi = len(a) |
| 16 | while lo < hi: |
Guido van Rossum | 54e54c6 | 2001-09-04 19:14:14 +0000 | [diff] [blame] | 17 | mid = (lo+hi)//2 |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 18 | if x < a[mid]: hi = mid |
| 19 | else: lo = mid+1 |
| 20 | a.insert(lo, x) |
Guido van Rossum | 4e16098 | 1992-09-02 20:43:20 +0000 | [diff] [blame] | 21 | |
Tim Peters | 36cdad1 | 2000-12-29 02:06:45 +0000 | [diff] [blame] | 22 | insort = insort_right # backward compatibility |
Guido van Rossum | 4e16098 | 1992-09-02 20:43:20 +0000 | [diff] [blame] | 23 | |
Tim Peters | 36cdad1 | 2000-12-29 02:06:45 +0000 | [diff] [blame] | 24 | def bisect_right(a, x, lo=0, hi=None): |
| 25 | """Return the index where to insert item x in list a, assuming a is sorted. |
| 26 | |
| 27 | The return value i is such that all e in a[:i] have e <= x, and all e in |
Guido van Rossum | d8faa36 | 2007-04-27 19:54:29 +0000 | [diff] [blame] | 28 | a[i:] have e > x. So if x already appears in the list, a.insert(x) will |
| 29 | insert just after the rightmost x already there. |
Tim Peters | 36cdad1 | 2000-12-29 02:06:45 +0000 | [diff] [blame] | 30 | |
| 31 | Optional args lo (default 0) and hi (default len(a)) bound the |
| 32 | slice of a to be searched. |
| 33 | """ |
| 34 | |
Georg Brandl | 2ee470f | 2008-07-16 12:55:28 +0000 | [diff] [blame] | 35 | if lo < 0: |
| 36 | raise ValueError('lo must be non-negative') |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 37 | if hi is None: |
| 38 | hi = len(a) |
| 39 | while lo < hi: |
Guido van Rossum | 54e54c6 | 2001-09-04 19:14:14 +0000 | [diff] [blame] | 40 | mid = (lo+hi)//2 |
Guido van Rossum | 4acc25b | 2000-02-02 15:10:15 +0000 | [diff] [blame] | 41 | if x < a[mid]: hi = mid |
| 42 | else: lo = mid+1 |
| 43 | return lo |
Tim Peters | 36cdad1 | 2000-12-29 02:06:45 +0000 | [diff] [blame] | 44 | |
| 45 | bisect = bisect_right # backward compatibility |
| 46 | |
| 47 | def insort_left(a, x, lo=0, hi=None): |
| 48 | """Insert item x in list a, and keep it sorted assuming a is sorted. |
| 49 | |
| 50 | If x is already in a, insert it to the left of the leftmost x. |
| 51 | |
| 52 | Optional args lo (default 0) and hi (default len(a)) bound the |
| 53 | slice of a to be searched. |
| 54 | """ |
| 55 | |
Georg Brandl | 2ee470f | 2008-07-16 12:55:28 +0000 | [diff] [blame] | 56 | if lo < 0: |
| 57 | raise ValueError('lo must be non-negative') |
Tim Peters | 36cdad1 | 2000-12-29 02:06:45 +0000 | [diff] [blame] | 58 | if hi is None: |
| 59 | hi = len(a) |
| 60 | while lo < hi: |
Guido van Rossum | 54e54c6 | 2001-09-04 19:14:14 +0000 | [diff] [blame] | 61 | mid = (lo+hi)//2 |
Tim Peters | 36cdad1 | 2000-12-29 02:06:45 +0000 | [diff] [blame] | 62 | if a[mid] < x: lo = mid+1 |
| 63 | else: hi = mid |
| 64 | a.insert(lo, x) |
| 65 | |
| 66 | |
| 67 | def bisect_left(a, x, lo=0, hi=None): |
| 68 | """Return the index where to insert item x in list a, assuming a is sorted. |
| 69 | |
| 70 | The return value i is such that all e in a[:i] have e < x, and all e in |
Guido van Rossum | d8faa36 | 2007-04-27 19:54:29 +0000 | [diff] [blame] | 71 | a[i:] have e >= x. So if x already appears in the list, a.insert(x) will |
| 72 | insert just before the leftmost x already there. |
Tim Peters | 36cdad1 | 2000-12-29 02:06:45 +0000 | [diff] [blame] | 73 | |
| 74 | Optional args lo (default 0) and hi (default len(a)) bound the |
| 75 | slice of a to be searched. |
| 76 | """ |
| 77 | |
Georg Brandl | 2ee470f | 2008-07-16 12:55:28 +0000 | [diff] [blame] | 78 | if lo < 0: |
| 79 | raise ValueError('lo must be non-negative') |
Tim Peters | 36cdad1 | 2000-12-29 02:06:45 +0000 | [diff] [blame] | 80 | if hi is None: |
| 81 | hi = len(a) |
| 82 | while lo < hi: |
Guido van Rossum | 54e54c6 | 2001-09-04 19:14:14 +0000 | [diff] [blame] | 83 | mid = (lo+hi)//2 |
Tim Peters | 36cdad1 | 2000-12-29 02:06:45 +0000 | [diff] [blame] | 84 | if a[mid] < x: lo = mid+1 |
| 85 | else: hi = mid |
| 86 | return lo |
Raymond Hettinger | 0c41027 | 2004-01-05 10:13:35 +0000 | [diff] [blame] | 87 | |
| 88 | # Overwrite above definitions with a fast C implementation |
| 89 | try: |
Raymond Hettinger | 9dbc670 | 2009-03-31 17:51:51 +0000 | [diff] [blame] | 90 | from _bisect import * |
Raymond Hettinger | 0c41027 | 2004-01-05 10:13:35 +0000 | [diff] [blame] | 91 | except ImportError: |
| 92 | pass |