무한 그래프의 경로와 끝 그리고 분리 문제

초록

본 논문은 무한 연결 그래프에서 유한한 간선 집합을 제거했을 때 두 개 이상의 무한 연결 성분으로 갈라지는지를 판단하는 ‘분리 문제’를 정의하고, 끝의 개수가 유한한 고계산 가능 그래프에 대해 이 문제를 결정 가능함을 보인다. 이를 기반으로 König의 무한 레마의 효과적 버전을 얻고, 끝의 수에 따라 복잡도가 달라지는 무한 그래프의 오일러 경로 문제를 완전하게 규정한다. 또한 그래프 자체를 입력으로 하는 통합 버전의 복잡도 분석과 끝의 수와의 관계를 제시한다.

상세 분석

논문은 먼저 ‘분리 문제’를 정식화한다. 연결된 로컬리 유한 그래프 G와 유한 간선 집합 E에 대해, G∖E가 최소 두 개의 무한 연결 성분을 갖는지를 판단한다. 이 정의는 그래프의 ‘끝(ends)’ 개념과 직접 연결된다. 끝은 모든 유한 간선 집합을 제거했을 때 남는 무한 성분의 최대 개수로 정의되며, 무한 그래프 이론에서 핵심적인 위상적 특성이다. 저자들은 고계산 가능(highly computable) 그래프, 즉 정점 집합과 인접 관계가 결정 가능하고 각 정점의 차수를 효과적으로 계산할 수 있는 그래프를 대상으로 연구한다. 이러한 전제 하에, ‘Comp_G(E)’—즉, E를 제거했을 때 얻어지는 무한 성분의 수—를 위쪽 반계산 가능(upper‑semi‑computable) 함수로 구현한다. 구체적으로, 각 정점에서 거리 n 이내의 탐색을 통해 유한 성분을 판별하고, n이 충분히 커지면 ‘Comp_G(E)’가 안정화됨을 보인다. 이를 통해 Sep(G) (분리 집합들의 모음)은 Π₀¹ 수준에 속함을 증명한다.

특히, 끝의 수가 유한하면 ‘Comp_G(E)’ 자체가 전산 가능함을 보여, Sep(G)와 Sepmax(G) (끝 수에 도달하는 최대 분리 집합)의 결정 가능성을 확보한다. 반면, 끝이 무한한 경우 Sep(G)는 Π₀¹‑complete가 되며, 이는 일반적인 고계산 가능 그래프에서도 최악의 복잡도임을 의미한다.

이론적 결과를 활용해 두 가지 응용을 제시한다. 첫째, 무한 경로 존재 문제는 끝이 유한한 경우에만 계산 가능함을 보인다. 구체적으로, 고계산 가능 그래프가 무한이면 반드시 계산 가능한 무한 단순 경로를 포함하고, 유한 경로를 무한 경로로 연장하는 문제도 결정 가능하다. 둘째, 무한 그래프의 오일러 경로 문제를 끝의 수에 따라 세분화한다. 한 끝을 가진 그래프에서는 ‘one‑way’ 오일러 경로 존재 여부가 d.c.e.‑complete이며, ‘two‑way’ 오일러 경로는 Π₀¹‑complete이다. 두 끝을 가진 경우에는 복잡도가 Δ₀² 수준의 모든 m‑degree에 대응한다. 이러한 결과는 기존 연구에서 보였던 D₀³‑complete(계산 가능 그래프)와 대비되어, 끝의 수가 복잡도 상승의 주요 원인임을 명확히 한다.

마지막으로, 그래프 자체를 입력으로 하는 ‘통합 분리 문제’를 정의하고, Sep(G)와 Sepmax(G) 사이의 관계를 정량화한다. Sepmax(G)는 Sep(G)와 Ends(G) 정보를 결합한 것과 등가임을 보이며, 이를 통해 끝의 수를 계산하는 문제와 분리 문제 사이의 상호 전환 가능성을 제시한다. 전체적으로 논문은 무한 그래프 이론과 computability theory를 교차시켜, 끝의 개수가 알고리즘적 복잡도에 미치는 영향을 체계적으로 분석한다.