The article discusses the optimality of algorithms for dense k-SUM and k-XOR problems. It introduces an obfuscation process to ensure independence of solutions in different iterations. The main reduction lemma is proven constructively, showing that the success probability increases with each iteration. The obfuscation lemma is crucial, ensuring pairwise independence of outputs from the obfuscation process. The Paley-Zygmund inequality is used to lower bound the probability of finding a solution, while discrete Fourier analysis techniques are employed in the proof.
翻译成其他语言
从原文生成
arxiv.org
更深入的查询