gitbook-way-to-algorithm
  • Introduction
  • Preface 前言
  • Content 目录
  • MathSymbolTable 数学符号表
  • Chapter-1 BasicKnowledge 第1章 基础知识
    • TimeComplexity 时间复杂度
    • Recursion 递归式
  • Chapter-2 Sort 第2章 排序
    • InsertSort 插入排序
    • BubbleSort 冒泡排序
    • QuickSort 快速排序
    • MergeSort 归并排序
  • Chapter-3 Search 第3章 搜索
    • BinarySearch 二分查找法(折半查找法)
    • AdditionMultiplicationPrinciple 加法乘法原理
    • BruteForce 暴力枚举
    • Recursion 递归
    • BreadthFirstSearch 广度优先搜索
    • BidirectionalBreadthSearch 双向广度搜索
    • AStarSearch A*搜索
    • DancingLink 舞蹈链
  • Chapter-4 DataStructure 第4章 数据结构
    • DisjointSet 并查集
    • PrefixTree(TrieTree) 前缀树
    • LeftistTree(LeftistHeap) 左偏树(左偏堆)
    • SegmentTree 线段树
    • FenwickTree(BinaryIndexedTree) 树状数组
    • BinarySearchTree 二叉查找树
    • AVLTree AVL平衡树
    • RedBlackTree 红黑树
    • SkipList 跳跃表
    • BPlusTree B+树
    • BMinusTree B-树
  • Chapter-5 DynamicProgramming 第5章 动态规划
    • Section-1 LinearDP 第1节 线性动规
      • LongestCommonSubsequence 最长公共子序列
      • LongestIncreasingSubsequence 最长递增子序列
      • BidirectionalSubsequence 双向子序列
      • MaximumContinuousSubsequenceSum 最大连续子序列和
      • LongestPalindromicSubsequence 最长回文子序列
    • Section-2 BagDP 第2节 背包问题
      • 01-Bag 01背包
      • CompleteBag 完全背包
      • TwoDimensionBag 二维背包
    • Section-3 RegionalDP 第3节 区域动规
      • MinimumMergeCost - 最小合并代价
      • UniquePath 唯一路径
      • TrianglePath 三角形路径
    • Section-4 TreeDP 第4节 树形动规
      • MaximumBinaryTree 最大二叉树
      • MaxMultipleTree 最大多叉树
      • MaximumBinaryTreeRadiusSum 最大二叉树和
  • Chapter-6 GraphTheory 第6章 图论
    • Section-1 Traverse 第1节 遍历
      • DepthFirstSearch 深度优先搜索
      • BreadthFirstSearch 广度优先搜索
      • TopologicalSort 拓扑排序
      • EulerCycle 欧拉回路
    • Section-2 MinSpanningTree 第2节 最小生成树
      • Kruskal Kruskal算法
      • Prim Prim算法
    • Section-3 ShortestPath 第3节 最短路径
      • BellmanFord BellmanFord算法
      • Dijkstra Dijkstra算法
      • FloydWarshall FloydWarshall算法
      • DifferentConstraints 差分约束
    • Section-4 StronglyConnectedComponents 第4节 强连通分支
      • Kosaraju Kosaraju算法
      • Tarjan Tarjan算法
      • 2-SAT 2-SAT问题
    • Section-5 NetworkFlow 第5节 网络流
      • EdmondsKarp EdmondsKarp算法(最短路径增广算法)
      • PushRelabel 压入与重标记算法
      • Dinic - Dinic算法
      • MinimumCostFlow - 最小费用流
      • MultipleSourceMultipleSinkMaxflow - 多源点多汇点最大流
    • Section-6 BinaryMatch 第6节 二分匹配
      • Hungarian 匈牙利算法
      • HopcroftKarp Hopcroft-Karp算法
      • MatchToMaxflow 二分匹配转化为最大流
      • KuhnMunkres Kuhn-Munkres算法
      • Introduction-Domination,Independent,Covering,Clique 介绍支配集、独立集、覆盖集和团
      • WeightedCoveringAndIndependentSet 最小点权覆盖和最大点权独立集
      • MinimumDisjointPathCovering 最小不相交路径覆盖
      • MinimumJointPathCovering 最小可相交路径覆盖
      • Coloring 染色问题
  • Chapter-7 CombinatorialMathematics 第7章 组合数学
    • FullPermutation 全排列
    • Combination 组合
    • Permutation 排列
    • PermutationGroup 置换群
  • Chapter-8 NumberTheory 第8章 数论
    • PrimeSieve 素数筛法
    • GreatestCommonDivisor 最大公约数
    • Euclid 欧几里得算法
    • ExtendedEuclid 扩展欧几里得算法
    • ChineseRemainerTheorem 中国剩余定理
    • ModularExponentiation 模幂运算
  • Chapter-9 LinearAlgebra 第9章 线性代数
    • Section-1 Matrix 第1节 矩阵
      • Strassen Strassen算法
      • GaussElimination 高斯消元法
      • LUP LUP分解
      • InverseMatrix 矩阵求逆
    • Section-2 LinearProgramming 第2节 线性规划
      • Simplex 单纯形算法
      • Dinkelback Dinkelback算法
  • Chapter-10 AnalyticGeometry 第10章 解析几何
    • Section-1 Polygon 第1节 多边形
      • Cross 向量叉积
      • SegmentIntersection 线段相交
      • Sweeping 扫除算法
      • ConvexPolygonArea 凸多边形面积
      • ConvexPolygonGravityCenter 凸多边形重心
      • NearestNeighbor 最近点对
    • Section-2 ConvexHull 第2节 凸包
      • GrahamScan Graham扫描算法
      • QuickHull 快速凸包算法
      • RotatingCalipers 旋转卡壳
  • Chapter-11 PatternMatch 第11章 文本匹配
    • SimpleMatch 简单匹配
    • AhoCorasickAutomata AC自动机
    • KnuthMorrisPratt KMP匹配算法
    • RabinKarp RabinKarp算法
    • BoyerMoore BoyerMoore算法
  • Chapter-12 GameTheory 第12章 博弈论
    • BashGame 巴什博弈
    • WythoffGame 威佐夫博弈
    • NimGame 尼姆博弈
Powered by GitBook
On this page
  • 问题
  • 解法
  • 复杂度
  • 源码
  • 测试
  1. Chapter-3 Search 第3章 搜索

BinarySearch 二分查找法(折半查找法)

PreviousChapter-3 Search 第3章 搜索NextAdditionMultiplicationPrinciple 加法乘法原理

Last updated 6 years ago

问题

在长度为nnn的升序(从小到大)序列sss中查找元素xxx的位置。

解法

令low=0,high=n−1,mid=⌊low+high2⌋low = 0, high = n-1, mid = \lfloor \frac{low+high}{2} \rfloorlow=0,high=n−1,mid=⌊2low+high​⌋,元素xxx与midmidmid的关系有三种情况:

(1) 若x=s[mid]x = s[mid]x=s[mid],显然已经查询到元素xxx的位置,算法结束;

(2) 若x<s[mid]x \lt s[mid]x<s[mid],则xxx处于s[mid]s[mid]s[mid]左边;

(3) 若x>s[mid]x \gt s[mid]x>s[mid],则xxx处于s[mid]s[mid]s[mid]右边;

该操作用伪代码表示为:

function Search(s, low, high, x):
    let mid = (low + high) / 2
    if x = s[mid]
        return true, mid
    else if x < s[mid]
        return false, low, mid-1
    else if x > s[mid]
        return false, mid+1, high

(1) Search函数第2行:计算搜索范围的中间位置midmidmid,以s[mid]s[mid]s[mid]为基准与xxx进行比较;

上述操作,可以用下图中的示例:

外围只需循环调用Search函数即可:

function BinarySearch(s, n, x):
    let low = 0, high = n-1
    while low <= high
        let found, low, high = Search(s, low, high, x)
        if found
            return low
    return -1

复杂度

即:

源码

测试

(2) Search函数第3-8行:比较s[mid]s[mid]s[mid]和xxx,若x=s[mid]x = s[mid]x=s[mid]则找到结果,若x<s[mid]x \lt s[mid]x<s[mid]则在s[low,mid−1]s[low, mid-1]s[low,mid−1]继续寻找,若x>s[mid]x \gt s[mid]x>s[mid]则在s[mid+1,high]s[mid+1, high]s[mid+1,high]继续寻找;

若x=17=s[mid]x = 17 = s[mid]x=17=s[mid],可以直接找到x=s[4]x = s[4]x=s[4]:

若x=5<s[mid]=17x = 5 \lt s[mid] = 17x=5<s[mid]=17,则令high=3high = 3high=3之后继续搜索:

若x=30>s[mid]=17x = 30 \gt s[mid] = 17x=30>s[mid]=17,则令low=5low = 5low=5之后继续搜索:

Search函数的输入规模为T(4)T(4)T(4),该函数中最多有1次加法、1次除法、3次比较操作,因此时间复杂度为

T(4)=O(5)=O(1)T(4) = O(5) = O(1)T(4)=O(5)=O(1)

BinarySearch函数的输入规模为T(n)T(n)T(n),每次调用Search函数后high−lowhigh - lowhigh−low的值都会减小一半,即

T(n)=T(n2)+O(1)=T(n22)+2⋅O(1)=T(n23)+3⋅O(1)=⋯\begin{matrix} T(n) & = & T(\frac{n}{2}) + O(1) \\ & = & T(\frac{n}{2^2}) + 2 \cdot O(1) \\ & = & T(\frac{n}{2^3}) + 3 \cdot O(1) \\ & = & \cdots \end{matrix}T(n)​====​T(2n​)+O(1)T(22n​)+2⋅O(1)T(23n​)+3⋅O(1)⋯​

假设递归层数为LLL,可得:

T(n2L)=1T(\frac{n}{2^L}) = 1T(2Ln​)=1
L=T(log2n)=O(log2n)L = T(log_2 n) = O(log_2 n)L=T(log2​n)=O(log2​n)

将LLL代入原始递推公式,可得:

T(n)=T(n2L)+L⋅O(1)=O(1)+O(log2n)⋅O(1)=O(log2n)\begin{matrix} T(n) & = & T(\frac{n}{2^L}) + L \cdot O(1) \\ & = & O(1) + O(log_2 n) \cdot O(1) \\ & = & O(log_2 n) \end{matrix}T(n)​===​T(2Ln​)+L⋅O(1)O(1)+O(log2​n)⋅O(1)O(log2​n)​

该算法时间复杂度为O(log2n)O(log_2 n)O(log2​n),空间复杂度为O(1)O(1)O(1)。

BinarySearch.h
BinarySearch.cpp
BinarySearchTest.cpp
BinarySearch1.png
BinarySearch2.png
BinarySearch3.png