Minimal 提出任务相对的信息删除理论并在百余套件上验证

赫尔辛基大学作者发布 Minimal，提出以分支交换为充要条件的精确信息删除准则，并给出证书与可执行归约。作者称在 100 多个独立筛选并冻结的测试套件上，所有保留的直接性能主张均通过预设对照族，例如相对 toqito 中位运行时间降低 99.9871%、相对 PM4Py 变体对齐加速 823.712 倍。