Kosoy

Kosoy在论文Stringological sequence prediction III中提出了一个基于分层zipline程序的复杂度度量，该度量比ARC更弱但对应更高效的预测算法。

ARC（算术重复复杂度）是Kosoy在2026a和2026b论文中定义的一种复杂度度量，它允许一个多项式时间的预测算法，其错误界与复杂度呈拟线性关系。

zipline程序是Kosoy在2026b中提出的直线程序（straight-line programs）的一种变体。

论文作者表示，效率与表达力之间的权衡究竟是本质性的还是当前技术手段的局限，仍是一个开放问题。