[논문 리뷰] On the Complexity of finding Stopping Distance in Tanner Graphs

K. Murali Krishnan, Priti Shankar|ArXiv.org|2005. 12. 28.

Error Correcting Code Techniques참고 문헌 13인용 수 9

한 줄 요약

이 논문은 LDPC 부호의 반복 디코딩 실패 분석에 핵심적인 역할을 하는 Tanner 그래프에서 정지 거리(Stopping distance)를 결정하는 것이 NP-완전임을 증명한다. 저자들은 NP-완전 문제인 정점 커버 문제를 정지 집합 결정 문제로 감소시켜, 최소 정지 집합 크기(정지 거리)를 구하는 것이 계산적으로 비가역적임을 입증한다. 이는 P=NP가 아닐 경우 다항시간 알고리즘이 존재하지 않음을 의미한다.

ABSTRACT

Two decision problems related to the computation of stopping sets in Tanner graphs are shown to be NP-complete. NP-hardness of the problem of computing the stopping distance of a Tanner graph follows as a consequence

연구 동기 및 목표

• Tanner 그래프에서 정지 집합을 결정하는 데 필요한 계산 복잡도를 규명함으로써, LDPC 부호에서 반복 디코딩 실패를 이해하는 데 핵심적인 요소인 정지 집합의 성질을 분석한다.
• 정지 거리—가장 작은 정지 집합의 크기—를 찾는 것이 계산적으로 가능할 수 있는지 조사한다.
• 정지 집합과 관련된 두 가지 결정 문제의 NP-완전성을 공식적으로 증명한다: 정확히 크기가 $ t $인 정지 집합이 존재하는지, 그리고 크기가 최대 $ t $인 정지 집합이 존재하는지 여부.
• 정점 커버 문제로부터의 감소를 통해 Tanner 그래프의 정지 거리 계산 문제가 NP-난이도임을 보여준다.
• LDPC 부호에서 정지 집합 분포 분석을 위한 효율적 알고리즘의 한계를 이론적으로 기초한다.

제안 방법

• 정점 커버 문제를 Tanner 그래프 내의 정지 집합 결정 문제로 다항시간 변환을 통해 감소시킨다.
• 입력 그래프 $ G $ 로부터 수정된 Tanner 그래프 $ G'' $ 를 구성하여, $ G $ 의 정점 커버와 $ G'' $ 의 정지 집합 사이에 일대일 대응 관계를 형성한다.
• 좌측 정점의 $ m+1 $ 개 복제본과 보조 우측 정점을 사용한 계층적 구성 방식을 통해 간선 제약 조건과 정지 집합 조건을 강제한다.
• 그래프 $ G $ 에서 크기 $ t $ 의 정점 커버가 존재하면, 그래프 $ G'' $ 에서 크기 $ t(m+1)+m $ 의 정지 집합이 존재하고, 그 역도 성립함을 증명한다.
• 정지 집합의 소속 확인이 선형 시간 내에 가능함을 증명하여, 이 문제가 NP에 속해 있음을 확인한다.
• 표준적인 NP-완전성 이론을 적용한다: 알려진 NP-완전 문제에서 어떤 문제로의 감소가 가능하면, 그 문제 역시 NP-완전이다.

실험 결과

연구 질문

• RQ1 주어진 크기의 정지 집합을 포함하는 Tanner 그래프가 존재하는지 여부를 결정하는 문제는 계산적으로 가능할 수 있는가?
• RQ2 주어진 값 이하의 크기의 정지 집합을 포함하는 Tanner 그래프가 존재하는지 여부를 결정하는 문제는 P에 속하는가?
• RQ3 Tanner 그래프의 정지 거리를 다항시간 내에 계산할 수 있는가?
• RQ4 정점 커버 문제의 NP-완전성과 정지 집합 계산의 복잡성 간의 관계는 무엇인가?
• RQ5 정지 거리에 대한 다항시간 알고리즘이 존재한다면, 이는 정점 커버 문제의 해를 제공하는가?

주요 결과

• 크기가 정확히 $ t $ 인 정지 집합이 존재하는지 여부를 판단하는 결정 문제 STOPPING SET은 NP-완전이다.
• 크기가 최대 $ t $ 인 정지 집합이 존재하는지 여부를 판단하는 결정 문제 STOPPING DISTANCE는 NP-완전이다.
• Tanner 그래프의 정지 거리 계산 문제는 STOPPING DISTANCE 문제로 감소되므로 NP-난이도이다.
• 정점 커버 문제에서 정지 집합 문제로의 다항시간 감소는 두 결정 문제의 NP-완전성을 입증한다.
• 그래프 $ G $ 로부터 $ G'' $ 를 구성함으로써, $ G $ 의 크기 $ t $ 정점 커버와 $ G'' $ 의 크기 $ t(m+1)+m $ 정지 집합 사이에 일대일 대응 관계를 보장한다.
• 결과적으로, P = NP가 아닐 경우 정지 거리를 계산하는 데 다항시간 알고리즘이 존재하지 않으며, 이는 LDPC 부호 분석에서 근본적인 계산적 한계를 시사한다.