정점 그리기와 장애물, 그리고 틱택토: 이산 기하·게임 이론의 새로운 연결

초록

이 논문은 (1) 모든 3차 정규 그래프를 네 가지 기본 기울기 {0, π/4, π/2, −π/4}만으로 직선 그릴 수 있음을 증명하고, 이러한 네 기울기가 K₄를 그릴 수 있을 때와 동치임을 보인다. (2) 그래프의 장애물 수(obstacle number)가 Ω(n/ log n)까지 필요함을 하한으로 제시한다. (3) d 차원 격자 ℤᵈ에서 메이커‑브레이커 게임을 두고, 승리 방향이 n개일 때 m = 2n + o(n)이면 브레이커가 페어링 전략으로 무승부를 강제할 수 있음을 보여, 기존 m ≥ 3n 결과를 크게 개선한다.

상세 분석

논문은 세 개의 독립적인 주제를 하나의 장(Chapter)으로 묶어 이산 기하와 조합 게임 이론 사이의 공통된 구조를 탐구한다. 첫 번째 파트에서는 “기울기 수(slope number)”라는 개념을 이용해, 그래프를 직선으로 그릴 때 사용되는 서로 다른 기울기의 최소 개수를 연구한다. 기존 연구에서는 차수가 5 이상인 그래프는 기울기 수가 무한히 커질 수 있음을 보였지만, 차수가 3인(즉, 3‑regular) 그래프에 대해서는 정확한 값이 알려지지 않았다. 저자는 모든 연결된 3‑regular 그래프가 네 가지 기본 방향(N, E, NE, NW)만으로 그릴 수 있음을 귀납적 구성과 케이스 분석을 통해 증명한다. 핵심 아이디어는 그래프를 삼각형이 없는 형태로 변형한 뒤, 각 정점을 실수 좌표 x₁, x₂,…, xₙ에 선형 독립적으로 매핑하고, 차수 2 이하인 정점들을 북쪽에 배치하지 않도록 하는 제약을 이용해 기울기를 제한한다. 특히 K₄가 네 기울기로 그려질 수 있는 경우에만 어떤 네 기울기 집합도 모든 3‑regular 그래프를 표현할 수 있다는 “좋은(good) 기울기 집합”의 동치성을 제시함으로써, 기울기 선택의 불변성을 명확히 한다. 두 번째 파트는 “장애물 표현(obstacle representation)”을 다룬다. 여기서 그래프의 정점을 평면상의 점으로 두고, 다각형 형태의 장애물을 배치해 두 점 사이에 직선 연결이 가능한 경우에만 간선이 존재하도록 만든다. 저자는 임의의 n‑점 그래프에 대해 장애물 수가 최소 Ω(n/ log n)임을, 기존의 Ω(√log n) 하한을 크게 강화하여 증명한다. 증명은 무작위 그래프 모델을 이용해, 임의의 장애물 배치가 일정 크기의 독립 집합을 차단하지 못함을 확률론적으로 보여준다. 마지막 파트는 메이커‑브레이커 게임을 ℤᵈ 격자 위에 정의하고, 승리 조건을 n개의 방향으로 연속 m개의 마크를 놓는 것으로 설정한다. 기존 연구(Kruczek‑Sundberg)는 m ≥ 3n이면 브레이커가 페어링 전략으로 무승부를 만들 수 있다고 보였지만, 저자는 수론적 구조(소수 p ≥ 2n+1)와 격자 대칭성을 이용해 m = 2n + o(n)에서도 동일한 전략이 가능함을 보인다. 이는 “m ≥ 2n+1이면 페어링 전략이 필요하다는” 하한과 거의 일치하는 최적에 가까운 결과이며, 게임 이론에서 페어링 전략의 한계와 가능성을 새롭게 조명한다. 전체적으로 세 파트는 각각 그래프 그리기, 시각성(visibility) 그래프, 그리고 위치 게임이라는 서로 다른 맥락에서 “제한된 자원(기울기, 장애물, 마크 수)”을 최소화하는 문제를 다루며, 조합적 구조와 확률·수론적 도구를 융합한 방법론이 돋보인다.