그래프 1 11 표현의 패턴과 언어 연구

초록

본 논문은 그래프의 1‑11 표현에서 나타나는 정방형(큐브)·제곱(스퀘어) 패턴을 조사한다. 최소 길이 표현에서는 큐브를 피할 수 없으며, 순열형 1‑11 표현에서는 모든 큐브를 제거해도 그래프가 변하지 않는다. 그러나 최소 순열 수를 갖는 순열형 표현에서는 스퀘어를 피할 수 없는 경우가 존재한다. 또한 각 그래프에 대한 모든 1‑11 표현과 순열형 1‑11 표현이 형성하는 언어가 정규 언어임을 증명한다.

상세 분석

1‑11 표현은 그래프 G(V,E)의 정점을 알파벳으로 삼아, 두 정점 x와 y가 인접이면 제한 단어 w{x,y}에 “xx” 혹은 “yy”가 최대 한 번만 나타나고, 비인접이면 최소 두 번 나타나도록 하는 단어 w를 말한다. 모든 유한 그래프는 1‑11 표현을 가질 수 있지만, 그 표현 안에 나타나는 반복 패턴(큐브·스퀘어)의 존재 여부는 아직 충분히 연구되지 않았다. 논문은 먼저 최소 길이 1‑11 표현에서 큐브를 회피할 수 없다는 사실을 작은 그래프(삼각형 K₃와 고립 정점 v) 예시를 통해 보여준다. 이 그래프의 1‑11 표현 길이 R(G)는 6이며, 길이 6의 모든 표현은 반드시 “vvv”라는 큐브를 포함한다. 이는 비인접 정점 쌍에 대해 두 번 이상의 동일 문자 연속이 필요하다는 1‑11 규칙이 큐브 제거를 방해함을 의미한다.

다음으로 순열형 1‑11 표현(단어가 V의 순열들을 연속으로 이어진 형태)으로 제한했을 때의 특성을 탐구한다. Lemma 16은 순열형 표현에서 나타나는 큐브 X X X의 블록 길이 |X|가 정점 수 n의 배수가 아니면 불가능함을 증명한다. 증명은 X 안에 포함되지 않은 정점 y가 존재하면, y가 세 번 연속된 X 안에 고르게 분포되지 못해 1‑11 조건을 위배한다는 논리 전개이다. 따라서 순열형 표현에서 허용되는 큐브는 반드시 전체 순열 블록 크기의 정수 배수 길이를 가져야 한다.

그 후 Lemma 17을 통해 동일한 순열 블록이 두 번 연속(XX 형태)으로 나타날 경우, 그 중 하나를 삭제해도 그래프 구조가 변하지 않음을 보인다. 즉, 순열형 1‑11 표현에서는 “스퀘어” 형태의 중복 순열을 자유롭게 없앨 수 있다. 이를 이용해 Theorem 18(논문 내)에서는 최소 순열 수 Rπ(G)를 달성하는 모든 순열형 1‑11 표현이 큐브‑프리임을 증명한다.

하지만 스퀘어 회피는 동일하게 성립하지 않는다. 저자들은 특정 그래프(예: K₄에 몇 개의 추가 정점을 붙인 구조)를 구성해, 최소 순열 수를 달성하는 모든 순열형 1‑11 표현이 반드시 “XX” 형태의 스퀘어를 포함함을 보인다. 이는 1‑11 표현에서 스퀘어는 큐브와 달리 제거가 그래프 표현을 손상시킬 수 있음을 시사한다.

마지막으로 언어 이론적 관점에서, 주어진 그래프 G에 대한 모든 1‑11 표현들의 집합 L(G)와 모든 순열형 1‑11 표현들의 집합 Lπ(G)가 정규 언어임을 보인다. 정규성 증명은 DFA를 구성해 각 정점 쌍에 대한 “xx”·“yy” 발생 횟수를 상태로 추적하고, 1‑11 조건(≤1번 발생)과 순열형 제약(각 순열이 정확히 한 번씩 등장)을 동시에 만족하도록 설계한다. 따라서 L(G)와 Lπ(G)는 각각 유한 자동으로 인식 가능함을 확인한다.

이러한 결과들은 1‑11 표현이 기존의 단어‑표현(word‑representable) 그래프 이론을 일반화하면서도, 반복 패턴에 대한 새로운 복잡성을 도입한다는 점을 강조한다. 특히, 최소 길이와 최소 순열 수라는 두 최적화 목표가 서로 다른 패턴 회피 가능성을 만든다는 사실은 향후 그래프 인코딩, 압축, 그리고 패턴 회피 기반 알고리즘 설계에 중요한 통찰을 제공한다.