群论视角下的随机噪声模型中还原降解研究:对NP完全问题和细粒度问题的启示

Recovery Reductions in the Random Noise Model via Group Theory: Insights into NP-Complete and Fine-Grained Problems

摘要 Abstract

我们引入并启动了对一种新还原模型的研究,称为随机噪声模型。在这个模型中,函数 \( f \) 的真值表 \( T_f \) 在随机选择的 \( \delta \)-比例实例上被破坏。如果一个随机算法 \( A \) 满足以下条件,则称其为 \( f \) 的 \( (t, \delta, 1-\varepsilon) \)-还原降解:1. 对于随机选择的 \( \delta \)-比例破坏,有至少 \( 1-\varepsilon \) 的概率,给定访问被破坏的真值表,算法 \( A \) 在每个输入 \( \phi \) 上正确计算 \( f(\phi) \) 的概率至少为 \( 2/3 \);2. 算法 \( A \) 的运行时间为 \( O(t) \)。我们认为,这一模型作为平均情况复杂性的一种自然松弛,不仅具有实际动机,而且在数学上也具有重要意义。为此,我们展示了对于许多经典的NP完全问题(如SAT、kSAT、kCSP、CLIQUE等),存在具有最高可容忍噪声水平的鲁棒确定性多项式时间还原降解。在复杂性理论假设下,我们的还原降解对于非自适应算法而言是最优的。值得注意的是,所有这些还原降解均作为基于群论和置换群算法的一个黑盒算法的推论得出。这表明,随机噪声模型中的还原降解对研究NP完全性的结构具有重要意义。此外,我们还针对Orthogonal Vectors和Parity \( k \)-Clique问题建立了具有最优参数的还原降解。这些问题在结构上与NP完全问题相似,其中Orthogonal Vectors问题允许从 \( n \) 变量的kSAT问题中进行 \( 2^{0.5n} \)-时间的降解,而Parity \( k \)-Clique问题则允许从3SAT问题中进行次指数时间的降解。这进一步凸显了我们的模型对研究NP完全性的重要性。

We introduce and initiate the study of a new model of reductions called the random noise model. In this model, the truth table $T_f$ of the function $f$ is corrupted on a randomly chosen $\delta$-fraction of instances. A randomized algorithm $A$ is a $\left(t, \delta, 1-\varepsilon\right)$-recovery reduction for $f$ if: 1. With probability $1-\varepsilon$ over the choice of $\delta$-fraction corruptions, given access to the corrupted truth table, the algorithm $A$ computes $f(\phi)$ correctly with probability at least $2/3$ on every input $\phi$. 2. The algorithm $A$ runs in time $O(t)$. We believe this model, which is a natural relaxation of average-case complexity, both has practical motivations and is mathematically interesting. Pointing towards this, we show the existence of robust deterministic polynomial-time recovery reductions with the highest tolerable noise level for many of the canonical NP-complete problems - SAT, kSAT, kCSP, CLIQUE and more. Our recovery reductions are optimal for non-adaptive algorithms under complexity-theoretic assumptions. Notably, all our recovery reductions follow as corollaries of one black box algorithm based on group theory and permutation group algorithms. This suggests that recovery reductions in the random noise model are important to the study of the structure of NP-completeness. Furthermore, we establish recovery reductions with optimal parameters for Orthogonal Vectors and Parity $k$-Clique problems. These problems exhibit structural similarities to NP-complete problems, with Orthogonal Vectors admitting a $2^{0.5n}$-time reduction from kSAT on $n$ variables and Parity $k$-Clique, a subexponential-time reduction from 3SAT. This further highlights the relevance of our model to the study of NP-completeness.

群论视角下的随机噪声模型中还原降解研究:对NP完全问题和细粒度问题的启示 - arXiv