복잡도 계층의 의존 관계와 클래스 구분에 대한 비판적 고찰

초록

본 논문은 NP≠AL, P≠NC, NC≠NL, NL≠L이라는 네 가지 복잡도 클래스 구분을 주장하고, 문제들 간의 “의존 관계”를 이용해 각 클래스를 구분하려 한다. 그러나 정의의 모호성, 증명의 부재, 기존 이론과의 충돌 등으로 인해 주장의 타당성이 크게 의심된다.

상세 분석

논문은 먼저 NP와 AL(Alternating Logspace)의 구분을 시도한다. AL은 알려진 바에 따르면 AL = P와 동등함이 증명되어 있다(Chandra·Kozen·Stockmeyer, 1981). 따라서 NP≠AL이라는 명제는 사실상 “NP≠P”와 동치가 되며, 이는 현재까지 미해결된 P vs NP 문제와 동일한 난이도이다. 논문은 이를 증명하기 위해 “다른 문제의 결과에 의존하는 문제”라는 개념을 도입한다는데, 구체적인 정의와 형식적 모델링이 전혀 제시되지 않는다.

다음으로 P와 NC의 구분을 주장한다. NC는 병렬 계산 모델에서 로그 깊이와 다항 개수의 게이트를 허용하는 클래스이며, 현재까지 NC ⊆ P는 알려져 있으나 P⊈NC인지 여부는 열려 있다. 논문은 “NC가 P보다 약한 의존 관계를 가진다”는 직관적 설명만을 제공하고, 복잡도 이론에서 표준적으로 사용되는 회귀적 감소(reduction) 혹은 회전적 증명 기법을 전혀 활용하지 않는다.

NC와 NL, NL과 L 사이의 구분 역시 동일한 문제를 안고 있다. NL ⊆ NC ⊆ P는 알려져 있으나, NL≠L 혹은 NC≠NL은 현재까지 증명되지 않은 가정이다. 특히 NL과 L의 차이는 공간 복잡도 이론에서 가장 오래된 열린 문제 중 하나이며, 논문은 “NL이 L보다 더 많은 의존 관계를 필요로 한다”는 식의 모호한 서술만으로 이를 입증하려 한다.

핵심적인 결함은 다음과 같다. 첫째, “의존 관계”라는 용어가 정의되지 않아 어떤 형태의 감소를 의미하는지 알 수 없다. 둘째, 각 클래스 구분에 필요한 복잡도 이론의 기본 도구(예: 로그스페이스 감소, 회전적 증명, 교환 가능성 등)를 전혀 사용하지 않는다. 셋째, 기존 연구와의 비교가 전무하며, 이미 알려진 결과(예: AL = P)를 무시하거나 오해한다. 넷째, 논문 전반에 걸쳐 정형화된 증명 구조가 부재하고, 직관적 서술에 의존하는 일방적인 주장만이 존재한다. 이러한 이유로 논문의 주장은 현재 복잡도 이론의 표준적 기준을 충족하지 못한다.