SageMath中_read_planar_code()函数处理Plantri格式文件的二进制读取问题解析

在SageMath项目的图论模块中，_read_planar_code()函数负责解析Plantri格式的平面图数据文件。近期发现该函数在处理二进制格式的Plantri文件时存在一个关键缺陷——错误地将二进制文件作为文本文件处理，导致数据解析异常。

问题本质

Plantri格式文件本质上是一种二进制格式，其中每个字节代表特定的图结构信息。当使用文本模式打开这类文件时，系统会对某些特殊字节（如0x0A，即换行符的ASCII码）进行特殊处理，这会导致原始数据被错误解读。在Plantri格式中，0x0A实际上代表顶点编号10，而非文本换行符。

技术细节分析

问题的核心在于文件打开模式和头部校验两个环节：

1. 文件模式错误：当前代码使用文本模式('r')而非二进制模式('rb')打开文件，导致字节级数据被当作字符处理。

2. 头部校验不匹配：校验文件头时，代码将读取的二进制数据与文本字符串'>>planar_code<<'比较，而非二进制字符串b'>>planar_code<<'。

解决方案实现

正确的实现需要以下修改：

1. 强制使用二进制模式打开文件
2. 将头部校验改为二进制字符串比较
3. 添加更明确的错误提示信息

修改后的头部校验代码应类似：

assert header == b'>>planar_code<<', '无效的planar_code文件头或文件未以二进制模式打开'

影响范围

此问题影响所有使用Plantri格式平面图数据的场景，特别是：

• 从ANU服务器下载的标准Plantri数据文件
• 用户生成的二进制格式平面图数据
• 需要处理大型平面图集合的研究工作

最佳实践建议

对于需要处理Plantri格式的开发者，建议：

1. 始终使用二进制模式('rb')打开文件
2. 明确区分文本和二进制数据的处理逻辑
3. 在文件解析前验证文件格式和打开模式
4. 对于大型图数据集，考虑使用流式处理而非一次性加载

此修复已合并到SageMath的主干代码中，将包含在后续版本发布中。对于需要使用该功能的用户，建议升级到包含修复的版本。