39、PET SNAKE架构：原理与功能解析

PET SNAKE架构：原理与功能解析

1. 算法流程概述

在整个算法流程中，首先会进行方程收集并检查结果的一致性。如果发现不一致，会向主控制处理器（MCP）发出信号，MCP会认为当前猜测错误并进行新的猜测；若未发现不一致，则检查结果是否具有最大秩。若具有最大秩，MCP会收到已找到解的提示；否则，将结果存储为新的方程集。接着通过行计数检查是否有新方程，若没有新信息则进入胶合阶段，否则进入传播阶段。

• 传播阶段

  • 头部主处理单元（MPU）创建收集符号，先发送给其东部邻居，完成后再发送给南部邻居。
  • 东部邻居存储该符号后，依次发送给其东部和南部邻居，以此类推，直到活跃区域顶行的所有MPU都完成操作。
  • 从北部邻居收到符号的MPU仅存储并发送给南部邻居。
  • 所有MPU收到收集符号后，将其与MPU中的每个符号进行一致性检查，并将结果传播到哈密顿循环中的下一个MPU。若符号L部分的每一列都被删除，MPU会向MCP发出发现不一致的信号；否则，所有一致性检查完成后，每个MPU将收集符号与自身拥有的每个符号进行胶合。

• 时间估计

  • 由于每个MPU中有g个符号且同时进行提取操作，因此提取操作的时间成本需计算g次。
  • 有$g^2$次大规模行约简，每次包含$log_2 q + 1$次行约简和$1 + 2 + 4 + \cdots + \frac{q}{2} = q - 1$次最多2047个