[论文解读] Lattice Gas Prediction is P-complete

Cristopher Moore, Mats G. Nordahl|ArXiv.org|Apr 17, 1997

Parallel Computing and Optimization Techniques参考文献 7被引用 3

一句话总结

本文证明了在有限时间内预测HPP或FHP III格子气自动机的问题是P-完全的，这意味着其计算难度与使用串行计算机求解P类中任意问题相当。作者表明，除非P = NC或P = SP，否则不存在能显著优于显式模拟的高效并行算法，这表明格子气动力学具有固有的串行复杂性。

ABSTRACT

We show that predicting the HPP or FHP III lattice gas for finite time is equivalent to calculating the output of an arbitrary Boolean circuit, and is therefore P-complete: that is, it is just as hard as any other problem solvable by a serial computer in polynomial time. It is widely believed in computer science that there are inherently sequential problems, for which parallel processing gives no significant speedup. Unless this is false, it is impossible even with highly parallel processing to predict lattice gases much faster than by explicit simulation. More precisely, we cannot predict t time-steps of a lattice gas in parallel computation time O(log^k t) for any k, or O(t^α) for α< 1/2, unless the class P is equal to the class NC or SP respectively.

研究动机与目标

• 确定在有限时间步长内预测格子气自动机的计算复杂性。
• 评估并行计算是否能显著加速格子气预测，超越显式模拟。
• 确立格子气预测是否本质上是串行的，无法实现显著的并行加速。
• 将格子气预测与理论计算机科学中的已知复杂性类（特别是P、NC和SP）建立联系。
• 证明预测格子气演化过程的难度等同于计算任意布尔电路的输出。

提出的方法

• 将任意布尔电路归约为格子气配置及其时间演化。
• 构建一个格子气自动机（HPP或FHP III），使其随时间模拟布尔电路的计算过程。
• 将电路的输入和逻辑门映射为格子气中的粒子配置和碰撞规则。
• 形式化证明：预测t个时间步后的格子气状态，等价于计算布尔电路的输出。
• 使用标准复杂性理论归约方法，证明在NC归约下为P-完全。
• 利用计算复杂性理论中的已知结果，推断除非P = NC或P = SP，否则高效并行算法几乎不可能存在。

实验结果

研究问题

• RQ1 在有限时间内预测格子气自动机状态的计算难度是否与求解P类中任意问题相当？
• RQ2 格子气预测能否被高效并行化，还是其本质上是串行的？
• RQ3 格子气模型是否允许一种多项式时间的并行算法，使其优于显式模拟？
• RQ4 格子气预测与复杂性类P之间存在何种关系？它与NC和SP有何关联？
• RQ5 格子气动力学的预测能否归约为计算任意布尔电路？

主要发现

• 有限时间内的格子气预测是P-完全的，意味着它属于P类中最难的问题之一。
• 除非P = NC，否则无法在O(log^k t)并行计算时间内完成t个时间步的格子气预测，其中k为任意常数。
• 除非P = SP，否则不存在能在O(t^α)时间内完成格子气演化的算法，其中α < 1/2。
• 该结果表明，格子气预测无法在显式模拟之外实现显著的并行加速。
• 该证明依赖于将任意布尔电路归约为格子气配置及其动力学。
• HPP和FHP III格子气模型在标准复杂性理论归约下均被证明为P-完全。