[논문 리뷰] Graphs whose Eulerian trails have unique labels

Donggyu Kim, Rose McCarty외 1명|arXiv (Cornell University)|2026. 03. 03.

Advanced Graph Theory Research인용 수 0

한 줄 요약

이 논문은 두 고정된 정점 사이의 모든 Eulerian 경로가 동일한 레이블을 공유하는 경우를 그룹-레이블링된 무방향 그래프에서 구조적이고 알고리즘적인 특성으로 규명한다; 특히 3-edge-connected 부분은 Z2^k로 레이블링되며, word-problem oracle를 사용한 다항 시간 알고리즘이 존재한다.

ABSTRACT

Consider an undirected graph whose edges are labeled invertibly in a group. When does every Eulerian trail from one fixed vertex to another have the same label? We give a precise structural answer to this question. Essentially, we show that each ``$3$-connected part'' is labeled over a group which is isomorphic to $\mathbb{Z}_2^k$ for some $k$. We also show that the algorithmic problem admits a polynomial-time reduction to the word problem for the group.

연구 동기 및 목표

• 그룹-레이블링 그래프에서 a에서 b까지의 모든 Eulerian 경로가 동일한 레이블을 갖는 시점을 이해한다.
• 3-edge-connected 부분이 Z2^k로 레이블링되는 구조적 분해를 제공한다.
• 이론과 효율적인 알고리즘을 word-problem oracle를 사용하여 연결한다.
• 아벨리안 그룹 및 Z2^k 케이스를 넘어 결과를 확장하는 한계를 탐구한다.

제안 방법

• 구조 정리: 동일한 레이블의 Eulerian 경로와 Shift 이후 3-edge-connected 구성요소가 Z2^k로 레이블링되는 것 사이의 동치성을 제시한다.
• 적절한 Shift 하에서 생성된 군이 Z2^k임을 보이는 직접 증명을 통해 가환 케이스를 증명한다.
• Lemma 2.3, Proposition 3.1에 대한 자세한 귀납적 논증 및 edge-splitting 기법으로 3-edge-connected 경우를 처리한다.
• core(3-core)로 분해하고 core-유효한 인스턴스로 환원하는 일반 그래프 확장(Theorem 4.3).
• 모든 Eulerian 회로가 동일한 레이블을 갖는지 결정하는 알고리즘 절차를 제공하고, 서로 다른 레이블을 갖는 두 경로를 찾는 절차를 제시한다(Theorem 1.2).

실험 결과

연구 질문

• RQ1 그룹-레이블링 그래프에서 a에서 b로 가는 모든 Eulerian 경로가 동일한 레이블을 가지는가?
• RQ2 3-edge-connected 구성요소가 레이블링에 어떤 구조를 부여하는가?
• RQ3 이 조건을 Shift 이후 Z2^k와 같은 유한 가환군으로의 축소로 줄일 수 있는가?
• RQ4 단어문제 오라클이 주어졌을 때 레이블-균일 Eulerian 경로를 결정하는 복잡도는 얼마나 되는가?

주요 결과

• 정확한 구조적 동치성: a에서 b로 가는 모든 Eulerian 경로가 동일한 레이블을 갖는 경우, Shift 이후 각 3-edge-connected 부분이 Z2^k와 동형인 군으로 레이블링된다는 것이 필요충분조건이다.
• 가환 경우, 전체 그래프가 Z2^k로 레이블링된다는 것을 시사한다.
• 주된 알고리즘은 속도 O(m^2)·φ(12m)로 속성을 결정하며, φ(n)은 단어 문제 오라클 시간이고, 서로 다른 레이블을 갖는 두 경로를 찾는 시간은 O(m^4)·φ(12m)이다.
• 비 3-edge-connected 그래프를 포함하는 코어로 분해하여 처리하는 일반화가 가능하므로 실용적으로 확장될 수 있다.
• 만약 차수(order) > 2인 실행 가능한 회로가 존재하면, a에서 b로 가는 서로 다른 두 Eulerian 경로가 존재한다.