[論文レビュー] Graphs whose Eulerian trails have unique labels

Donggyu Kim, Rose McCarty+1 more|arXiv (Cornell University)|Mar 3, 2026

Advanced Graph Theory Research被引用数 0

ひとこと要約

要約: 論文は、群ラベル付けされた無向グラフにおいて、2つの固定された頂点間のすべてのEuler路が同じラベルを共有する条件を構造的およびアルゴリズム的に特徴づける。特に、3辺連結部は Z2^k でラベル付けされ、ワード問題オラクルを用いた多項式時間アルゴリズムが存在する。

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 までのすべてのEuler路が同じラベルを持つ条件を理解する。
• Z2^k でラベル付けされた3辺連結部への構造的分解を提供する。
• 理論と効率的なアルゴリズムをワード問題オラクルと橋渡しする。
• アブレアン群および Z2^k のケースを超えた結果の拡張の限界を探る。

提案手法

• 構造定理を構築する：同一ラベルのEuler路と、シフト後の Z2^k でラベル付けされた3辺連結部との同値性を示す。
• 適切なシフトの下で生成される群が Z2^k であることを直接的な議論で示し、アブレアンケースを証明する。
• 3辺連結の場合を、補助的な帰納論証とエッジ分割技法（Lemma 2.3、Proposition 3.1）で詳述する。
• 一般グラフへはコア（3コア）へ分解し、コア有効なインスタンスへ還元して適用を拡張する（Theorem 4.3）。
• すべての Euler 回路が同じラベルを持つかを決定するアルゴリズム的手続きと、ラベルが異なる2つの路を見つける方法を提供する（Theorem 1.2）。

実験結果

リサーチクエスチョン

• RQ1 群ラベル付けグラフにおいて、すべての a から b への Euler 路は同じラベルを持つのか？
• RQ2 3辺連結成分はラベリングにどのような構造を課すのか？
• RQ3 シフト後に Z2^k のような有限アブレアン群へのラベリングへ還元できるのか？
• RQ4 ワード問題オラクルが与えられたとき、ラベル一様な Euler 路を決定する計算量はどれくらいか？

主な発見

• 正確な構造的同値性：a から b へのすべての Euler 路は、シフト後に各3辺連結部が Z2^k に同型の群でラベル付けされるときにのみ同じラベルを持つ。
• アブレアン場合には、全体のグラフが Z2^k でラベル付けされることを意味する。
• 主アルゴリズムは、性質を決定するのに時間 O(m^2)·φ(12m) を要し、ラベルが異なる2つの路を見つけるには O(m^4)·φ(12m) の時間が必要である。φ(n) はワード問題オラクルの時間。
• コアに分解されたグラフの処理へ結果を拡張し、3辺連結でないグラフの実務的処理を可能にする。
• 順序 > 2 の実可な回路が存在する場合、a から b への異なるラベルを持つ2つの Euler 路が存在する。