PYTHON LESSON 085
相邻只差一位的密码
理解格雷码“相邻只差一位”的特性，掌握镜像构造法和公式法两种生成方式。
00 · 学习目标
这一课要解决什么？
学完后，你应该能够
- 列表推导式 ["0" + s for s in gray]
- reversed(gray) 倒序遍历
- 公式 G(i) = i ^ (i >> 1)
01 · 核心概念
格雷编码
格雷编码：普通二进制数数时，相邻两数可能好几位同时变（011 变 100 三位全翻）。格雷码要求相邻两个编码（包括首尾相连）恰好只有一位不同。机械转盘、旋转编码器用它，可以避免一次拨动多位带来的误差。
GESP Python 6 级 · 格雷编码大量从队首删除时 list.pop(0) 是 O(n)，应使用 collections.deque。
02 · 语法与规则
先记住这 3 条，再开始写程序
列表推导式 ["0" + s for s in gray]先准确读出这条写法的结构与作用。
reversed(gray) 倒序遍历换一组最小数据，手工推演一次结果。
公式 G(i) = i ^ (i >> 1)再用边界值或反例确认它的适用条件。
03 · 完整实例
代码、运行结果和解释放在一起看
# 相邻只差一位的密码：格雷编码（镜像构造法）
n = 3
gray = ["0", "1"] # 1 位格雷码
for i in range(1, n):
front = ["0" + code for code in gray] # 正序，前面加 0
back = ["1" + code for code in reversed(gray)] # 倒序，前面加 1
gray = front + back
print(n, "位格雷密码共", len(gray), "个：")
for code in gray:
print(code)
# 验证：相邻两个密码有几位不同？
diff = 0
for a, b in zip(gray[0], gray[1]):
if a != b:
diff = diff + 1
print("相邻的", gray[0], "和", gray[1], "只有", diff, "位不同")3 位格雷密码共 8 个： 000 001 011 010 110 111 101 100 相邻的 000 和 001 只有 1 位不同
每升一位，密码个数翻倍：n 位格雷码正好 2^n 个。
04 · 逐步理解
每一步只解决一个问题
- 01
什么是格雷码
普通二进制数数时，相邻两数可能好几位同时变（011 变 100 三位全翻）。格雷码要求相邻两个编码（包括首尾相连）恰好只有一位不同。机械转盘、旋转编码器用它，可以避免一次拨动多位带来的误差。
- 02
镜像构造法
从 1 位格雷码 ["0", "1"] 出发：把现有序列正序抄一遍、前面加 0；再倒序抄一遍、前面加 1，拼起来就升了一位。中间接缝处只有最高位不同，其它相邻位置原本就满足条件——这就是“照镜子”的妙处。
front = ["0" + code for code in gray] back = ["1" + code for code in reversed(gray)] gray = front + back - 03
列表推导式提速
["0" + code for code in gray] 一行完成“给每个元素加前缀”，等价于一个 for 循环逐个 append。读的时候要能在脑中把它展开成循环。
codes = ["0" + c for c in ["0", "1"]] print(codes) # ['00', '01'] - 04
公式法一击即中
第 i 个格雷码还可以直接算：G(i) = i ^ (i >> 1)。^ 是按位异或（两位不同得 1），>> 是右移一位。不需要递推，想要第几个算第几个。
g = i ^ (i >> 1) - 05
zip 逐位对比
zip(gray[0], gray[1]) 把两个字符串逐位配对，数出不同的位数，用数据验证“只差一位”。写程序验证自己的猜想，是比肉眼检查更靠谱的习惯。
for a, b in zip(gray[0], gray[1]): if a != b: diff = diff + 1 - 06
首尾也要只差一位
格雷码排成一圈才完整：验证一下最后一个 100 和第一个 000 是不是也只差一位。再把 n 改成 4，用循环自动检查全部相邻对，一个程序就能完成全部验证。
05 · 练习与检验
自己写出来，才算真正学会
- 1运行程序，检查每相邻两个密码是否只差一位
- 2把 n 改成 4，数一数新密码个数
- 3用公式法验证第 5 个密码
- 4验证最后一个和第一个密码是否也只差一位
06 · 完整知识
继续理解定义、规则和适用边界
第一次学习先完成上面的六个步骤；需要查定义、核对规则、分析误区或理解“为什么”时，再展开对应知识章。
核心数据结构列表、元组、字典与集合按顺序、可变性、唯一性和查找需求选择容器，并掌握遍历、推导式、排序与复制。＋
正式定义
容器保存多个对象。list 是可变有序序列，tuple 是不可变有序序列，dict 保存唯一键到值的映射，set 保存无序且不重复的可哈希对象。
必须掌握
- list 支持下标、切片、append、extend、insert、pop、remove 与 sort；多数修改方法返回 None。
- tuple 的逗号比括号更关键，单元素元组必须写成 (value,)。
- dict 保持插入顺序；键必须可哈希且唯一，get 可提供缺省值，items 同时遍历键和值。
- set 用于去重与集合运算：| 并、& 交、- 差、^ 对称差；空集合必须写 set()。
- enumerate 同时给出序号和值，zip 并行遍历多个可迭代对象，默认在最短输入处停止。
- 浅复制只复制最外层容器；嵌套可变对象仍可能共享。
CORE CONTAINER METHODS
四类核心容器方法完整速查
修改型方法多数返回 None；表中“浅复制”不会递归复制内部可变对象。
| 类型 | 方法 | 核心作用 |
|---|---|---|
list | append(x) | 末尾加入一个对象 |
list | extend(iterable) | 末尾加入可迭代对象的每一项 |
list | insert(i, x) | 在下标 i 前插入 |
list | remove(x) | 删除第一个等于 x 的元素，不存在时报错 |
list | pop([i]) | 删除并返回指定项，默认末项 |
list | clear() | 删除全部元素 |
list | index(x[, start[, stop]]) | 返回第一个匹配下标 |
list | count(x) | 统计等于 x 的元素数 |
list | sort(*, key=None, reverse=False) | 稳定地原地排序 |
list | reverse() | 原地逆序 |
list | copy() | 浅复制列表 |
tuple | count(x) | 统计元素次数 |
tuple | index(x[, start[, stop]]) | 返回第一个匹配下标 |
dict | clear() | 删除全部键值对 |
dict | copy() | 浅复制字典 |
dict | fromkeys(iterable[, value]) | 用一组键创建新字典 |
dict | get(key[, default]) | 安全取值，缺键返回默认值 |
dict | items() | 键值对动态视图 |
dict | keys() | 键动态视图 |
dict | pop(key[, default]) | 删除键并返回值 |
dict | popitem() | 删除并返回最后加入的键值对 |
dict | setdefault(key[, default]) | 缺键时写入默认值并返回 |
dict | update(other) | 用映射或键值对更新 |
dict | values() | 值动态视图 |
set | add(x) | 加入一个元素 |
set | clear() | 删除全部元素 |
set | copy() | 浅复制集合 |
set | discard(x) | 删除元素，不存在也不报错 |
set | remove(x) | 删除元素，不存在时报错 |
set | pop() | 删除并返回任意元素 |
set | union(*others) | 返回并集 |
set | update(*others) | 用并集原地更新 |
set | intersection(*others) | 返回交集 |
set | intersection_update(*others) | 用交集原地更新 |
set | difference(*others) | 返回差集 |
set | difference_update(*others) | 用差集原地更新 |
set | symmetric_difference(other) | 返回对称差 |
set | symmetric_difference_update(other) | 用对称差原地更新 |
set | issubset(other) | 是否为子集 |
set | issuperset(other) | 是否为超集 |
set | isdisjoint(other) | 是否没有共同元素 |
常见误区
- 把 list.sort() 的返回值赋回列表
- 遍历 dict 时同时改变其大小
- 用可变 list 当字典键
- 把 set 当成有固定顺序的序列
适用边界
- 大量从队首删除时 list.pop(0) 是 O(n)，应使用 collections.deque。
- 需要有序映射的特殊操作、计数或默认值时可查阅 collections，但先理解基本 dict。
计算机基础进制、整数表示与位运算从位权理解二、八、十六进制，准确使用补码模型、移位、掩码和 Python 大整数。＋
正式定义
b 进制数按位权 b⁰、b¹…表示数值。进制只是同一个整数的书写方式；位运算直接处理整数的二进制位。Python 整数精度只受可用内存限制，负数位运算按无限长二进制补码语义定义。
必须掌握
- bin/oct/hex 生成带前缀字符串，int(text, base) 按指定进制解析；0b、0o、0x 是整数字面量前缀。
- 手工转十进制用位权展开，十进制转其他进制可连续除基取余并逆序。
- & 取共同为 1 的位，| 合并置位，^ 标记不同位，~x 等于 -x-1。
- x << k 相当于 x * 2**k；对非负整数 x >> k 相当于 x // 2**k。
- 掩码可检测、设置、清除或翻转特定位；位编号通常从最低位 0 开始。
- 固定字长语言的溢出和 Python 大整数行为不同，题目必须明确字长和有无符号。
常见误区
- 把进制字符串当成不同数值类型
- 忘记位编号从 0 开始
- 照搬固定 32 位溢出结论到 Python
- 对负数右移套用无符号模型
适用边界
- 浮点数遵循 IEEE 754 的实现细节，不使用本章的普通整数进制模型直接推导。
- 字符编码把字符映射到整数，但编码知识与整数进制书写是两个不同层次。
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 语法。
- 递归也能表达重复，但有调用开销和递归深度限制，不能无条件代替循环。
编码与文本字符串、转义、切片与格式化从不可变字符序列到检索、拆分、拼接、格式化和常用判断方法。＋
正式定义
str 是不可变的 Unicode 字符序列。下标访问单个字符，切片生成新字符串；任何看似“修改字符串”的方法都会返回新对象。
必须掌握
- 下标从 0 开始，负下标从末尾开始；切片 s[start:stop:step] 不包含 stop，step 不能为 0。
- 转义序列用于在字面量中表示换行、制表、引号、反斜杠或码点；原始字符串仍有末尾反斜杠限制。
- find 找不到返回 -1，index 找不到抛 ValueError；count 统计不重叠出现次数。
- split 把字符串拆成列表，join 用一个字符串连接可迭代对象中的字符串，strip 只删除两端字符。
- f-string 的格式说明可控制宽度、对齐、精度、进制和百分比；格式化不改变原值。
- isalpha/isdigit 等按 Unicode 定义，不只识别英文字母和 ASCII 数字。
常见误区
- 尝试 s[0] = 'A' 原地修改字符串
- 把 strip('ab') 误解为删除完整子串 'ab'
- find 返回 -1 后直接拿去当有效下标
- 把字节长度与字符长度混为一谈
适用边界
- 正则表达式不在低等级字符串必修范围，但复杂模式匹配时应使用 re，而不是堆叠大量 split/find。
- 面向用户的字符计数还可能涉及组合字符和字素簇，len 统计的是 Unicode 码点序列长度。
完成检查