Checking computations in polylogarithmic time 发表信息 原文链接 作者 László Babai Lance Fortnow Leonid A. Levin Mario Szegedy 笔记 暂无abstract