[논문 리뷰] Lattice Gas Prediction is P-complete

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

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일 경우를 제외하고는, t 시간 단계의 격자 기반 자동기계 예측을 O(log^k t) 병렬 계산 시간 내에 수행할 수 없다.
• P = SP일 경우를 제외하고는, 어떤 알고리즘도 O(t^α) 시간 내에 예측을 수행할 수 없으며, 이때 α < 1/2 이다.
• 이 결과는 명시적 시뮬레이션을 초월해 상당한 병렬 처리 가속화가 불가능함을 시사한다.
• 이 증명은 임의의 부울 회로를 격자 기반 자동기계 구성과 동역학으로 환원하는 데 기반한다.
• HPP 및 FHP III 격자 기반 자동기계 모델이 모두 표준 복잡도 이론적 환원을 통해 P-완전함이 입증되었다.