VC 차원 제한 하이퍼그래프의 최소 횡단선 효율적 열거

초록

본 논문은 VC‑차원이 일정 상수 k보다 작은 하이퍼그래프 H에 대해, H의 모든 최소 횡단선(최소 히팅셋)을 증분 다항시간으로 열거할 수 있음을 보인다. 이를 통해 한쪽 입력이 VC‑차원 제한을 만족하면 전이중(Trans‑Hyp) 문제를 다항시간에 해결할 수 있다. 또한 일반 하이퍼그래프에서는 준다항시간, k‑컨포멀 하이퍼그래프에서는 다항시간 알고리즘을 제시한다.

상세 분석

논문은 먼저 하이퍼그래프 H와 그 최소 횡단선 집합 Tr(H) 사이의 이중성 관계를 이용한다. H가 스페너(Sperner) 형태라 가정하면, Tr(H) 역시 스페너이며 Tr(Tr(H))=H가 성립한다. 핵심 아이디어는 “k‑trace” 개념이다. V(H)의 크기 k 부분집합 S에 대해, 어떤 정점 집합 E가 S와 교차하는 형태 T=E∩S를 기록하면 (T,S)라는 k‑trace가 된다. VC‑차원이 k보다 작으면, 모든 k‑subset에 대해 적어도 하나의 트레이스가 누락된다(즉, 어떤 (T,S)는 H에 의해 실현되지 않는다). 이 성질을 이용해 두 가지 탐색을 수행한다. 첫 번째 루프는 H가 실현하지 못하는 k‑trace를 모두 열거하고, 각 트레이스가 Tr(G)의 최소 횡단선에 의해 실현되는지를 검사한다. 여기서 G⊆Tr(H)라는 전제하에, “T가 G의 어떤 부분 하이퍼그래프에서 최소 횡단선의 부분집합인지”를 판별하는 문제로 환원한다. 기존 연구