완전 이분 그래프 K₍ₘ,ₙ₎의 μ₂₁ 파라미터 정확값 규명

초록

본 논문은 그래프 색채 게임에서 Alice가 색의 개수 t를 선택해 구간 스펙트럼을 갖는 정점 수를 최소화하고, Bob이 t색으로 적절히 색칠해 그 수를 최대화하는 상황을 고려한다. 완전 이분 그래프 K₍ₘ,ₙ₎에 대해 양측이 최적 전략을 취했을 때 발생하는 구간 스펙트럼 정점의 수 μ₂₁(K₍ₘ,ₙ₎)의 정확한 값을 구한다. 결과적으로 μ₂₁(K₍ₘ,ₙ₎)=min {m,n}임을 증명한다.

상세 분석

논문은 먼저 “적절한 색 t‑컬러링(proper edge t‑coloring)”과 “정점 스펙트럼(spectrum)”이라는 기본 개념을 정의한다. 스펙트럼이 연속된 정수 집합, 즉 구간(interval)일 경우 해당 정점을 “구간 정점”이라고 부른다. 게임은 두 단계로 진행된다. ① Alice는 전체 색의 개수 t를 정한다. 이때 t는 그래프 G의 최대 차수 Δ(G) 이상이어야 하며, Alice의 목표는 최종 색칠 결과에서 구간 정점의 수를 가능한 한 작게 만드는 것이다. ② Bob은 Alice가 정한 t를 사용해 모든 간선을 적절히 색칠한다. Bob은 구간 정점의 수를 최대화하려 한다. 양측이 각각 최적 전략을 채택했을 때, 최종 구간 정점의 수를 μ₂₁(G)라 정의한다.

완전 이분 그래프 K₍ₘ,ₙ₎는 두 파트 A와 B에 각각 m, n개의 정점이 존재하고, 모든 가능한 AB 간선이 존재한다. 각 정점의 차수는 서로 다르다: A‑파트 정점은 차수 n, B‑파트 정점은 차수 m이다. 구간 정점을 만들기 위해서는 해당 정점에 incident한 색이 연속된 정수 집합이어야 하므로, 색 배분의 자유도가 차수와 t에 크게 의존한다.

저자들은 먼저 Alice가 t를 크게 잡으면 Bob이 색을 흩뿌려 구간 정점을 억제할 수 있음을 보인다. 반대로 t를 너무 작게 잡으면 색의 충돌을 피하기 위해 색이 밀집하게 배치될 수밖에 없으며, 이 경우 구간 정점이 자연스럽게 많이 발생한다. 따라서 Alice는 “t = max{m,n}” 혹은 그보다 약간 큰 값을 선택하는 것이 최적임을 논증한다.

Bob의 입장에서는 주어진 t에 대해 가능한 많은 정점에 연속 색을 할당하려면, 한 파트의 모든 정점에 동일한 색 집합을 부여하고, 다른 파트는 그 집합을 한 칸씩 이동시키는 “시프트 전략(shift strategy)”을 사용한다. 이 전략은 각 파트에서 최소한 min{m,n}개의 정점이 구간 스펙트럼을 갖게 만든다. 구체적으로, 예를 들어 m ≤ n이라면, Bob은 A‑파트의 m개의 정점에 색 {1,…,n}을 연속적으로 할당하고, B‑파트의 n개의 정점 중 n−m개는 색이 겹치지 않도록 배치한다. 결과적으로 A‑파트 전체가 구간 정점이 되고, B‑파트에서는 추가로 최소 m개의 정점이 구간 정점이 된다.

다음으로 저자들은 상한과 하한을 각각 증명한다. 상한은 “Alice가 t를 충분히 크게 잡아도, Bob은 최소 min{m,n}개의 구간 정점을 만들 수 있다”는 명제에서 도출된다. 하한은 “Alice가 어떤 t를 선택하더라도, Bob이 위의 시프트 전략을 적용하면 최소 min{m,n}개의 구간 정점을 보장한다”는 논증을 통해 얻어진다. 두 경계가 일치함으로써 μ₂₁(K₍ₘ,ₙ₎)=min{m,n}이라는 정확한 식이 도출된다.

마지막으로 저자들은 특수 경우, 즉 m=n인 완전 이분 그래프 K₍ₙ,ₙ₎에 대해 동일한 결과가 유지됨을 확인하고, 기존 연구에서 다루어진 “구간 색칠 가능성(interval colorability)”과의 관계를 논의한다. 특히, K₍ₙ,ₙ₎는 Δ=n이므로 t=n이면 완전 구간 색칠이 가능하지만, 게임 상황에서는 Alice가 t를 크게 잡아도 Bob이 최소 n개의 구간 정점을 만들 수 있음을 보여준다.

이러한 분석을 통해 논문은 그래프 색채 게임 이론에 새로운 파라미터 μ₂₁을 도입하고, 완전 이분 그래프에 대한 정확한 값을 제공함으로써 향후 다른 그래프 클래스에 대한 μ₂₁ 연구의 토대를 마련한다.