PYTHON LESSON 075
例题精练：亲和数分步拆解
以亲和数为例走通考级编程题的完整解题流程，掌握真约数求和的细节处理。
00 · 学习目标
这一课要解决什么？
学完后，你应该能够
- 真约数不含自己：先收 1，再成对枚举
- n <= 1 的边界单独处理
- 双向判定：s(a)==b 且 s(b)==a
01 · 核心概念
读题 → 思路 → 编码 → 验证的完整解题流程
读题 → 思路 → 编码 → 验证的完整解题流程：整个程序只需要一个 proper_sum(n)：1 直接入账，再从 2 试到 √n，找到 i 就连搭档 n // i 一起加。完全平方数只加一次，n 本身绝不入账。
GESP Python 5 级 · 初等数论GESP Python 5 级 · 枚举流程图是算法的表示方法，不是 Python 语法。
02 · 语法与规则
先记住这 3 条，再开始写程序
真约数不含自己：先收 1，再成对枚举先准确读出这条写法的结构与作用。
n <= 1 的边界单独处理换一组最小数据，手工推演一次结果。
双向判定：s(a)==b 且 s(b)==a再用边界值或反例确认它的适用条件。
03 · 完整实例
代码、运行结果和解释放在一起看
# 例题精练：亲和数（考级模拟卷 A1 题解）
def proper_sum(n):
"""n 的真约数之和（不含 n 本身），试除到平方根"""
if n <= 1:
return 0
total = 1 # 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
a, b = map(int, input().split())
print("a 的真约数和：", proper_sum(a))
print("b 的真约数和：", proper_sum(b))
if proper_sum(a) == b and proper_sum(b) == a:
print("YES")
else:
print("NO")a 的真约数和： 284 b 的真约数和： 220 YES
假设输入为样例 220 284；换成另一组样例 12 16 时，两行中间结果分别为 16 和 15，最后输出 NO。
04 · 逐步理解
每一步只解决一个问题
- 01
第一步：读题划重点
拿到题先圈三个关键词：真约数（不含自己）、两个方向都要成立、输出 YES 或 NO。再盯住数据范围：a、b 最大 10⁶，试除到 √n 只要一千次循环，完全来得及。
- 02
第二步：把样例算一遍
220 的真约数是 1、2、4、5、10、11、20、22、44、55、110，加起来正好 284。动笔验证样例，能立刻暴露“要不要算自己”这类理解偏差——比写完再改省十倍时间。
- 03
第三步：设计核心函数
整个程序只需要一个 proper_sum(n)：1 直接入账，再从 2 试到 √n，找到 i 就连搭档 n // i 一起加。完全平方数只加一次，n 本身绝不入账。
total = total + i if i * i != n: total = total + n // i - 04
第四步：处理边界
n = 1 时没有任何真约数，和应为 0。如果忘了这个特判，total 从 1 起算就会把 1 误判。考级题的隐藏测试点最爱考这种角落。
if n <= 1: return 0 - 05
第五步：组装判定
亲和数要双向成立：proper_sum(a) == b 且 proper_sum(b) == a。只查一个方向会漏掉一半情况，两个条件用 and 连起来再输出。
if proper_sum(a) == b and proper_sum(b) == a: print("YES") else: print("NO") - 06
第六步：用测试点验证
样例 220 284 出 YES、12 16 出 NO 之后，再自造边界：1 5 应出 NO，6 28（两个都是完全数，但彼此不是亲和数）也应出 NO。全部对上，再胸有成竹地提交评测。
05 · 练习与检验
自己写出来，才算真正学会
- 1读题划重点：什么是真约数
- 2手算 12 的真约数和验证理解
- 3运行题解，输入样例 220 284
- 4改用样例 12 16，确认输出 NO
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 语法。
- 递归也能表达重复，但有调用开销和递归深度限制，不能无条件代替循环。
工程能力异常、文件、测试与调试读懂报错、缩小问题、设计测试，并安全地打开、读取和关闭文本文件。＋
正式定义
异常是在运行期间表示错误或特殊情况的对象。调试是用可复现输入和证据定位实际行为与预期行为差异的过程；文件对象连接程序与持久化字节数据。
必须掌握
- 先读 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) 慢固定倍数
适用边界
- 复杂度隐藏常数与硬件差异，但仍是比较规模增长的核心工具。
- 考场策略、课程完成度和算法能力是不同证据，任何单项都不能保证考级通过。
程序组织模块、导入与常用标准库正确导入模块，并按用途查找 math、random、statistics、collections、heapq、bisect 等标准工具。＋
正式定义
模块是可导入的 Python 代码单元，包把模块组织成层次。import 先加载模块并创建模块对象，再把名字绑定到当前命名空间；标准库随 Python 分发，不等于第三方包。
必须掌握
- import module 保留清晰命名空间；from module import name 只导入指定名字；避免 from module import *。
- math 提供 sqrt、floor、ceil、gcd、log、sin 等数学函数和 pi、e 等常量。
- random 用于伪随机模拟，不适合密码安全；需要安全随机时使用 secrets。
- collections.deque 适合双端队列，Counter 适合计数，defaultdict 可按工厂创建缺省值。
- heapq 实现最小堆，bisect 在已排序序列中二分定位，itertools 提供高效迭代组合工具。
- if __name__ == '__main__': 用来区分文件被直接运行还是被导入。
常见误区
- 文件名写成 math.py 导致遮蔽标准库
- import * 污染命名空间
- 把 random 当成加密随机数
- 没有理解工具的数据复杂度就盲目调用
适用边界
- 标准库非常大，本章覆盖课程会实际依赖的入口；具体函数签名应结合本站条目与运行时帮助查询。
- Turtle 需要图形窗口，本站文本判题环境不伪造其画布。
完成检查