y总和数据结构的 二分思想对比

y总的整数二分思想：

ps：因为整数的除法是取整，所以会出现一些问题，
而如果是浮点数进行二分的话就不会存在这些问题。

分为两种写法：

ps：按照区间来划分的话，如果能找到的话，那么结果只有两种可能，
第一种：
结果在左区间的右端点上
第二种：
结果在右区间的左端点上

1.key可能在右区间的左端点

#include<iostream>
#include<set>
#include<unordered_set>
#include<map>
#include<unordered_map>
#include<string>
using namespace std;

const int N = 5;

int a[N + 1] = { 0,2,3,8,10,20 };


int b_search(int key) {
	int l=1, r=N, m;
	while (l < r) {
		m = (l + r+1) / 2;
		if (key >= a[m]) l = m;
		else r = m-1 ;
	}
	if (a[l] != key) l = -1;
	return l;
}

int main() {
	int key;
	
	for (int i = 1; i <= N;i++) {
		cout << a[i] << " ";
	}
	cout << endl;
	while (1) {
		cin >> key;
		cout << b_search(key) << endl;
	}
	
	return 0;
}

2.key可能在左区间的右端点

#include<iostream>
#include<set>
#include<unordered_set>
#include<map>
#include<unordered_map>
#include<string>
using namespace std;

const int N = 5;

int a[N + 1] = { 0,2,3,8,10,20 };


int b_search(int key) {
	int l=1, r=N, m;
	while (l < r) {
		m = (l + r) / 2;
		if (key <= a[m]) r = m;
		else  l = m+1 ;
	}
	if (a[r] != key) r = -1;
	return r;
}

int main() {
	int key;
	
	for (int i = 1; i <= N;i++) {
		cout << a[i] << " ";
	}
	cout << endl;
	while (1) {
		cin >> key;
		cout << b_search(key) << endl;
	}
	
	return 0;
}

二分的关键点是：
①找到一个区间使得key在此区间内
②使得这个区间具有二段性：
这两段中有且仅有一段存在key
key即为其中一段的边界值

以下是两种二分写法的模板：
①l=m

/*
	模板思路：

*/
while(l<r){
	m=(l+r+1)/2;
	if(key>=a[m])	l=m;
	else	r=m-1;
	//因为写l=m; 所以改为m(l+r+1)/2;
}
//key在右区间的左端点，即a[l],
//若a[l]==key;则找到 且l为下标。
//若不等的话，则不存在key

②r=m

/*
	模板思路：

*/
while(l<r){
	m=(l+r)/2;
	if(key<=a[m])	r=m;
	else	l=m+1;
	//因为写r=m; 所以不需要修改;
}
//key在左区间的右端点，即a[r],
//若a[r]==key;则找到 且r为下标。
//若不等的话，则不存在key

③数据结构的二分思想

while(l<=r){
	m=(l+r)/2;
	if(key==a[m]) return m;
	if(key<a[m])	r=m-1;
	else	l=m+1;
}
return -1;