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