（原文是发送到UESTCACM微信的，所以欢迎大家关注哦~
大家好，我是萌萌的微信酱！
又到了一周一度难得的周三了哦，你们找到女朋友了吗？喵。
另外你们有没有想我呢？
众人：没有。
呜呜呜呜呜……
（擦干眼泪。）
这周呢，我要讲的算法是二分法，至于为什么要讲这个算法呢，我才不会告诉你们是因为这周的每周一题就是二分呢。
引入一道例题：
Block Towers（来源codeforces 8VC Venture Cup 2016 - Elimination Round C题）
题意：
你需要找n个2的倍数，m个3的倍数，要求所有数都不一样
你的目的是使得其中最大的数最小，然后问你这个数是多少呢？
(0 ≤ n, m ≤ 1 000 000, n + m > 0)
喵，题意讲完了~
你们知道怎么做吗？
只见迅雷不及掩耳盗铃之势，小郭同学一看到这道题，大呼：“这不是傻X题吗？我会做了！”
小郭说：“这道题贪心就好了，由于是2和3之间的关系，肯定3得优先排前面，我先把3分配完，然后再弄2就好了！”
小郭三下五除二就把代码写完，submit！
duang，Wrong answer on pretest 4。
哼，这周的主题就是二分，怎么能够让你贪心贪过去呢？（一脸傲娇
第4个数据是 4 2，贪心的话，答案是10，但实际答案可以是9.
这道题，如果正面去贪心的话，情况多多，比较麻烦，而且写着好累啊。
那么我们怎么做呢？
我们首先第一步，认识到这个答案是具有单调性的！
如果T这个值是符合答案的，那么存在To>T,To显然也是符合答案的。
因为To范围内的数显然比T多，而且To完全可以和T选取一模一样的数出来。
反之，如果T是不符合答案的，如果To<T，显然To也是不符合答案的。
然后我们就可以开始二分答案咯。
我们把问题转换为，给你T，问你T范围内，是否能够分离出n个2的倍数，和m个3的倍数，并且这些数都是不一样的呢？
只听喵的一声，沈宝宝说他会做了！
沈宝宝说：“我们可以知道，T范围内，是2的倍数的数有T/2个，是3的倍数的有T/3个，即是2又是3的倍数的数，有T/6个，那么只要(max(0,n-(T/2-T/6))+max(m-(T/3-T/6),0))<=T/6就好了！" 。
回答正确！奖励一颗糖！
我们就二分答案，不断check就好了。
我们首先找到答案的下界，l = 0，以及答案的上界r = 3*1000000。
然后我们不断check((l+r)/2)，如果(l+r)/2是符合答案的，那么根据单调性，显然[(l+r)/2,+∞)这个范围，都是符合答案的，那么我们令r = mid。如果(l+r)/2不符合答案，同理，根据单调性，(-∞,(l+r)/2]都是不符合答案的，我们就令l=mid。
然后这样不断的进行check，直到l > r的时候，这样我们就能找到那个不符合和符合的分界线了~
这条分界线，显然就是答案咯。
喵，每一次check的时候，时间复杂度是O(1)，我最多check logn次，所以二分的总时间复杂度是O(logn)的，完全可以接受。
于是，我得到了Accepted。
喵喵喵，二分就讲完了，你们懂了吗？
如果不懂就给微信酱留言哦，或者在QQ群提问，微信酱会积极的解答的 ( ͡° ͜ʖ ͡°)
米娜桑，加油吧~