如果效率与表达力的权衡是本质性的，意味着不存在一个同时具备强表达力和多对数空间/拟线性时间的序列预测算法。