한정된 차수의 이중 그래프에서 완전 매칭의 공간 복잡도

초록

**
본 논문은 상수 차수(orientable 혹은 non‑orientable) 표면에 임베딩된 이분 그래프에 대해 완전 매칭 존재 여부와 유일성 판단 문제를 SPL에 포함시킨다. 또한, 이러한 그래프에서 최소 가중치 완전 매칭을 결정적으로 격리시키는 로그스페이스 가중치 함수를 설계하고, 검색 문제를 FL^SPL로 해결한다.

**

상세 분석

**
논문은 크게 두 가지 기술적 축을 갖는다. 첫 번째는 “결정적 격리(isolation)” 기법을 상수 차수 표면에 일반화한 것으로, 기존 planar 그래프에 대한 DKR08의 방법을 확장한다. 저자들은 임베딩된 그래프 G를 로그스페이스 내에서 매칭 보존, 이분성 보존, 그리고 다항 시간/공간 내에서 “genus‑g 그리드 그래프” 형태로 변환한다. 변환 과정은 두 단계의 매칭 보존 감소와 하나의 비오리엔터블 → 오리엔터블 변환을 포함한다. 변환 후 얻어진 그리드 그래프 G′′에 대해 4g+1개의 다항적으로 제한된 가중치 함수 집합 W={w_i}를 정의한다. 각 w_i는 특정 종류의 사이클(표면 비분리, 표면 분리(내부), 표면 분리(경계 교차))에 대해 순환값(circulation)이 0이 되지 않도록 설계된다. 여기서 순환값은 사이클의 간선 가중치를 교대로 더하고 빼는 연산으로 정의되며, 알제브라적 위상수학(특히 Z₂‑동형론)에서 “비분리 사이클은 기본 다각형의 측면을 홀수 번 교차한다”는 정리를 이용해 보증한다. g가 상수이므로 W의 선형 결합을 통해 단일 가중치 함수 w를 만들 수 있고, 이 w에 대해 모든 사이클의 순환값이 0이 아니므로 최소 가중치 완전 매칭이 유일하게 격리된다. 이 결과는 Lemma 1(