厉害了!北京大学图灵班本科生获计算机理论顶会最佳论文奖
2020年6月26日 - 网易
决策表压缩的结果表明,给定一个任意长的if-else代码段,如果每个if中依赖的变量都不太多,那么我们可以用一个“长度可控”的if-else代码段来近似它,且每个if中依赖的变量依然不多。在吴克文等人的论文中,他们对“长度可控”证明了渐进意义上紧的界,并证实了2013年由Gopalan,Meka,Reingold提出的析...
详情
决策表压缩的结果表明,给定一个任意长的if-else代码段,如果每个if中依赖的变量都不太多,那么我们可以用一个“长度可控”的if-else代码段来近似它,且每个if中依赖的变量依然不多。在吴克文等人的论文中,他们对“长度可控”证明了渐进意义上紧的界,并证实了2013年由Gopalan,Meka,Reingold提出的析...