浅谈OI中的二分答案和三分

首先......我是一个很菜很菜的萌新，所以这篇文章写得很详细，有很多我自己的口水话方便我理解，请各位谨慎食用qwq
以前在网上找过很多介绍二分的博客，但都感觉对萌新不太友好，反正我当时连跳石头都没看懂，所以决定自己写一篇！其中有我的想法，也借鉴了书里的很多内容，感谢lyd。

二分答案，顾名思义，就是对我们所需要的答案进行二分，对我们要求的值进行二分。
二分的基础用法是在单调序列或者单调函数当中查找，当答案具有单调性，我们就可以采用二分来计算，当然还有三分，在后面我会详细讲到

整数集合上的二分

在单调递增序列a中查找>=x的数当中最小的一个

while(l<r)
{
int mid=(l+r)>>1;
if(a[mid]>=x) r=mid; //普适模板:if(check()) r=mid;else l=mid+1;，下同。 
else l=mid+1;
}
return a[l];

 

在单调递增序列a中查找<=x的数当中最大的一个

while(l<r)
{
int mid=(l+r+1)>>1;
if(a[mid]<=x) l=mid;
else r=mid-1;    
} 
return a[l];

 

根据以上两种代码形式 可以总结出二分的两种常用形式
1.r=mid,l=mid+1,取中间值的时候,mid=(l+r)>>1;
2.l=mid,r=mid-1,取中间值的时候,mid=(l+r+1)>>1;

注意
1.如果不对mid的取法进行区分，可能会造成出错的情况，在平时的练习当中，希望大家能注意选择，我不再赘述，《进阶指南》里面讲得很详细啦。
2.在二分当中，我们采用的是右移运算而不是除法，是因为右移运算是向下取整的，但除法向0取整。

终止条件：l==r 也就是答案所在的位置啦

实数域上的二分

实数域会方便很多，具体两种方法。

1.给出精度eps 以l+eps

while(l+eps{
//自己写啦！
}

2.暴力循环100次 完全不用担心不够 2^100已经超过了int类型~
for(int i=0;i<100;i++)
{
//自己写.jpg
}

关于二分的知识点大概就是上面这些，但是大家在写代码的时候一定要注意各种边界条件，比如说l和r之间可不可以取等号，又或者mid是+1，-1还是不加不减。
我个人感觉二分当中的坑点很多，反正我经常因为各种乱七八糟的边界条件debug老半天，肯定是编译器的锅！可能我还是比较菜对题目/模板的理解不够深......

下面给出两道练习题
洛谷P1873砍树 题解(附带原OJ链接)

洛谷P2678跳石头(NOIP2015) 题解(附带原OJ链接)

关于三分

三分，顾名思义就是分成三份，它主要用于求单峰函数的极值。
单峰函数，就是一个有极大值或者极小值的函数。
如果有极大值，那么极大值的左边是单调递增，右边单调递减；
如果有极小值，那么极小值的左边是单调递减，右边是单调递增。
其实我脑袋里面已经自动脑补了一个二次函数了......
(但两者不能划等号哦！二次函数是单峰函数，但单峰函数中仅仅是包含了二次函数)

关于单峰函数求极值的分析

以一个有极大值的单峰函数为例(如图所示)
若此函数有纵坐标y11.x1和x2都在极大值的左边，并且x12.x1在极大值的左边，x2在极大值的右边
通过分析，我们可以发现，x1总在极大值的左边。
若此函数有纵坐标y1>y2，那么它横坐标的情况也是两种。
1.x1和x2都在极大值的右边，并且x1(感谢我の学长兼男神cjrhahahahaha指正此处 应为x1
2.x1在极大值的左边，x2在极大值的右边
通过分析，我们可以发现，x2总在极大值的右边。
根据以上两种操作，我们可以不停进行三分，直到找到极大值，对于有极小值的单峰函数也是同一个道理。

放两张图在这里，大家自行理解吧......

针对有极大值，且有y1

针对有极小值，且有y1>y2的单峰函数。

qwq三分的知识其实比起二分更简单易懂，因为它能解决的题目范围更狭窄，但需要较强的数学思维，在题目中
能够找出单峰函数的思想。 二分只是一个简单的模板，如果运用到具体的问题当中，要先理清楚这道题有没有二分思想，
同时呢，我认为二分当中的核心应该是check()函数。

下面给出一道题

洛谷P1873 传送带(SCOI2010) 题解(附原OJ链接)

二分的题解就到这里了，很感慨。第一次接触二分我还是一个普及组萌新时根本就看不懂跳石头，甚至完全无法理解......

事实证明，成长的道路上荆棘满布，但只要我们勇敢前行，就没有无法克服的艰难险阻！