아시클릭 짝수 차수 방향 문제를 위한 다항식 그래프 클래스

초록

본 논문은 정점 집합 T 에 대한 입·출 차수의 짝·홀 패리티를 지정하는 T‑odd 방향을 찾으면서 동시에 사이클이 없도록 하는 문제를 다룬다. 전역 패리티 조건 P 와 잠재적 시작점·종점 조건 S, S 세 가지 필요조건을 정의하고, 이들 조건이 충분한 그래프 클래스 C_P, C_S, C_S, C_PS, C_PS, C_SS, C_PSS 를 체계적으로 분석한다. 주요 결과는 (1) 각 클래스 간 포함 관계와 정확한 특성화, (2) 경로·사이클의 카르테시안 곱(그리드, 원통, 토러스)에서 T‑odd 아시클릭 방향 존재 여부를 완전하게 규정한 정리, (3) 클리크와 같은 특수 그래프를 이용해 클래스 포함이 엄격함을 보인 것이다. 모든 구성은 다항시간 알고리즘으로 구현 가능하며, 문제의 복잡도는 아직 미해결 상태이다.

상세 분석

논문은 먼저 기존 연구에서 알려진 “짝수 차수 방향” 문제(모든 정점의 입·출 차수 합이 짝수인 방향 찾기)가 다항시간에 해결 가능함을 상기한다(Chevalier et al., 1983). 여기서 추가된 제약은 “아시클릭”이라는 전역 연결성 조건이다. 이를 위해 저자들은 세 가지 필요조건을 도입한다. 첫 번째는 전역 패리티 조건 P: |E| − |T|가 짝수여야 함을 의미한다. 두 번째와 세 번째는 각각 잠재적 시작점 S와 잠재적 종점 S 조건으로, 아시클릭 방향이 존재하려면 T‑odd 방향에서 최소 하나의 소스와 최소 하나의 싱크가 필요하므로, T가 Source(T)와 Sink(T) 집합에 적절히 포함되어야 한다는 논리를 전개한다. 특히 Source(T) = {v ∈ V\T | deg(v) ≡ 1 (mod 2)} 와 Sink(T) = {v ∈ T | deg(v) ≡ 1 (mod 2)} 를 정의하고, 이들 집합이 비어 있지 않으며 서로 겹치지 않아야 함을 보인다.

필요조건을 조합한 7개의 그래프 클래스 C_N (N ⊆ {P,S,S})를 정의하고, 각 클래스가 어떤 그래프에서 충분조건이 되는지를 조사한다. 핵심 정리 1.1은 다음과 같이 요약된다. (a) C_S = C_S, (b) C_SS = C_SS, (c) C_P 은 연결되고 비오일러 그래프이며 |V| − |E| ≡ 1 (mod 2)인 경우와 동치, (d) C_PS = C_P ∪ C_PS, (e) C_PSS 은 연결된 비오일러 그래프이면서 |V| − |E| ≡ 0 (mod 2)인 경우와 동치이다. 여기서 “오일러 그래프”는 모든 정점의 차수가 짝수인 그래프를 의미한다. 이러한 특성화는 기존의 Frank‑Király(2002) 결과를 확장한 것으로, 전역 연결성(acyclicity)을 새로운 제약으로 추가했음에도 불구하고 다항시간에 검증 가능한 구조적 조건을 도출했다는 점이 의의이다.

다음으로 저자들은 카르테시안 곱 그래프, 즉 P_p × P_q (그리드), C_p × P_q (원통), C_p × C_q (토러스)에서 T‑odd 아시클릭 방향 존재 여부를 완전하게 규정한다. 정리 1.3은 p ≥ 4 또는 q ≥ 4인 경우, 혹은 하나가 경로이면 언제든지 방향을 구성할 수 있음을 보인다. 정리 1.4는 두 경로의 곱 P_p × P_q 에 대해, 특정 패턴(짝수·홀수 인덱스의 교차)만이 T 집합을 제한할 때 아시클릭 T‑odd 방향이 불가능함을 정확히 기술한다. 이 결과는 “잠재적 소스·싱크” 조건이 카르테시안 곱 구조에서 어떻게 전파되는지를 보여주며, 특히 격자와 원통에서는 대부분의 T 조합이 허용되는 반면, 토러스에서는 보다 엄격한 제약이 필요함을 밝혀낸다.

마지막으로, 클리크 K_n 을 이용해 클래스 포함 관계가 엄격함을 증명한다. 예를 들어, K_{4k+2} 는 C_P 에 속하지만 C_PS 에는 속하지 않으며, K_{2k+1} × P_q 은 C_PS 에 속하지만 C_PSS 에는 속하지 않는다. 이러한 예시는 각 클래스가 서로 독립적인 성질을 갖는다는 것을 시각적으로 확인시켜준다.

전체 논문은 모든 정리와 명제에 대해 구성적 증명을 제공한다. 즉, 조건을 만족하는 T 에 대해 실제로 아시클릭 T‑odd 방향을 다항시간 알고리즘으로 생성할 수 있음을 보인다. 이는 이론적 복잡도 분석을 넘어 실용적인 구현 가능성을 확보한 점에서 의미가 크다. 현재 문제의 결정 복잡도는 미해결이며, Szegedy & Szegedy(2006)의 무작위 다항시간 알고리즘이 존재하지만 co‑NP에 속하는지는 알려지지 않았다. 또한 부분적으로 방향이 지정된 그래프에서는 NP‑complete임이 최근(2025) 증명되었다.