切片原理

通过枚举内部 index 的取值拆分收缩任务，限制每个切片的中间结果大小。

把收缩分成多个子任务

选择若干内部 index 后，ArcTN 枚举这些 index 的全部取值组合。每组取值固定相应的输入轴，沿同一条 SSA path 完成一次收缩，最后把全部结果逐元素相加。切片在数学上是精确分解：它不做低秩截断，也不遗漏任何取值组合。实际使用浮点数时，切片求和与未切片收缩可能采用不同的加法顺序，因此可能存在正常的舍入差异，不承诺逐位相同。

切片怎样缩小中间张量

以三张量收缩为例：

取 $a,b,c,d,e$ 的维数分别为 2、3、4、5、6。按先收缩 $B,C$ 的顺序，未切片时会生成 $Z_{bce}$。固定 $b=j$ 后，每片先计算 $Z^{(j)}_{ce}=\sum_d B_{jcd}C_{de}$，再与 $A_{ajc}$ 收缩。

图中每片的中间量有 24 个元素，部分输出有 48 个元素，因此每片最大张量是 48 个元素；72 元素的完整 $Z$ 仅作对照，切片计算不会先分配它。Fixed 保持原收缩顺序，代价是可能增加重复计算与结果累加。具体用法见切片示例。

切片数量

若切片 index 的维度为 $d_1,\ldots,d_k$，切片数为

SliceResult.log2_n_slices 保存切片数以 2 为底的对数。index 的维度不必为 2。

中间张量大小上限

target_size 用来控制切片后的中间张量大小，取值为正整数，单位是元素数。每个切片中的二元收缩结果都必须满足这个上限；单张量网络则检查一元处理后的最终输出。它不限制一元预处理产生的全部临时张量，也不是进程内存或 GPU 显存上限。

log2_max_contraction_size 报告最大单步逻辑输入加输出元素数的以 2 为底对数，其中原始叶张量按一元求和、迹或对角处理后的逻辑大小计数；log2_peak_size 报告路径模型中存活元素数峰值的以 2 为底对数。它们都不是 target_size 的另一种写法。

单张量网络的 SSA path 为空，但仍可能需要取迹、求和或调整输出轴顺序。ArcTN 会检查完成这些一元处理后的最终输出大小；即使路径没有二元收缩步骤，过小的 target_size 也不能通过检查。

固定路径的切片 index 选择

find_slices_to_size 保持路径不变，把已经选择的 index 维度临时设为 1 并重放路径。若仍有中间结果超过目标，就优先选择在这些结果中出现次数最多的 index；出现次数相同时，选择维度更大的 index；若维度也相同，则选择 ID 更小的 index。

1. 切片 index 必须在网络和 size_dict 中存在，且维度为正。
2. 当前不支持对输出 index 切片，最终输出的形状保持不变。
3. 切片列表中不能重复同一个 index。
4. 同一输入张量中重复出现的 index 不能切片；这种 index 涉及取迹（trace）或取对角（diagonal）操作。
5. 没有合法 index 可以继续降低结果规模时，该搜索返回未找到可行方案。

如果最终输出的元素数已经超过 target_size，仅切分内部 index 无法满足这个上限。

use arctn::{find_slices_to_size, slice_result_fits_target_size};

let target_size = 1usize << 24;
let slices = find_slices_to_size(&net, &path, target_size)
    .ok_or("target_size is unreachable for this fixed path")?;
assert!(slice_result_fits_target_size(
    &net, &path, &slices, target_size
)?);

这是固定路径上的贪心选择，不保证切片 index 最少或总 FLOPs 最低。成功返回的方案会通过目标约束检查；搜索失败不等于证明所有可能方案都不可行。

读取 SliceResult

最大中间结果按单片计算，不乘切片数；总 FLOPs 和总读写量则需要乘以切片数。评估一个方案时，可同时查看路径、切片 index、切片数、单片最大结果、总 FLOPs 和实际执行时间。

路径和 SliceResult 必须成对保存。允许改变路径的切片方法会同时返回对应的最终路径。修改路径后，需要重新检查切片方案是否满足大小限制。