디스크·세그먼트 그래프의 정수 구현에 대한 이중 지수적 한계

초록

이 논문은 n개의 정점으로 이루어진 디스크 그래프·단위 디스크 그래프·세그먼트 그래프를 정수 좌표와 정수 반지름(또는 정수 끝점)만으로 구현할 때, 반드시 필요한 격자 크기가 2^{2^{Θ(n)}} 임을 보인다. 이는 기존에 제기된 다항식 표현 가설을 부정하고, 상한과 하한을 모두 이중 지수적으로 정확히 맞춘 최초의 결과이다.

상세 분석

본 연구는 먼저 모든 디스크 그래프가 정수 중심·정수 반지름을 갖는 디스크 집합으로 구현될 수 있음을 보이며, 이를 “정수 구현”이라 정의한다. 이후 f_DG(n), f_UDG(n), f_SEG(n)이라는 함수들을 도입해 n개의 정점을 가진 그래프가 최소로 차지해야 하는 격자 정사각형의 반지름을 정량화한다. 기존 연구에서는 이러한 함수가 2^{O(n)} 수준으로 제한될 가능성이 제기되었으나, 저자들은 이를 반증한다. 핵심 아이디어는 ‘지향된 선 배열(L)’과 ‘점 집합(P)’를 구성해, 어떤 변형된 배열 \tilde L과 점 집합 \tilde P가 원래의 부호 벡터를 유지한다면, \tilde L 안에 존재하는 두 교차점 사이의 거리 비율이 2^{2^{Ω(|L|)}} 만큼 크게 될 수 있음을 보이는 정리(정리 3.2)를 증명하는 것이다. 이 정리는 고전적인 반사점(Van Staudt) 시퀀스를 이용해 큰 교차비(cross‑ratio)를 갖는 구성 Q를 만든 뒤, Q의 각 점마다 4개의 선과 11개의 점을 추가하는 방식으로 L과 P를 확장함으로써 얻어진다.

이러한 기하학적 구조를 이용해 세 종류의 그래프에 대해 하한을 만든다.

• 단위 디스크 그래프: L의 각 선에 대해 두 정점을 두고, P의 각 점에 대해 하나의 정점을 두어 그래프를 구성한다. 어느 정수 구현에서도 중심 좌표가 \tilde L·\tilde P와 동일한 부호 패턴을 유지해야 하므로, 정리 3.2에 의해 최소 하나의 좌표 혹은 반지름이 2^{2^{Ω(n)}} 이상이어야 한다.
• 디스크 그래프: 단위 디스크와 유사하지만, P의 각 점마다 특수한 그래프 H를 삽입한다. H는 모든 실현에서 “공통 교차점” p(D)를 갖는 성질을 가지고 있어, 이 점을 통해 원래의 점 집합을 복원하고 다시 정리 3.2를 적용한다.
• 세그먼트 그래프: Kratochvíl‑Matoušek의 “order forcing lemma”를 활용해, L의 각 선에 하나의 정점, P의 각 점에 두 개의 정점을 배치하고, 추가적인 상수 개수의 정점으로 구조를 고정한다. 이 역시 \tilde L·\tilde P의 부호 배열을 보존해야 하므로 동일한 이중 지수 하한이 적용된다.

상한 측면에서는 Grigor’ev‑Vorobjov의 실현 가능성 정리와 Goodmann‑Pollack‑Sturmfels의 실현 복잡도 결과를 이용해, 모든 디스크·단위 디스크·세그먼트 그래프가 2^{2^{O(n)}} 크기의 격자 안에 정수 구현될 수 있음을 보인다. 따라서 f_DG(n)=f_UDG(n)=f_SEG(n)=2^{2^{Θ(n)}} 가 정확히 성립한다.

이 결과는 또한 “다항식 인증 가설”(PRH)이 거짓임을 의미한다. 만약 PRH가 참이라면 디스크·단위 디스크 그래프 인식 문제가 NP에 속하게 되지만, 이 논문은 그에 필요한 인증서(좌표·반지름)의 비트 수가 2^{Θ(n)} 수준으로 필요함을 보여, NP‑hard성만을 유지한다는 점을 강조한다.