[论文解读] Fast Local Computation Algorithms

Ronitt Rubinfeld, Gil Tamir+2 more|arXiv (Cornell University)|Apr 7, 2011

Complexity and Algorithms in Graphs参考文献 40被引用 53

一句话总结

本文提出了一种局部计算算法（LCAs）模型，用于回答关于组合问题（如最大独立集、超图着色和k-SAT）特定部分解的查询，而无需读取整个输入或输出。通过采用Beck的算法化洛瓦兹局部引理（Lovász Local Lemma, LLL）和k--wise独立采样，作者构建了在多项式对数时间内和空间内运行的LCAs，确保在满足特定有界依赖条件的问题中，查询结果的一致性，并以高概率保证正确性。

ABSTRACT

For input $x$, let $F(x)$ denote the set of outputs that are the "legal" answers for a computational problem $F$. Suppose $x$ and members of $F(x)$ are so large that there is not time to read them in their entirety. We propose a model of {\em local computation algorithms} which for a given input $x$, support queries by a user to values of specified locations $y_i$ in a legal output $y \in F(x)$. When more than one legal output $y$ exists for a given $x$, the local computation algorithm should output in a way that is consistent with at least one such $y$. Local computation algorithms are intended to distill the common features of several concepts that have appeared in various algorithmic subfields, including local distributed computation, local algorithms, locally decodable codes, and local reconstruction. We develop a technique, based on known constructions of small sample spaces of $k$-wise independent random variables and Beck's analysis in his algorithmic approach to the Lov{á}sz Local Lemma, which under certain conditions can be applied to construct local computation algorithms that run in {\em polylogarithmic} time and space. We apply this technique to maximal independent set computations, scheduling radio network broadcasts, hypergraph coloring and satisfying $k$-SAT formulas.

研究动机与目标

• 形式化一种局部计算算法（LCAs）模型，使其能够在不读取完整输入或输出的情况下，回答关于特定输出位置的查询。
• 解决当完整计算因规模过大而不可行时，计算大规模组合解（如MIS、超图着色、k-SAT赋值）的挑战。
• 基于k-wise独立采样和Beck对洛瓦兹局部引理的分析，开发一种通用技术，构建具有多项式对数查询时间的高效LCAs。
• 通过维护至少一个有效解的全局一致性，确保在存在多个解时，查询结果之间保持一致性。
• 将LCAs的适用范围扩展至在有界依赖条件下满足条件的最大独立集、超图着色和k-SAT问题。

提出的方法

• 利用Beck对洛瓦兹局部引理（LLL）的算法化方法，设计时间复杂度为多项式对数的LCAs。
• 使用k-wise独立的随机变量，以高效方式模拟局部计算环境中的随机性。
• 通过Parnas和Ron的归约方法，将分布式算法映射为局部查询，以模拟常数轮分布式算法，从而实现MIS和调度问题的高效LCAs构造。
• 对于超图着色和k-SAT问题，修改Alon的基于并行LLL的算法，使其在每次查询时以多项式对数时间运行。
• 使用递归依赖图分析，限制子句或变量依赖图中连通分量的大小，从而在小规模子问题上进行穷举搜索。
• 对于较大的连通分量，对大小为O(log log N)的子问题应用暴力搜索，由于对数边界的限制，其总大小仍保持多项式对数级。

实验结果

研究问题

• RQ1 我们能否设计出在多项式对数时间内和空间内回答特定输出位置查询的局部计算算法，即使完整输入和输出大到无法读取？
• RQ2 哪些问题条件（如有界度、有限子句交集）允许构建此类高效的LCAs？
• RQ3 当存在多个解时，如何确保LCAs的响应与至少一个有效解保持全局一致性？
• RQ4 能否将洛瓦兹局部引理和k-wise独立性的技术适配于k-SAT和超图着色等问题的LCAs构造？
• RQ5 分布式算法、局部可解码编码与局部计算算法之间存在何种关系？能否通过单一模型统一它们？

主要发现

• 本文为无线网络中的最大独立集和调度问题构建了LCAs，每次查询的运行时间为O((log N)^c)，其中c为依赖于最大度数的常数。
• 对于超图2-着色问题，算法通过分析大小至多为O(log log N)的依赖分量，在多项式对数时间内回答每个查询，从而可在小规模子问题上进行穷举搜索。
• 对于k-SAT问题，若每个子句至多与d个其他子句相交，且存在满足特定不等式（如8d(d−1)^3(d+1) < 2^{k1}）的k1, k2, k3，则可在每次查询的多项式对数时间内计算出有效赋值。
• 正确性概率至少为1 - 1/N，确保与满足赋值的高概率一致性。
• 通过维护状态转移（如安全、危险、问题）并利用有界分量大小，该方法确保全局一致性，从而支持局部穷举搜索。
• 该框架可推广至任意ℓ ≥ 2的超图ℓ-着色问题，使用相同基础技术，且时间复杂度仍保持多项式对数级。