回放若每一步都保存完整状态,定位方便但记录较大。只保存差异会节省部分空间,却需要从之前的完整关键帧开始重建。间隔选择因此存在取舍。
固定规则与输入
总共保存从零到末项的一串状态,每隔k项保存一份完整状态,零号一定完整,其余项保存固定大小的差异。定位目标时加载最近的前置关键帧,再按顺序应用差异。
状态总数89,编号零至88,完整记录584字节,差异记录21字节
逐步观察结果
间隔1,完整记录89份,总大小51976字节,最坏应用0份差异,等可能查询全部目标时平均0份;样本[目标,前置关键帧,差异数][[0, 0, 0], [88, 88, 0], [7, 7, 0], [21, 21, 0], [4, 4, 0], [83, 83, 0]]。
间隔3,完整记录30份,总大小18759字节,最坏应用2份差异,等可能查询全部目标时平均88/89份;样本[目标,前置关键帧,差异数][[0, 0, 0], [88, 87, 1], [7, 6, 1], [21, 21, 0], [4, 3, 1], [83, 81, 2]]。
间隔5,完整记录18份,总大小12003字节,最坏应用4份差异,等可能查询全部目标时平均176/89份;样本[目标,前置关键帧,差异数][[0, 0, 0], [88, 85, 3], [7, 5, 2], [21, 20, 1], [4, 0, 4], [83, 80, 3]]。
间隔8,完整记录12份,总大小8625字节,最坏应用7份差异,等可能查询全部目标时平均308/89份;样本[目标,前置关键帧,差异数][[0, 0, 0], [88, 88, 0], [7, 0, 7], [21, 16, 5], [4, 0, 4], [83, 80, 3]]。
间隔12,完整记录8份,总大小6373字节,最坏应用11份差异,等可能查询全部目标时平均472/89份;样本[目标,前置关键帧,差异数][[0, 0, 0], [88, 84, 4], [7, 0, 7], [21, 12, 9], [4, 0, 4], [83, 72, 11]]。
间隔20,完整记录5份,总大小4684字节,最坏应用19份差异,等可能查询全部目标时平均796/89份;样本[目标,前置关键帧,差异数][[0, 0, 0], [88, 80, 8], [7, 0, 7], [21, 20, 1], [4, 0, 4], [83, 80, 3]]。
间隔32,完整记录3份,总大小3558字节,最坏应用31份差异,等可能查询全部目标时平均1292/89份;样本[目标,前置关键帧,差异数][[0, 0, 0], [88, 64, 24], [7, 0, 7], [21, 0, 21], [4, 0, 4], [83, 64, 19]]。
间隔为一时每项都是完整记录,不需要应用差异。其他间隔应把最后一个不完整分组一起计算,不能直接假定每段都具有相同数量的目标。
独立复核
存储量等于完整记录数乘完整大小,加差异记录数乘差异大小。每个目标所需差异数量为其编号除以间隔的余数;最后一段可能不足k项,平均值必须按真实目标总数计算。
复核时先保留本例输入,再自己写出中间状态。若结果不同,应从最早出现差异的位置检查,尤其留意边界是否包含、索引从哪里开始、取整何时发生,以及是否使用了尚未更新的旧状态。计算得到的结论仅适用于已经说明的规则,修改规则后需要重新验证。
适用范围
这里假定所有完整记录与差异记录大小分别固定,且差异能顺序应用。实际压缩比、损坏恢复和解码时间可能不同。本文只计算这个明确模型,不能直接推断某款回放格式的实际性能。
