분할‑분해와 금지 서브그래프를 활용한 그래프 클래스 열거법

초록

본 논문은 그래프의 금지 유도 서브그래프 특성을 분할‑분해 트리의 패턴 제한으로 변환하고, 이를 조합론적 문법으로 기술하여 ptolemaic 그래프, block 그래프 및 다양한 카키드 그래프(2‑cactus, 3‑cactus, 4‑cactus)의 정확한 열거식을 얻는다. 특히 기존에 열거가 알려지지 않았던 클래스에 대해 새로운 수식을 제공하고, 제시된 문법을 통해 비대칭 정리와 무작위 생성, 평균 파라미터 분석 등 확장 가능성을 제시한다.

상세 분석

논문은 먼저 금지 유도 서브그래프(예: C₄, 다이아몬드, 클리크, 펜던트 정점, 브리지)를 분할‑분해 트리에서 특정 “패턴”으로 해석한다. 이때 핵심은 두 정점이 원 그래프에서 인접하면 그에 대응하는 리프 사이에 ‘교대 경로(alternated path)’가 존재한다는 사실이다. 저자들은 이러한 교대 경로의 존재·불존을 이용해 트리 내부 노드(클리크·스타·프라임)의 연결 형태에 제약을 부여한다. 예를 들어, C₄를 금지하려면 두 스타‑노드 사이에 연속된 스타‑노드가 존재하면 안 된다는 식으로 트리 구조를 제한한다.

이러한 제약을 조합론적 구조(SET, SEQ, PRODUCT)로 표현함으로써 ‘문법(grammar)’을 만든다. 문법은 루트된 트리 형태로 기술되며, 각 비터미널은 특정 진입 방식(클리크 노드 진입, 스타‑노드 중심 진입, 스타‑노드 외곽 진입 등)을 나타낸다. 예를 들어, S_C = SET_{≥2}(Z + K + S_X) 는 중심을 통해 들어온 스타‑노드가 최소 두 개의 외곽를 갖고, 각 외곽는 리프(Z), 클리크(K), 혹은 외곽을 통해 연결된 또 다른 스타‑노드(S_X) 중 하나가 될 수 있음을 의미한다.

문법을 무루트 트리로 변환하기 위해 저자들은 Bergeron 등(1998)의 비대칭 정리(dissymmetry theorem)를 적용한다. 무루트 트리의 개수를 루트된, 엣지‑루트, 아크‑루트 형태의 세 가지 카운팅으로 분해하고, 교정항을 빼는 방식으로 비라벨링된 그래프의 정확한 열거식을 얻는다.

각 그래프 클래스별로 구체적인 제약을 적용한다.

• Block 그래프: 모든 2‑연결 성분이 클리크이므로 트리에서 클리크‑노드만 허용하고, 스타‑노드는 금지한다. 문법은 K = SET_{≥3}(Z) 로 단순화된다.
• Ptolemaic 그래프: chordal + distance‑hereditary 조건을 동시에 만족해야 하므로, 트리에서는 클리크와 스타가 교차 없이 배치되고, 스타‑노드의 중심이 클리크‑노드와 직접 연결되지 않도록 제한한다. 여기서는 ‘상태(state)’ 정보를 유지하기 위해 두 종류의 스타‑노드(S_C, S_X)를 구분하고, 클리크‑노드에 연결된 스타‑노드의 깊이를 추적한다.
• Cactus 그래프: 각 블록이 사이클(길이 2,3,4) 혹은 에지인 경우를 다룬다. 사이클을 표현하기 위해 프라임‑노드(사이클 그래프)를 허용하고, 해당 프라임‑노드가 별도 규칙을 만족하도록 설계한다. 2‑cactus는 모든 사이클이 길이 2(즉, 다중 에지)이며, 3‑cactus와 4‑cactus는 각각 길이 3,4의 사이클만 허용한다. 문법에선 프라임‑노드 P_k (k=3,4) 를 추가하고, 그 주변에 연결될 스타·클리크‑노드의 제한을 명시한다.

이러한 문법을 통해 저자들은 각 클래스의 전형적인 생성 함수와 초기 계수를 계산하고, 비라벨링된 그래프 수를 정확히 열거한다. 특히 ptolemaic 그래프와 4‑cactus 그래프는 기존에 열거식이 없었으나, 본 방법으로 처음으로 정확한 수열을 제공한다. 또한, 문법 기반 접근은 평균 직경, 최대 차수 등 파라미터의 기대값을 분석하는 데도 활용 가능함을 논의한다.

마지막으로 논문은 현재는 ‘클리크‑스타 트리’만을 다루었지만, 프라임‑노드(특히 사이클·완전 그래프 등) 를 포함하는 보다 일반적인 분해 트리로 확장하는 방향을 제시한다. 이는 더 복잡한 금지 서브그래프 클래스를 다루는 데 필수적인 단계이며, 향후 연구 과제로 남겨졌다.