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

이 논문은 임의의 d‑차원 다각형을 k개의 직교 벡터 방향으로 투영(그림자)하거나 해당 방향으로 절단하는 연산의 계산 복잡성을 다각형의 입력·출력 형태에 따라 체계적으로 분석한다. 다각형은 V‑표현(정점 집합)과 H‑표현(반평면 집합)으로 구분되며, 두 표현을 동시에 제공하는 경우는 HV‑다각형이라 부른다. 저자는 출력‑감도 알고리즘을 전제로 하여, 입력·출력 형태별 9가지 경우를 조사한다. 첫 번째 주요 결과는 V‑표현이 입력인 경우이다. 정점들을 직접 투영하고, 중복 정점을 LP(선형 계획)로 제거하면 V‑표현을 다항식 시간에 얻을 수 있다(정리 1). 또한, 임의의 다각형은 적절한 단순체(simplex)의 투영으로 표현될 수 있음을 이용해, V‑표현 입력 → H‑표현·HV‑표현 출력도 정점 열거(VE)와 동등함을 보인다. 즉, VE‑complete 문제로 분류된다. 두 번째 주요 결과는 H‑표현이 입력인 경우이다. 여기서는 세 가지 하위 경우가 존재한다. (1) 출력이 V‑표현인 경우, (2) 출력이 H‑표현인 경우, (3) 출력이 HV‑표현인 경우. 저자는 (1)과 (2) 모두가 NP‑hard임을 증명한다. 이를 위해 폴리토프 P={ (x,y) | Ax+By≤1 }와 Q={ x | A′x≤1 } 사이의 포함 관계 판정 문제를 투영 포함 판정 문제로 환원한다. 기존에 H‑표현과 V‑표현 사이의 포함 판정이 NP‑complete임을 이용해, Q가 P의 투영과 정확히 일치하는지를 결정하는 것이 NP‑complete임을 보인다(정리 2). 반면, (3) 즉 H‑표현 입력 → HV‑표현 출력은 VE‑complete이다. 여기서는 Balas가 제시한 폴리헤드랄 콘 W를 이용한다. 주어진 H‑표현 폴리토프와 투영 방향에 대해, 다항식 크기의 콘 W를 구성하고, W의 극점과 면을 통해 원래 폴리토프의 투영 면과 정점을 일대일 대응시킨다. 이 과정에서 극대(dual) 개념을 활용해, 무한한 콘을 유한한 폴리토프로 변환한다(정리 3, 4). 결과적으로, H‑표현 입력 → HV‑표현 출력 문제는 정점 열거와 동치이며, VE‑complete로 분류된다. 논문은 또한 비퇴화(non‑degenerate) 투영 방향에 대한 특수 경우를 다룬다. 투영 방향이 일반 위치에 있으면 Fourier‑Motzkin 소거법의 중간 단계에서 발생하는 폭발적 복잡성을 피할 수 있다. 기존 연구(Amenta‑Ziegler, Jones‑Kerrigan‑Maciejowski 등)와 유사한 다항식 알고리즘이 존재함을 확인하고, 이러한 경우를 VE‑easy로 정의한다. 즉, VE‑oracle만 있으면 다항식 시간에 해결 가능하다. 복합적인 결과를 정리한 표 1과 표 2는 입력·출력 형태별 복잡도 분류를 제시한다. 표 1은 일반(임의) 투영 방향에 대한 복잡도를, 표 2는 비퇴화 투영 방향에 대한 복잡도를 보여준다. 대부분의 경우는 VE‑complete 혹은 NP‑hard이며, 두 경우는 trivial(다항식) 알고리즘으로 해결된다. 마지막으로, 저자는 정점 열거와 투영 문제 사이의 상호 변환 가능성을 강조한다. 정점 열거에 대한 효율적인 출력‑감도 알고리즘이 발견될 경우, 제어 이론, 제약 논리 프로그래밍, 제약 질의 언어 등 다양한 분야에서 투영 연산을 효율적으로 수행할 수 있다. 또한, 원점이 내부에 있는 전역 다각형에 대해 투영은 선형 부분공간과의 교차와 대칭 관계에 있으므로, 결과를 면↔정점, 투영↔교차로 대칭화할 수 있다. 요약하면, 이 논문은 다각형 투영(그림자) 문제를 복잡도 이론의 관점에서 체계적으로 분류하고, 새로운 복잡도 클래스(VE‑complete, VE‑hard, VE‑easy)를 도입함으로써 정점 열거 문제와 깊은 연관성을 밝히며, 비퇴화 투영 방향에 대한 기존 알고리즘과의 연계성을 제시한다.