计算量分析,林肯实验室