《算法通关之路》chapter17一些通用解题模板

《算法通关之路》学习笔记，记录一下自己的刷题过程，详细的内容请大家购买作者的书籍查阅。

1 二分法

1.1 普通二分法

# 查找nums数组中元素值为target的下标。如果不存在，则返回-1

def bs(nums: list[int], target: int) -> int :
    
    l, h = 0, len(nums) - 1
    while l <= h:
        mid = l + (h - l) // 2
        if nums[mid] == target:
            return mid
        elif nums[mid] < target:
            l = mid + 1
        else:
            h = mid - 1
    return -1

nums = [1, 2, 3, 4, 5, 6, 7, 8, 9, 10]
nums[bs(nums, 8)]

8

1.2 二分法变种

有些二分法类型的题目，在二分时无法直接判断中间元素是否为目标元素，这类问题被称作二分法变种问题。

例如：在有序数组里面查找第1个大于或等于5的元素，每次判断中间元素时，无法直接断定这个元素是否是第1个大于或等于5的元素，它可能是第2个或第3个大于或等于5的元素。

二分法变种问题大致分为两种情况：

• 查找第一个满足条件的元素
• 查找最后一个满足条件的元素

此外需要注意边界问题，这是二分法变种问题最容易出错的地方

# 查找第1个大于等于x的元素
# 左边界更新为l = mid + 1，不会产生死循环，当剩下1个元素时跳出即可

def bs(nums: list[int], target: int) -> int :

    l, h = 0, len(nums) - 1
    while l <= h:
        mid = l + (h - l) // 2
        if l == h: # 边界条件
            break
        elif nums[mid] < target:
            l = mid + 1
        else:
            h = mid
    return l

nums = [1, 2, 3, 4, 5, 6, 7, 9, 10]
nums[bs(nums, 8)]

9

# 查找最后1个小于等于x的元素
# 左边界更新为l = mid，会产生死循环，当剩下2个元素时跳出即可

def bs(nums: list[int], target: int) -> int :

    l, h = 0, len(nums) - 1
    while l <= h:
        mid = l + (h - l) // 2
        if l == h or l + 1 == h: # 边界条件
            break
        elif nums[mid] <= target:
            l = mid
        else:
            h = mid - 1
    return nums[h] if nums[h] <= target else nums[l]

nums = [1, 2, 3, 4, 5, 6, 7, 8, 10, 11]
nums[bs(nums, 8)]

10

2 回溯法

回溯法的本质是回溯思想，通常使用递归实现。
递归的实现需要考虑3个方面：搜索的设计、递归的状态及递归的结束条件。

搜索的设计
对求解空间进行划分，让每一层递归都去尝试搜索一部分解空间，直至搜索完所有可能的解空间。

递归的状态
状态是用来区分不同递归的，一般来说，我们至少携带一种状态-当前位置idx，它用于找到当前可以继续前进的搜索空间，以此进入下一层递归。

递归的结束状态
通常包括两个方面：找到可行解，提前结束搜索；搜索完毕，已经没有搜索的解空间。

# ------
ans = []
target = 0
n = 0
nums = []
error = 0
visited = set()
# ------

# idx表示当前位置，cur表示当前路径的某个信息，path表示路径
def dfs(idx, cur, path):
    
    # -------------结束条件
    # 1 找到解
    if cur == target:
        ans.append(path.copy())
        return
    
    # 2 搜索完毕
    if idx == n:
        return
    # --------------------
    
    # 考虑可能的解，进入下一层递归
    for num in nums:
        if num == error or num in visited:
            continue
        
        # 更新状态
        visited.add(num)
        dfs(idx + 1, cur + num, path + [num])

        # 恢复状态
        visited.remove(num)

3 并查集

使用parent数组记录每个节点的父节点，在初始情况下每个节点的父结点为本身，并使用rank记录每个节点为根的树的权值（树的节点数）。

• find§：当parent[p]不为p时，表示存在非本身的父节点，此时让p等于parent[p]，即向上寻找祖先节点，不断寻找祖先节点，不断重复这个过程直到parnet[p]等于p。
• union(p, q)：通过find(p,q)找到p和q的共同祖先节点，然后将权值小的祖先节点树合并到较高的树中。理论证明，这种算法能够保证合并后的树高度为O(logn)。

可以使用find§ == find(q)来判断两个节点是否属于同一个祖先。

class UnionFind:
    '''加权快速合并'''

    def __init__(self, n: int) -> None:

        self.parent = [i for i in range(n)] # 每个节点的父节点
        self.rank = [0 for _ in range(n)] # 以该节点为根的树权值（树的节点数）
        self.cnt = n # 连通区域数量
    
    def find(self, p: int) -> int: 

        while p != self.parent[p]:
            p = self.parent[p]
        
        return p
    
    def union(self, p: int, q: int) -> None: # 按秩合并

        root_p, root_q = self.find(p), self.find(q)
        if root_p == root_q:
            return
        if self.rank[root_p] > self.rank[root_q]:
            self.parent[root_q] = root_p
        elif self.rank[root_p] < self.rank[root_q]:
            self.parent[root_p] = root_q
        else:
            self.parent[root_q] = root_p
            self.rank[root_p] += 1
        self.cnt -= 1

class UnionFind:
    '''路径压缩加权快速合并'''

    def __init__(self, n: int) -> None:

        self.parent = [i for i in range(n)] # 每个节点的父节点
        self.rank = [0 for _ in range(n)] # 以该节点为根的树权值（树的节点数）
        self.cnt = n # 连通区域数量
    
    def find(self, p: int) -> int:  # 路径压缩

        if p != self.parent[p]:
            self.parent[p] = self.find(self.parent[p])
        
        return self.parent[p]
    
    def union(self, p: int, q: int) -> None: # # 按秩合并

        root_p, root_q = self.find(p), self.find(q)
        if root_p == root_q:
            return
        if self.rank[root_p] > self.rank[root_q]:
            self.parent[root_q] = root_p
        elif self.rank[root_p] < self.rank[root_q]:
            self.parent[root_p] = root_q
        else:
            self.parent[root_q] = root_p
            self.rank[root_p] += 1
        self.cnt -= 1

4 BFS

基于队列的广度优先遍历，将起始节点放入队列中，循环遍历队列中的节点。扩展节点相邻的有效节点，并将其放入队列中。

from collections import deque

grid = [0 * 5 for _ in range(5)] # n * m的矩阵

def bfs(grid):

    m, n = len(grid), len(grid[0])
    directions = [(0, 1), (0, -1), (-1, 0), (1, 0)] # 扩展方向
    visited = [[False] * n for _ in range(m)] # 记录节点是否被访问
    queue = deque()
    level = 0 # 深度

    queue.append((0, 0))
    visited[0][0] = True
    while len(queue) > 0:
        sz = len(queue)
        for _ in range(sz):
            top = queue.popleft()
            x, y = top

            # 扩展节点
            for d in directions:
                next_x, next_y = x + d[0], y + d[1]

                # 判断相邻节点是否有效
                if next_x < 0 or next_x >= m or next_y < 0 or next_y >= n:
                    continue
                
                queue.append((next_x, next_y))
                visited[next_x][next_y] = True
        level += 1
        
    return level

5 滑动窗口

借助双指针表示窗口的左边界和右边界，并非根据题目要求不断移动指针。

根据窗口大小是否固定，以及最优解为最大或最小窗口，可以将滑动窗口分为3种类型。

5.1 窗口大小固定，最优解与窗口大小无关

nums = [] # 题目给定数组
cnt = {x : 0 for x in nums} #字典记录出现次数
ans = 0 # 答案
init_len = 0 # 窗口大小

def check(cnt): # 题目所述条件
    pass

def get(left, right): # 题目要求的答案
    pass

# 初始化大小为init_len的窗口
for i in range(init_len):
    num = nums[i]
    cnt[num] += 1

left, right = 0, init_len

# 检查是否满足题目要求
if check(cnt):
    ans = get(left, right)

while right < len(nums):
    num, num2 = nums[left], nums[right]
    cnt[num] -= 1
    cnt[num2] += 1

    # 检查是否满足题目要求
    if check(cnt):
        # 优化答案
        ans = max(ans, get(left, right))
    
    left += 1
    right += 1

5.2 窗口大小不固定，最优解为最小窗口

初始化大小为0的滑动窗口；然后循环移动窗口直到抵达边界，每次右指针right向右移动一步，并检查窗口是否满足条件，如果是，则循环向右移动左指针left，每移动一步，不断尝试缩小窗口直到窗口不满足条件，更新最优解。

left, right = 0, 0
nums = [] # 题目给定数组
cnt = {x : 0 for x in nums} #字典记录出现次数
ans = len(nums) # 初始值

while right < len(nums):
    cnt[nums[right]] += 1

    # 满足题目要求，尽可能缩小窗口
    while left <= right and check(cnt):
        # 优化答案
        ans = min(ans, right - left + 1)
        # 尝试缩小窗口
        cnt[nums[left]] -= 1
        left += 1
    right += 1

5.3 窗口大小不固定，最优解为最大窗口

初始化大小为0的滑动窗口；然后循环移动窗口直到抵达边界，每次右指针right向右移动一步，并检查窗口是否不满足条件，如果是，则循环向右移动左指针left，每移动一步直到满足条件，更新最优解。

left, right = 0, 0
nums = [] # 题目给定数组
cnt = {x : 0 for x in nums} #字典记录出现次数
ans = 0 # 初始值

while right < len(nums):
    cnt[nums[right]] += 1

    # 不满足题目要求，需要缩小窗口
    while not check(cnt):
        cnt[nums[left]] -= 1
        left += 1

    ans = max(ans, right - left + 1)
    right += 1

6 数学

6.1 判断素数

def isPrime(n: int) -> bool:
    
    if n <= 1:
        return False
    i = 2
    while i * i <= n:
        if n % i == 0:
             return False
        i += 1
    
    return True

isPrime(121)

False

6.2 最大公约数

欧几里得算法： 两个整数的最大公约数等于其中较小的那个数和两数相除余数的最大公约数。

def gcd(a: int, b: int) -> int:
    return a if b == 0 else gcd(b, a % b)

6.3 最小公倍数

两个数的乘积等于这两个数最大公约数和最小公倍数的乘积，最小公倍数 = 两数乘积 / 两数最大公约数

def lcm(a, int, b: int) -> int:
    return a * b // gcd(a, b)