평면 그래프의 난독화 복잡도 연구

초록

존 탄탈로의 플래너리티 게임에 영감을 받아, 우리는 평면 그래프 G의 직선 평면 그리기에서 발생할 수 있는 가장 많은 교차 수, 즉 난독화 복잡도 obf(G)를 정의한다. 정점 차수 분포와 obf(G) 사이의 관계를 분석하여, G의 어느 그리기든 최소 obf(G)/3 개의 교차를 보장하는 효율적인 구성 방법을 제시한다. 최소 차수 δ(G)≥2 인 n‑정점 평면 그래프에 대해 (δ(G)²/24 − o(1)) n² < obf(G) < 3 n² 라는 상한과 하한을 증명한다. 또한, 난이도 완화 복잡도 shift(G)를 정의한다. 이는 임의로 난독화된 그리기에서 모든 교차를 없애기 위해 필요한 최소 정점 이동 횟수이며, 정점 이동 시 해당 정점에 인접한 모든 간선도 재그리기 된다. δ(G)≥3인 경우, G의 매칭 수가 선형이므로 shift(G)도 정점 수에 비례한다. 반면 δ(G)≥2인 경우, 매칭 수가 제한적이더라도 shift(G)는 여전히 선형일 수 있음을 보인다. 마지막으로, 주어진 평면 그래프의 그리기 D에 대해 최적의 이동 순서를 찾아 교차를 없애는 문제는 NP‑hard임을 증명한다.

상세 요약

이 논문은 평면 그래프를 의도적으로 “난독화”시켜 얼마나 복잡한 교차 구조를 만들 수 있는지를 정량화하는 새로운 개념, 즉 난독화 복잡도(obf) 를 도입한다. 기존 그래프 이론에서는 주로 최소 교차 수(플래너리티)나 최대 교차 수(크로스링 수) 등을 다루었지만, 여기서는 최대 교차 수를 탐구함으로써 게임 이론적·시각적 흥미를 과학적으로 분석한다.

첫 번째 주요 결과는 정점 차수 분포와 obf(G) 사이의 관계를 이용해, 어떠한 평면 그래프라도 최소 obf(G)/3 교차를 보장하는 그리기 알고리즘을 제시한다는 점이다. 이는 단순히 무작위 배치를 시도하는 것보다 훨씬 효율적이며, 실제 구현에서도 다항 시간 내에 수행 가능하다는 장점이 있다.

두 번째로, 최소 차수 δ(G)≥2인 n‑정점 평면 그래프에 대해
\