다각형의 그림자와 절단 계산 복잡도

초록

본 논문은 임의의 d‑다각형을 k개의 직교 벡터 방향으로 투영(그림자)하거나 해당 방향으로 절단하는 문제의 복잡성을 조사한다. 입력·출력 형태에 따라 대부분의 경우는 정점 열거(Vertex Enumeration)와 동등함을 보이며, 두 경우는 NP‑hard, 두 경우는 삼각형(다항식) 알고리즘으로 쉽게 해결된다. 또한 비퇴화(non‑degenerate) 투영 방향에 대한 특수 결과와, 정점 열거를 기반으로 한 새로운 복잡도 클래스(VE‑complete, VE‑hard 등)를 정의한다.

상세 분석

논문은 먼저 다각형을 V‑표현(정점 집합)과 H‑표현(반평면 집합)으로 구분하고, 투영(그림자) 문제를 입력·출력 형태별로 9가지 경우로 나눈다. V‑표현이 입력이면 정점을 그대로 투영하고 중복을 LP로 제거하면 다항식 시간에 V‑표현을 얻을 수 있다(정리 1). 반대로 H‑표현이 입력이면서 출력이 V‑표현이거나 H‑표현이 될 경우, 투영 결과를 구하는 것이 정점 열거와 동치임을 보인다. 이는 “VE‑complete”라는 새로운 복잡도 클래스로 정의되며, VE 문제에 대한 출력‑감도 다항식 알고리즘이 존재한다면 모든 이러한 투영 문제도 동일한 복잡도로 해결될 수 있음을 의미한다.

핵심 난이도는 H‑표현 입력에 대해 출력이 V‑표현(정점) 혹은 H‑표현(면)인 경우에 나타난다. 저자는 H‑표현 입력 → V‑표현 출력, 혹은 H‑표현 입력 → H‑표현 출력이 NP‑hard임을 증명한다. 이를 위해 폴리토프 P={ (x,y) | Ax+By≤1 }와 Q={ x | A′x≤1 } 사이의 포함 관계를 판별하는 문제를 투영 포함 판정 문제로 환원한다. 기존에 알려진 H‑표현과 V‑표현 사이의 포함 판정이 NP‑complete임을 이용해, 투영 결과가 주어진 H‑표현과 정확히 일치하는지를 결정하는 것이 NP‑complete임을 보인다(정리 2).

또한, Balas의 폴리헤드랄 콘 구조를 이용해 H‑표현 입력 → H‑표현·V‑표현 복합 출력이 VE‑complete임을 보인다. 구체적으로, 주어진 H‑표현 폴리토프와 투영 방향에 대해 다항식 크기의 콘 W를 구성하고, W의 극점과 면을 이용해 원래 폴리토프의 투영 면과 정점을 일대일 대응시킨다. 이 과정에서 극점·면 변환을 위한 극대(dual) 개념을 활용해, 원래 무한한 콘을 유한한 폴리토프로 바꾸는 절차를 제시한다.

비퇴화 투영 방향에 대해서는 기존 연구와 유사한 다항식 알고리즘이 존재함을 언급한다. 특히, 입력 폴리토프가 단순(simple)하거나 투영 방향이 일반 위치(generic)일 때는 Fourier‑Motzkin 소거법의 중간 단계에서 발생하는 폭발적 복잡성을 피할 수 있다. 논문은 이러한 경우를 “VE‑easy”로 분류하고, VE‑oracle만 있으면 다항식 시간에 해결 가능함을 보인다.

마지막으로, 정점 열거와 투영 문제 사이의 상호 변환 가능성을 통해, 정점 열거에 대한 효율적인 출력‑감도 알고리즘이 발견될 경우, 제어 이론, 제약 논리 프로그래밍, 제약 질의 언어 등 다양한 응용 분야에서 투영 연산을 효율적으로 수행할 수 있음을 강조한다. 또한, 원점이 내부에 있는 전역 다각형에 대해 투영은 선형 부분공간과의 교차와 대칭 관계에 있으므로, 결과를 면↔정점, 투영↔교차로 대칭화할 수 있다.

전체적으로 논문은 다각형 투영 문제를 복잡도 이론의 관점에서 체계적으로 분류하고, VE‑complete/VE‑hard/VE‑easy와 같은 새로운 복잡도 클래스를 도입함으로써 기존의 정점 열거 문제와 깊은 연관성을 밝힌다.