2010-11-10 14:19:28 -07:00
|
|
|
// Copyright 2010 The Go Authors. All rights reserved.
|
|
|
|
// Use of this source code is governed by a BSD-style
|
|
|
|
// license that can be found in the LICENSE file.
|
|
|
|
|
|
|
|
// This file implements binary search.
|
|
|
|
|
|
|
|
package sort
|
|
|
|
|
2010-11-18 05:16:09 -07:00
|
|
|
// Search uses binary search to find and return the smallest index i
|
2012-10-30 14:38:01 -06:00
|
|
|
// in [0, n) at which f(i) is true, assuming that on the range [0, n),
|
2010-11-18 09:46:07 -07:00
|
|
|
// f(i) == true implies f(i+1) == true. That is, Search requires that
|
|
|
|
// f is false for some (possibly empty) prefix of the input range [0, n)
|
|
|
|
// and then true for the (possibly empty) remainder; Search returns
|
|
|
|
// the first true index. If there is no such index, Search returns n.
|
2012-11-06 14:07:46 -07:00
|
|
|
// (Note that the "not found" return value is not -1 as in, for instance,
|
|
|
|
// strings.Index).
|
2010-11-18 05:16:09 -07:00
|
|
|
// Search calls f(i) only for i in the range [0, n).
|
2010-11-10 14:19:28 -07:00
|
|
|
//
|
2010-11-18 05:16:09 -07:00
|
|
|
// A common use of Search is to find the index i for a value x in
|
2011-06-16 01:48:02 -06:00
|
|
|
// a sorted, indexable data structure such as an array or slice.
|
2010-11-18 05:16:09 -07:00
|
|
|
// In this case, the argument f, typically a closure, captures the value
|
|
|
|
// to be searched for, and how the data structure is indexed and
|
|
|
|
// ordered.
|
2010-11-10 14:19:28 -07:00
|
|
|
//
|
2010-11-18 05:16:09 -07:00
|
|
|
// For instance, given a slice data sorted in ascending order,
|
2010-11-18 09:46:07 -07:00
|
|
|
// the call Search(len(data), func(i int) bool { return data[i] >= 23 })
|
2010-11-18 05:16:09 -07:00
|
|
|
// returns the smallest index i such that data[i] >= 23. If the caller
|
|
|
|
// wants to find whether 23 is in the slice, it must test data[i] == 23
|
|
|
|
// separately.
|
2010-11-10 14:19:28 -07:00
|
|
|
//
|
2010-11-18 09:46:07 -07:00
|
|
|
// Searching data sorted in descending order would use the <=
|
|
|
|
// operator instead of the >= operator.
|
2010-11-10 14:19:28 -07:00
|
|
|
//
|
2010-11-18 05:16:09 -07:00
|
|
|
// To complete the example above, the following code tries to find the value
|
|
|
|
// x in an integer slice data sorted in ascending order:
|
2010-11-10 14:19:28 -07:00
|
|
|
//
|
2010-11-18 05:16:09 -07:00
|
|
|
// x := 23
|
2010-11-18 09:46:07 -07:00
|
|
|
// i := sort.Search(len(data), func(i int) bool { return data[i] >= x })
|
2010-11-18 05:16:09 -07:00
|
|
|
// if i < len(data) && data[i] == x {
|
|
|
|
// // x is present at data[i]
|
|
|
|
// } else {
|
|
|
|
// // x is not present in data,
|
|
|
|
// // but i is the index where it would be inserted.
|
|
|
|
// }
|
2010-11-10 14:19:28 -07:00
|
|
|
//
|
2010-11-18 05:16:09 -07:00
|
|
|
// As a more whimsical example, this program guesses your number:
|
2010-11-10 14:19:28 -07:00
|
|
|
//
|
2010-11-18 05:16:09 -07:00
|
|
|
// func GuessingGame() {
|
|
|
|
// var s string
|
|
|
|
// fmt.Printf("Pick an integer from 0 to 100.\n")
|
|
|
|
// answer := sort.Search(100, func(i int) bool {
|
2010-11-18 09:46:07 -07:00
|
|
|
// fmt.Printf("Is your number <= %d? ", i)
|
2010-11-18 05:16:09 -07:00
|
|
|
// fmt.Scanf("%s", &s)
|
|
|
|
// return s != "" && s[0] == 'y'
|
|
|
|
// })
|
|
|
|
// fmt.Printf("Your number is %d.\n", answer)
|
2010-11-10 14:19:28 -07:00
|
|
|
// }
|
2010-11-12 17:08:56 -07:00
|
|
|
//
|
2010-11-10 14:19:28 -07:00
|
|
|
func Search(n int, f func(int) bool) int {
|
2010-11-18 09:46:07 -07:00
|
|
|
// Define f(-1) == false and f(n) == true.
|
|
|
|
// Invariant: f(i-1) == false, f(j) == true.
|
2010-11-10 14:19:28 -07:00
|
|
|
i, j := 0, n
|
2010-11-18 05:16:09 -07:00
|
|
|
for i < j {
|
2010-11-10 14:19:28 -07:00
|
|
|
h := i + (j-i)/2 // avoid overflow when computing h
|
2010-11-18 05:16:09 -07:00
|
|
|
// i ≤ h < j
|
2010-11-18 09:46:07 -07:00
|
|
|
if !f(h) {
|
|
|
|
i = h + 1 // preserves f(i-1) == false
|
2010-11-10 14:19:28 -07:00
|
|
|
} else {
|
2010-11-18 09:46:07 -07:00
|
|
|
j = h // preserves f(j) == true
|
2010-11-10 14:19:28 -07:00
|
|
|
}
|
|
|
|
}
|
2010-11-18 09:46:07 -07:00
|
|
|
// i == j, f(i-1) == false, and f(j) (= f(i)) == true => answer is i.
|
2010-11-10 14:19:28 -07:00
|
|
|
return i
|
|
|
|
}
|
|
|
|
|
|
|
|
// Convenience wrappers for common cases.
|
|
|
|
|
2011-01-19 21:09:00 -07:00
|
|
|
// SearchInts searches for x in a sorted slice of ints and returns the index
|
2012-11-06 14:07:46 -07:00
|
|
|
// as specified by Search. The return value is the index to insert x if x is
|
|
|
|
// not present (it could be len(a)).
|
2012-11-02 17:17:34 -06:00
|
|
|
// The slice must be sorted in ascending order.
|
2010-11-10 14:19:28 -07:00
|
|
|
//
|
|
|
|
func SearchInts(a []int, x int) int {
|
2010-11-18 09:46:07 -07:00
|
|
|
return Search(len(a), func(i int) bool { return a[i] >= x })
|
2010-11-10 14:19:28 -07:00
|
|
|
}
|
|
|
|
|
2011-01-19 21:09:00 -07:00
|
|
|
// SearchFloat64s searches for x in a sorted slice of float64s and returns the index
|
2012-11-06 14:07:46 -07:00
|
|
|
// as specified by Search. The return value is the index to insert x if x is not
|
|
|
|
// present (it could be len(a)).
|
2012-11-02 17:17:34 -06:00
|
|
|
// The slice must be sorted in ascending order.
|
2012-10-30 14:38:01 -06:00
|
|
|
//
|
2011-01-19 21:09:00 -07:00
|
|
|
func SearchFloat64s(a []float64, x float64) int {
|
2010-11-18 09:46:07 -07:00
|
|
|
return Search(len(a), func(i int) bool { return a[i] >= x })
|
2010-11-10 14:19:28 -07:00
|
|
|
}
|
|
|
|
|
2012-10-27 17:07:59 -06:00
|
|
|
// SearchStrings searches for x in a sorted slice of strings and returns the index
|
2012-11-06 14:07:46 -07:00
|
|
|
// as specified by Search. The return value is the index to insert x if x is not
|
|
|
|
// present (it could be len(a)).
|
2012-11-02 17:17:34 -06:00
|
|
|
// The slice must be sorted in ascending order.
|
2012-10-30 14:38:01 -06:00
|
|
|
//
|
2010-11-10 14:19:28 -07:00
|
|
|
func SearchStrings(a []string, x string) int {
|
2010-11-18 09:46:07 -07:00
|
|
|
return Search(len(a), func(i int) bool { return a[i] >= x })
|
2010-11-10 14:19:28 -07:00
|
|
|
}
|
|
|
|
|
|
|
|
// Search returns the result of applying SearchInts to the receiver and x.
|
2011-06-10 17:25:18 -06:00
|
|
|
func (p IntSlice) Search(x int) int { return SearchInts(p, x) }
|
2010-11-10 14:19:28 -07:00
|
|
|
|
2011-01-19 21:09:00 -07:00
|
|
|
// Search returns the result of applying SearchFloat64s to the receiver and x.
|
2011-06-16 01:48:02 -06:00
|
|
|
func (p Float64Slice) Search(x float64) int { return SearchFloat64s(p, x) }
|
2010-11-10 14:19:28 -07:00
|
|
|
|
|
|
|
// Search returns the result of applying SearchStrings to the receiver and x.
|
2011-06-10 17:25:18 -06:00
|
|
|
func (p StringSlice) Search(x string) int { return SearchStrings(p, x) }
|