We provide bounds on the compression size of the solutions to 16 problems in computer science. For each problem, we show that solutions exist with high probability, for some simple probability measure. Once this is proven, derandomization can be used to prove the existence of a simple solution.
翻译:我们提供了计算机科学16个问题的解决方案压缩大小的界限。 对于每个问题,我们都显示解决方案存在概率很高,以某种简单的概率衡量。 一旦证明这一点,解密可以用来证明存在一个简单的解决方案。