在你真的理解二分的写法吗 - 二分写法详解这篇博客中，有几个朋友给二分求中点mid = (l + r) / 2提出了一些疑问和改进。自己最近也对这个问题有过一些思考，因此在这里系统详细地聊聊自己的看法，看看程序中求区间终点到底应该怎么写才是完美的。

先公布程序中求区间中点的完美写法：mid = l + (r - l) / 2。

在数学上，mid = l + (r - l) / 2和mid = (l + r) / 2是等价的，这个自己通分一下就行了。但是在程序中，往往需要求一个数组区间的中点，这也就意味着区间必须是一个整数，如果中点是x.5这种情况，你是向下取整还是向上取整。这在编程中是一个很大的坑。

`mid = (l + r) / 2`的劣势

首先看看mid = (l + r) / 2这种求中点有什么劣势。

溢出
求上下界会不统一

溢出

溢出比较好理解，l + r可能会溢出int的最大范围，而l + (r - l) / 2不会，这里用减法替代了加法，这种思想很多地方都有用到，比如求最小一个数，这个数的平方大于或等于给定的一个值n，直观代码的写法如下：

int x;
for (x = 0; x * x < n; ++x) {}

循环跳出，x就是答案，但是如果n = (1 << 31) - 1呢？这个循环永远不会结束，可以试试看，原因就是x * x会大过int的最大值，从而导致溢出出现负数。正确的写法如下：

int x;
for (x = 0; x < n * 1.0 / x; ++x) {}

这就是利用除法代替乘法，规避了溢出的分险，从数学的角度来看，这两者等价，但是在编程的领域中差别很大。下面分享一个题，你就更能体会这种思想了。

这是2018湘潭邀请赛的F题，题目很好理解，给三元组排序，排序规则就是题中的不等式。这题一看不就很好写嘛，sort一下，cmp函数自己写一下，但是先看看数据范围，1≤ai,bi,ci≤1091≤ai,bi,ci≤1091 \le a_i, b_i, c_i \le 10^9。对于这种分式不等式，最好的做法就是把分式转化成乘法，也就是2A3B≤2A′3B′→6AB′≤6A′B2A3B≤2A′3B′→6AB′≤6A′B\frac{2A} {3B} \le \frac{2A'} { 3B'} \rightarrow 6AB' \le 6A'B，把数据范围代入进去，发现2.4×10192.4×10192.4\times10^{19}，而<stdint.h>中unsigned long long的最大值：#define UINT64_MAX 0xffffffffffffffffULL /* 18446744073709551615ULL */，显然直接做数据范围承受不了。

这个题正确的做法应该是把2A3B≤2A′3B′2A3B≤2A′3B′\frac{2A} {3B} \le \frac{2A'} { 3B'}转化成3B−2A3B≥3B′−2A′3B′3B−2A3B≥3B′−2A′3B′\frac{3B - 2A} {3B} \ge \frac{3B'-2A'} { 3B'}，这样子(3B−2A)∗3B′(3B−2A)∗3B′(3B-2A)*3B'的最大值为1.2×10191.2×10191.2\times 10^{19}，这是可以承受的。

通过代码如下：

#include <bits/stdc++.h>using namespace std;typedef unsigned long long uLL;typedef tuple<uLL, uLL, uLL, int> Node;int main()
{for (size_t n; EOF != scanf("%u", &n); ) {vector<Node> arr;uLL x, y, z;for (size_t i = 0; i < n; ++i)scanf("%lld%lld%lld", &x, &y, &z),arr.emplace_back(x, y, z, i);sort(arr.begin(), arr.end(), [] (const Node &A, const Node &B){uLL AA = get<2>(A) * (get<0>(B) + get<1>(B) + get<2>(B));uLL BB = get<2>(B) * (get<0>(A) + get<1>(A) + get<2>(A));return AA == BB ? get<3>(A) < get<3>(B) : AA > BB;});for (size_t i = 0; i < n; i++)printf("%u%c", get<3>(arr[i]) + 1, i == n - 1 ? '\n' : ' ');}return 0;
}

避免数据溢出的技巧还有很多，这里就先介绍到这里。

求上下界不统一

这个很有趣，一般不怎么会注意求上下界不统一这个坑，可以看下这篇博客右移一位和除二的区别。举个例子，区间[2, 5]的中点求下界是mid = (2 + 5) / 2 = 3，这没问题；区间[-5, 2]的中点求下界是mid = (-5 + 2) / 2 = -1，这里就出现问题了，[-5, 2]求下界是-2。而(l + r) / 2求出来是-1，也就是说(l + r) / 2想要正确求出区间中点的上下界就要针对(l + r)的正负做不同的处理。而用mid = l + (r - l) / 2就不会出现上述问题。

`mid = l + (r - l) / 2`的优势

mid = (l + r) / 2的劣势其实就是mid = l + (r - l) / 2的优势，这里总结一下：

不会溢出
上下界求法统一
下界：mid = l + (r - l) / 2
上界：mid = l + (r - l + 1) / 2

为什么很多人还是会写`mid = (l + r) / 2`

这是个问题，因为我也这样写，我总结了三点原因，如下。

代码短，简单
溢出这个问题一般不会发生，因为如果左右端点的范围到了10910910^9，我都会选用long long，因此就不会发生溢出
由于二分是求一个数组或向量的区间中点，那么l + r肯定不会是负数，那么也不会出现上下界不统一的问题

这也是为什么mid = (l + r) / 2能活这么久，且很多人没有发现mid = l + (r - l) / 2好处的原因。

总结

一个很小的细节里面的思想很精髓，我们应该多去思考“为什么是这样，为什么不是那样，那样和这样的区别是什么，优劣势是什么”。

C++标准库中STL的lower_bound和upper_bound也是时候解开它们的神秘面纱了，近期会写，只能说标准库中到处都是精髓，且标准库中的上下界二分比你真的理解二分的写法吗 - 二分写法详解这篇博客中的二分更好理解。

二分以及编程过程中求中点各种写法思想解析以及完美写法相关推荐

UG编程过程中的几个小技巧
UG编程过程中的几个小技巧 [一.UG运用小技巧] 当平移工作坐标系时经过向下按住ALT键,能够履行准确定位. 制图中,能够在线性尺度上用SHIFT-拖动来创立狭窄型尺度. 能够双击在资源条中的导航器 ...
c语言错误出在花括号上,初学者在学习c语言编程过程中常出现的错误分析
在高校经常中开设的第一科关于程序设计的语言就是C语言,这种语言有很多优势,比如说使用比较灵活,功能比较强大,可以用于编写程序.软件,但是对于初学者来说, 1 0 8 应用方法论 22第霸 0赫 6乱 ...
python之禅中文_《Python之禅》中对于Python编程过程中的一些建议
<Python之禅>中对于Python编程过程中的一些建议来源:中文源码网浏览: 次日期:2018年9月2日 [下载文档: <Python之禅>中对于Pyt ...
实例——在编程过程中进行单元测试
这是一个真枪实弹的例子,如何在编程过程中进行单元测试. 本文以一个图书馆的书籍管理系统作为例子,讲述一个单元测试--编码的循环过程.这里只讲述一个独立画面的编写.画面的编码分两个部分,业务数据部分和界 ...
学习编程过程中--＞遇到的错误
文章目录学习编程过程中-->遇到的错误(吕招焕) 1.java.sql.SQLException: Parameter index out of range (2 > number of ...
Qt的日常编程过程中遇见的问题和使用
Qt的日常编程过程中遇见的问题和注意 Qt的日常编程过程中遇见的问题 1.QString和String的转化的格式问题,中文转化过程中会出现问题. 2.使用qcustomplot的时候出现错误:LIN ...
AOP编程过程中的JoinPoint接口
在AOP编程过程中需要使用到的一个 JoinPoint 接口,用来获取调用的信息,下面是这个接口的代码 // // Source code recreated from a .class file b ...
JAVA面试要点004_JAVA编程过程中为了性能优化_应该注意到的地方
最近的机器内存又爆满了,出了新增机器内存外,还应该好好review一下我们的代码,有很多代码编写过于随意化,这些不好的习惯或对程序语言的不了解是应该好好打压打压了. 下面是参考网络资源和总结一些在ja ...
编程中python怎么读-对Python新手编程过程中如何规避一些常见问题的建议
这篇文章收集了我在Python新手开发者写的代码中所见到的不规范但偶尔又很微妙的问题.本文的目的是为了帮助那些新手开发者渡过写出丑陋的Python代码的阶段.为了照顾目标读者,本文做了一些简化(例如: ...
转 PHP编程过程中需要了解的this,self,parent的区别
{一}PHP中this,self,parent的区别之一this篇面向对象编程(OOP,Object Oriented Programming)现已经成为编程人员的一项基本技能.利用OOP的思想进行 ...

二分以及编程过程中求中点各种写法思想解析以及完美写法

`mid = (l + r) / 2`的劣势

溢出

求上下界不统一

`mid = l + (r - l) / 2`的优势

为什么很多人还是会写`mid = (l + r) / 2`

总结

二分以及编程过程中求中点各种写法思想解析以及完美写法相关推荐

最新文章

热门文章

二分以及编程过程中求中点各种写法思想解析以及完美写法

mid = (l + r) / 2的劣势

溢出

求上下界不统一

mid = l + (r - l) / 2的优势

为什么很多人还是会写mid = (l + r) / 2

总结

二分以及编程过程中求中点各种写法思想解析以及完美写法相关推荐

最新文章

热门文章

`mid = (l + r) / 2`的劣势

`mid = l + (r - l) / 2`的优势

为什么很多人还是会写`mid = (l + r) / 2`