纠错建议 35 分钟学习等级 5/8

PYTHON LESSON 077

易错诊所:五级最容易踩的五个坑

逐一诊断五级五个高频错误(质数判定漏边界、筛法漏 0 和 1、辗转相除条件写绕、二分死循环、约数漏搭档),并给出正确写法。

00 · 学习目标

这一课要解决什么?

先想一想为什么 1 总是被粗心的程序误判成质数?
完成任务程序错题门诊部
学习顺序观察错误 → 定位原因 → 最小修改 → 回归测试

学完后,你应该能够

  • 判质数先查 n < 2
  • 二分缩边界必须 ±1
  • 成对枚举约数别漏搭档 n // i

01 · 核心概念

数论与二分高频错误逐个诊断

数论与二分高频错误逐个诊断:这节课不讲新知识,专治五级最容易犯的五个错。每个病例都按“错例 → 诊断 → 正确写法”三步走——看错例像不像你写的,诊断书要认真读完。

考级对应GESP Python 5 级 · 初等数论GESP Python 5 级 · 二分查找
学习边界

流程图是算法的表示方法,不是 Python 语法。

02 · 语法与规则

先记住这 3 条,再开始写程序

01判质数先查 n < 2

先准确读出这条写法的结构与作用。

02二分缩边界必须 ±1

换一组最小数据,手工推演一次结果。

03成对枚举约数别漏搭档 n // i

再用边界值或反例确认它的适用条件。

03 · 完整实例

代码、运行结果和解释放在一起看

g5-pitfall-clinic.pyPYTHON 3.12
# 易错诊所:错例 → 诊断 → 正确写法

# 病例 1:质数判定漏掉 n < 2 的“门卫”,1 被误判成质数
def is_prime_wrong(n):
    for i in range(2, n):
        if n % i == 0:
            return False
    return True

def is_prime_right(n):
    if n < 2:
        return False
    i = 2
    while i * i <= n:
        if n % i == 0:
            return False
        i = i + 1
    return True

print("病例1:错例判 1 是质数?", is_prime_wrong(1), "|正确写法:", is_prime_right(1))

# 病例 2:素数筛忘记划掉 0 和 1
def sieve_wrong(n):
    is_p = [True] * (n + 1)
    for i in range(2, n + 1):
        if is_p[i]:
            for j in range(i * i, n + 1, i):
                is_p[j] = False
    return [x for x in range(n + 1) if is_p[x]]

def sieve_right(n):
    is_p = [True] * (n + 1)
    is_p[0] = is_p[1] = False
    for i in range(2, n + 1):
        if is_p[i]:
            for j in range(i * i, n + 1, i):
                is_p[j] = False
    return [x for x in range(n + 1) if is_p[x]]

print("病例2:错例筛到 10:", sieve_wrong(10))
print("      正确筛到 10:", sieve_right(10))

# 病例 3:辗转相除的循环条件写绕了——最清爽就是 while b != 0
def gcd(a, b):
    while b != 0:
        a, b = b, a % b
    return a

print("病例3:gcd(1071, 462) =", gcd(1071, 462), "(条件写成 b != 0 最稳)")

# 病例 4:二分查找写成 left = mid 会死循环,必须 left = mid + 1
def binary_search(nums, target):
    left, right = 0, len(nums) - 1
    while left <= right:
        mid = (left + right) // 2
        if nums[mid] == target:
            return mid
        elif nums[mid] < target:
            left = mid + 1      # 错例 left = mid:mid 已查过还留着,死循环
        else:
            right = mid - 1
    return -1

nums = [3, 8, 15, 21, 34]
print("病例4:在", nums, "里找 21,下标 =", binary_search(nums, 21))

# 病例 5:约数求和漏掉搭档 n // i
def proper_sum(n):
    total = 1
    i = 2
    while i * i <= n:
        if n % i == 0:
            total = total + i
            if i * i != n:      # 完全平方数只加一次
                total = total + n // i
        i = i + 1
    return total

print("病例5:220 的真约数和 =", proper_sum(220), "(漏加搭档 n//i 只会算出 33)")
运行结果OUTPUT
病例1:错例判 1 是质数? True |正确写法: False
病例2:错例筛到 10: [0, 1, 2, 3, 5, 7]
      正确筛到 10: [2, 3, 5, 7]
病例3:gcd(1071, 462) = 21 (条件写成 b != 0 最稳)
病例4:在 [3, 8, 15, 21, 34] 里找 21,下标 = 3
病例5:220 的真约数和 = 284 (漏加搭档 n//i 只会算出 33)

五个病例都来自五级学生的真实错法;病例 4 的死循环无法在纸面演示,记住“缩边界必须 ±1”即可免疫。

在新标签运行和修改这个实例已装入本课代码 · 可自定义输入 · 可提交判题

04 · 逐步理解

每一步只解决一个问题

  1. 01

    门诊开场

    这节课不讲新知识,专治五级最容易犯的五个错。每个病例都按“错例 → 诊断 → 正确写法”三步走——看错例像不像你写的,诊断书要认真读完。

  2. 02

    病例 1:质数判定漏门卫

    错例只写 for i in range(2, n),结果 1 畅通无阻被判成质数。诊断:循环从 2 开始,小于 2 的数根本进不了循环,直接 return True 蒙混过关。正确写法:函数开头先挡一道 if n < 2: return False。

    PYTHON
    if n < 2:
        return False
  3. 03

    病例 2:筛法漏划 0 和 1

    错例建完 True 列表就开工,结果 0 和 1 混进了质数名单。诊断:筛子只负责标记倍数,0 和 1 从头到尾没人划掉。正确写法:开工前先手动 is_p[0] = is_p[1] = False。

    PYTHON
    is_p[0] = is_p[1] = False
  4. 04

    病例 3:辗转相除条件写绕

    有同学把循环条件写成 while a % b != 0,看似也对,可一旦 a 恰好被 b 整除,答案该取谁立刻绕晕。正确写法:记死 while b != 0: a, b = b, a % b,余数为 0 时 a 就是答案,永不翻车。

    PYTHON
    while b != 0:
        a, b = b, a % b
    return a
  5. 05

    病例 4:二分死循环

    错例把 left = mid + 1 写成 left = mid,查找区间再也缩不动,程序原地转圈。诊断:mid 已经查过了,缩边界必须 ±1 把它排除在新区间外。正确写法:left = mid + 1、right = mid - 1。

    PYTHON
    left = mid + 1
    right = mid - 1
  6. 06

    病例 5:约数漏搭档

    错例枚举到 √n 却只把 i 加进和里,忘了搭档 n // i,220 的真约数和只算出 33。诊断:约数成对出现,收一个就要连搭档一起收。正确写法:两个都加,完全平方数只加一次。

    PYTHON
    total = total + i
    if i * i != n:
        total = total + n // i
  7. 07

    出院测试

    合上讲义,默写三个模板:带门卫的质数判定、±1 缩边界的二分、成对枚举的约数求和。再去题库把亲和数和跳石头各 AC 一遍,就可以光荣出院了。

05 · 练习与检验

自己写出来,才算真正学会

本课实作步骤
  1. 1运行诊所,看五个病例的诊断书
  2. 2找出病例 1 的错例错在哪一行
  3. 3把筛法错例改对,重跑核对名单
  4. 4合上讲义,默写正确的二分模板
打开本课编程实验室编辑、运行、测试、判题都在一个页面完成

06 · 完整知识

继续理解定义、规则和适用边界

第一次学习先完成上面的六个步骤;需要查定义、核对规则、分析误区或理解“为什么”时,再展开对应知识章。

Python 基础条件、循环与程序流程准确理解 if、for、while、range、break、continue 和循环嵌套,而不是背代码模板。

正式定义

控制流决定下一条要执行的语句。分支依据布尔条件选择路径;循环在满足规则时重复执行代码块。Python 用冒号和缩进界定代码块。

必须掌握

  • if/elif/else 从上到下判断,只执行第一个为真的分支;else 不写条件。
  • for 依次取得可迭代对象中的元素;range(start, stop, step) 包含 start、不包含 stop,step 不能为 0。
  • while 在每轮开始前检查条件;循环体必须让状态向终止条件推进。
  • break 结束最内层循环,continue 跳过本轮剩余语句,循环的 else 仅在没有被 break 终止时执行。
  • 嵌套循环的总执行次数通常需要把各层次数相乘;内层 break 不会结束外层循环。
  • 边界测试至少覆盖空范围、单个元素、第一项命中、最后一项命中和始终不命中。

常见误区

  • range 的右端点多算或少算一次
  • while 忘记更新状态造成死循环
  • 把两个互斥条件写成两个独立 if
  • 误以为 break 会跳出所有嵌套循环

适用边界

  • 流程图是算法的表示方法,不是 Python 语法。
  • 递归也能表达重复,但有调用开销和递归深度限制,不能无条件代替循环。
打开本章完整示例与独立阅读页 →
算法方法质数、约数、最大公因数与筛法建立整数整除体系,掌握试除、欧几里得算法、唯一分解和筛法的条件与复杂度。

正式定义

若整数 a 能被非零整数 b 整除,则 b 是 a 的约数。大于 1 且只有 1 和自身两个正约数的整数是质数;每个大于 1 的整数都能唯一分解为质数幂的乘积(忽略次序)。

必须掌握

  • 0 和 1 都不是质数;判定 n 是否为质数只需试除到 floor(sqrt(n))。
  • gcd(a,b)=gcd(b,a mod b) 构成欧几里得算法;lcm(a,b)=abs(a//gcd(a,b)*b) 并要处理 0。
  • 约数成对出现,可枚举到平方根;完全平方数的平方根只计一次。
  • 埃氏筛从 p² 开始标记质数 p 的倍数,总体 O(n log log n);线性筛保证每个合数被最小质因子筛一次。
  • 分解质因数后,约数个数与约数和可以由各质因数指数公式计算。
  • 模运算支持加减乘分配;模除法不能直接用整数除法,需满足可逆条件并求逆元。

常见误区

  • 把 1 判成质数
  • 试除上界漏掉平方根
  • 完全平方数的约数重复统计
  • 取模后直接做普通除法

适用边界

  • 大整数质性测试和密码学分解需要更高级算法,不应把试除法扩展到任意规模。
  • 题目若涉及负数约数、0 的约数或模数非质数,必须先明确数学定义。
打开本章完整示例与独立阅读页 →
工程能力异常、文件、测试与调试读懂报错、缩小问题、设计测试,并安全地打开、读取和关闭文本文件。

正式定义

异常是在运行期间表示错误或特殊情况的对象。调试是用可复现输入和证据定位实际行为与预期行为差异的过程;文件对象连接程序与持久化字节数据。

必须掌握

  • 先读 traceback 最后一行的异常类型与消息,再从最靠近自己代码的栈帧向上追踪。
  • try 只包可能失败的最小代码;except 捕获具体异常;else 处理成功路径;finally 做必需清理。
  • raise 主动报告不满足的前置条件;assert 用于开发期内部假设,不用于校验不可信用户输入。
  • with open(...) as file 会在退出代码块时可靠关闭文件。文本模式必须明确编码,本站统一推荐 encoding='utf-8'。
  • 测试至少包含正常值、边界值、空数据、极端值和反例;每个测试只应有明确目的。
  • 定位错误时一次只改一个假设,保留能稳定复现问题的最小输入。

常见误区

  • 使用 except: 吞掉所有错误
  • 只测题目样例就认为程序正确
  • 文本文件不写 encoding
  • 修复报错表象却不验证根因

适用边界

  • 在线判题的学生代码由独立 Worker 执行;文件系统、网络和资源权限必须受平台限制。
  • 二进制文件、JSON/CSV 和数据库各有专门格式与错误处理方式,不能按普通文本随意拆分。
打开本章完整示例与独立阅读页 →
算法方法算法、复杂度与解题验证把题意转成输入、状态、规则与输出,用正确性和复杂度共同评价解法。

正式定义

算法是解决一类问题的有限、明确步骤。正确性说明算法对所有满足前置条件的输入都得到规定结果;时间和空间复杂度描述输入规模增长时资源使用的增长量级。

必须掌握

  • 先明确输入规模 n、数据范围、目标和允许误差,再选择数据结构与算法。
  • O(1)、O(log n)、O(n)、O(n log n)、O(n²)、O(2ⁿ) 表示增长量级,不是精确运行秒数。
  • 顺序代码复杂度取较大项,嵌套循环常相乘,二分每步把范围缩小一半。
  • 正确性可用循环不变量、数学归纳、交换论证、反证或状态定义来说明。
  • 样例只验证少量输入;必须自己设计边界、极端、重复、有序/逆序和无解数据。
  • 优化前先得到正确基线并测量瓶颈,不为小数据盲目增加复杂实现。

常见误区

  • 只看样例通过就宣称正确
  • 不看数据范围使用 O(n²)
  • 二分区间开闭混用
  • 把 O(n) 当成永远比 O(log n) 慢固定倍数

适用边界

  • 复杂度隐藏常数与硬件差异,但仍是比较规模增长的核心工具。
  • 考场策略、课程完成度和算法能力是不同证据,任何单项都不能保证考级通过。
打开本章完整示例与独立阅读页 →

完成检查

确认自己会解释、会编写、会验证