STL 二分查找三兄弟(lower_bound(),upper_bound(),binary_search())
一:起因
(1)STL中关于二分查找的函数有三个:lower_bound 、upper_bound 、binary_search —— 这三个函数都运用于有序区间(当然这也是运用二分查找的前提),以下记录一下这两个函数;
(2)ForwardIter lower_bound(ForwardIter first, ForwardIter last,const _Tp& val)算法返回一个非递减序列[first, last)中的第一个大于等于值val的位置;
(3)ForwardIter upper_bound(ForwardIter first, ForwardIter last, const _Tp& val)算法返回一个非递减序列[first, last)中的第一个大于值val的位置。
二:lower_bound和upper_bound例如以下图所看到的:
(1)lower_bound函数源码:
- //这个算法中,first是终于要返回的位置
- int lower_bound(int *array, int size, int key)
- {
- int first = 0, middle;
- int half, len;
- len = size;
- while(len > 0) {
- half = len >> 1;
- middle = first + half;
- if(array[middle] < key) {
- first = middle + 1;
- len = len-half-1; //在右边子序列中查找
- }
- else
- len = half; //在左边子序列(包括middle)中查找
- }
- return first;
- }
分析:既然lower_bound()函数返回的是first的指针,那就看first指针变化的位置——first = middle + 1;的条件是 严格的小于(<),即大于等于(>=)时first的位置是不变的。或者能够这样理解,当middle指向的值 < key时,first 指向middle的下一个位置,而下一个位置可能等于或者大于key;因此 该函数是返回一个非递减序列[first,
last)中的第一个大于等于值val的位置。
(2)upper_bound函数源码:
- int upper_bound(int *array, int size, int key)
- {
- int len = size-1;
- int half, middle;
- while(len > 0){
- half = len >> 1;
- middle = first + half;
- if(array[middle] > key) //中位数大于key,在包括last的左半边序列中查找。
- len = half;
- else{
- first = middle + 1; //中位数小于等于key,在右半边序列中查找。
- len = len - half - 1;
- }
- }
- return first;
- }
分析:既然upper_bound()函数返回的是first的指针,那就看first指针变化的位置——first = middle + 1;的条件是 小于等于(<=),即仅仅有严格大于(>)时first的位置是不变的。或者能够这样理解,当middle指向的值 <= key时,first 指向middle的下一个位置,而下一个位置可能等于或者大于key,可是要是仍是等于的话,first会继续指向middle的下一位置,直到大于为止;因此
该函数是返回一个非递减序列[first, last)中的第一个大于值val的位置。
(3)binary_search函数源码
- //int BinSearch(SeqList*R,int n,KeyType K)
- int bin_search(int arr[],const int &n,const int &k)
- {
- //在有序表R[0..n-1]中进行二分查找,成功时返回结点的位置,失败时返回-1
- int low=0,high=n-1,mid;//置当前查找区间上、下界的初值
- while(low<=high)
- {
- mid=low+((high-low)/2);
- //使用(low+high)/2会有整数溢出的问题
- //(问题会出如今当low+high的结果大于表达式结果类型所能表示的最大值时,
- //这样,产生溢出后再/2是不会产生正确结果的,而low+((high-low)/2)不存在这个问题
- if(arr[mid] == k)
- return mid;//查找成功返回
- if(arr[mid] > k)
- high=mid-1;//继续在R[low..mid-1]中查找
- else
- low=mid+1;//继续在R[mid+1..high]中查找
- }
- if(low>high)
- return low;//当low>high时表示所查找区间内没有结果,查找失败
- }
- int bin_search2(int arr[],const int &n,const int &k)
- {
- if(arr && n>0)// 对数组和数组长度进行了推断,很好的改进,上面也应该由此个改进的
- {
- int low,mid,high;
- float rate;
- low = 0;
- high = n-1;
- while(low<=high)
- {
- rate = (k-arr[low])*1.0/(arr[high]-arr[low]);
- if(rate>1 || rate <0)// 相应数组的边界,不在数组中
- return -1;
- mid = low+(high-low)*rate;
- if(arr[mid] == k)
- return mid;
- else if(arr[mid] > k)
- high = mid - 1;
- else
- low = mid + 1;
- }
- return -1;// 查找失败
- }
- return -1;
- }
分析:既然binary_search()函数返回的是middle 或 未找到时的指针,那就看middle指针变化的位置——mid = low + (high - low)/2;的条件是最外层while的条件(没有条件限制)第一次相等时就返回middle或者查找失败;因此
该函数是返回一个非递减序列[first, last)中的第一次找到的等于值val的位置,有可能是第一个中间的最后一个(如有序序列 ……3 3 3 ……)。
三:比較说明
(1)分析:既然lower_bound()函数返回的是first的指针,那就看first指针变化的位置——first = middle + 1;的条件是 严格的小于(<),即大于等于(>=)时first的位置是不变的。或者能够这样理解,当middle指向的值 < key时,first 指向middle的下一个位置,而下一个位置可能等于或者大于key;因此 该函数是返回一个非递减序列[first,
last)中的第一个大于等于值val的位置。
(2)分析:既然upper_bound()函数返回的是first的指针,那就看first指针变化的位置——first
= middle + 1;的条件是 小于等于(<=),即仅仅有严格大于(>)时first的位置是不变的。或者能够这样理解,当middle指向的值 <= key时,first 指向middle的下一个位置,而下一个位置可能等于或者大于key,可是要是仍是等于的话,first会继续指向middle的下一位置,直到大于为止;因此 该函数是返回一个非递减序列[first, last)中的第一个大于值val的位置。
(3)分析:既然binary_search()函数返回的是middle
或 未找到时的指针,那就看middle指针变化的位置——mid = low + (high - low)/2;的条件是最外层while的条件(没有条件限制)第一次相等时就返回middle,或者查找失败;因此 该函数是返回一个非递减序列[first, last)中的第一次找到的等于值val的位置,有可能是第一个中间的最后一个(如有序序列
……3 3 3 ……)。
(4)更正说明(优化说明)形式统一,格式统一,这样比較好的,就是不要太脱离你比較熟悉的binary_search()函数的形式,或者核心思想
- #include <iostream>
- using namespace std;
- //这个算法中,first是终于要返回的位置
- int lower_bound(int *array, int size, int key)
- {
- int first = 0, middle;
- int half, len;
- len = size;
- while(len > 0) {
- half = len >> 1;
- middle = first + half;
- if(array[middle] < key) {
- first = middle + 1;
- len = len-half-1; //在右边子序列中查找
- }
- else
- len = half; //在左边子序列(包括middle)中查找
- }
- return first;
- }
- int upper_bound(int *array, int size, int key)
- {
- int first = 0;
- int len = size-1;
- int half, middle;
- while(len > 0){
- half = len >> 1;
- middle = first + half;
- if(array[middle] > key) //中位数大于key,在包括last的左半边序列中查找。
- len = half;
- else{
- first = middle + 1; //中位数小于等于key,在右半边序列中查找。
- len = len - half - 1;
- }
- }
- return first;
- }
- int lower(int *,int,int);
- int upper(int*,int,int);
- int main()
- {
- int key;
- cout << "Hello world!" << endl;
- int arr[] = {1,2,2,3,4,4,4,4,5,6,7,9,9,10};
- while(cin >> key)
- {
- cout << "1ziji: " << lower(arr,sizeof(arr)/sizeof(arr[0]),key) << endl;
- cout << "2: " << lower_bound(arr,sizeof(arr)/sizeof(arr[0]),key) << endl;
- cout << "3: " << upper_bound(arr,sizeof(arr)/sizeof(arr[0]),key) << endl;
- cout << "4ziji: " << upper_bound(arr,sizeof(arr)/sizeof(arr[0]),key) << endl;
- }
- return 0;
- }
- int lower(int arr[],int size,int key)
- {
- if(arr && size > 0)
- {
- int l = 0;
- int r = size -1;
- int mid;
- while(l < r)
- {
- mid = l + (r-l)/2;
- if(*(arr+mid)>=key)
- r = mid;
- else
- l = mid + 1;
- }
- return l;
- }
- return -1;
- }
- int upper(int*arr,int size,int key)
- {
- if(arr && size > 0)
- {
- int l = 0;
- int r = size -1;
- int mid;
- while(l < r)
- {
- mid = l + (r-l)/2;
- if(arr[mid]>key)
- r = mid;
- else
- l = mid+1;
- }
- return l;
- }
- return -1;
- }
(5)执行结果(当时没有upper()函数的)
加上upper()函数之后的效果例如以下:
STL 二分查找三兄弟(lower_bound(),upper_bound(),binary_search())的更多相关文章
- STL入门--sort,lower_bound,upper_bound,binary_search及常见错误
首先,先定义数组 int a[10]; 这是今天的主角. 这四个函数都是在数组上操作的 注意要包含头文件 #include<algorithm> sort: sort(a,a+10) 对十 ...
- STL中的二分查找———lower_bound,upper_bound,binary_search
关于STL中的排序和检索,排序一般用sort函数即可,今天来整理一下检索中常用的函数——lower_bound , upper_bound 和 binary_search . STL中关于二分查找的函 ...
- STL二分查找函数的应用
应用二分查找的条件必须是数组有序! 其中二分查找函数有三个binary_serch,upper_bound,lower_bound 测试数组 int n1[]={1,2,2,3,3,4,5}; int ...
- C++ STL 二分查找
转载自 https://www.cnblogs.com/Tang-tangt/p/9291018.html 二分查找的函数有 3 个: 参考:C++ lower_bound 和upper_bound ...
- stl lower_bound upper_bound binary_search equal_range
自己按照stl实现了一个: http://www.cplusplus.com/reference/algorithm/binary_search/ 这里有个注释,如何判断两个元素相同: Two e ...
- STL 二分查找
实现源码:https://www.cnblogs.com/cobbliu/archive/2012/05/21/2512249.html 1.在一个递增的数组(或vector)中查找元素属于[ s , ...
- SDUT2157——Greatest Number(STL二分查找)
Greatest Number 题目描述Saya likes math, because she think math can make her cleverer.One day, Kudo invi ...
- C++ STL之查找算法
C++STL有好几种查找算法,但是他们的用法上有很多共同的地方: 1.除了binary_search的返回值是bool之外(查找的了返回true,否则返回false),其他所有的查找算法返回值都是一个 ...
- lower_bound && upper_bound
用lower_bound进行二分查找 ●在从小到大排好序的基本类型数组上进行二分查找. 这是二分查找的一种版本,试图在已排序的[first,last)中寻找元素value.如果[first,last ...
随机推荐
- NanShan即时通讯论——HTML5的优势与劣势
原文:NanShan即时通讯论--HTML5的优势与劣势 NanShan即时通讯 学习html时才是XHTML 1.0,接着是 HTML4.01,再到HTML5,如今HTML5 開始吸引越来越多的人的 ...
- IOS SWIFT 网络请求JSON解析 基础一
前言:移动互联网时代,网络通信已经是手机端必不可少的功能.应用中也必不可少地使用了网络通信,增强客户端与服务器交互.使用NSURLConnection实现HTTP的通信.NSURLConnection ...
- 关于php判断中文字符的问题
在网上找了好多例子,还是这个靠谱点: UTF-8匹配: 在javascript中,要判断字符串是中文是很简单的.比如: var str = "php编程"; if (/^[\u4e ...
- docker学习笔记3:镜像操作(查找和下载)
一.查看本地镜像 只有下载后,镜像才会保存在本地(docker环境所在的主机),通过如下命令可以查看本地已经存在的镜像. 命令:dokcer images 上面命令列出本地所有已经存在的镜像,显示的信 ...
- Perl概述
@home = ("couch", "chair", "table", "stove"); 数组 数组.一个数组是多个标 ...
- The type MultipartEntity is deprecated
在HttpCient4.3之前上传文件主要使用MultipartEntity这个类,但如今这个类已经不在推荐使用了(过时了).随之替代它的类是MultipartEntityBuilder.关于Mult ...
- qingshow “不积跬步无以至千里,不积小流无以成江海”。--荀子《劝学篇》 用tomcat+花生壳搭建自己的web服务器+域名(参考)
链接地址:http://www.blogjava.net/qingshow/archive/2010/01/17/309846.html 用tomcat搭建web服务器 目标:免费拥有自己的网站及域名 ...
- 怎样在ios开发中设置tableview的cell颜色
//方法一: cell .contentView .backgroundColor = [ UIColor redColor ]; //方法二: UITableViewCell *cell = [ta ...
- <转载>Div+Css布局教程(-)CSS必备知识
目录: 1.Div+Css布局教程(-)CSS必备知识 注:本教程要求对html和css有基础了解. 一.CSS布局属性 Width:设置对象的宽度(width:45px). Height:设置对象的 ...
- Microsoft office PPT 2007 保存时速度慢(整理自网上)
问题描述: XP sp3上运行PPT2007,当需要保存文件时,发现竟然需要近1分钟才能保存完毕,其间可能会出现“瘟都死沙漏”来提示你正在保存. 这简直慢到过分慢到无法容忍,一开始以为是ppt文件过大 ...