하이퍼그래프의 베르제‑k‑팩터 존재를 위한 충분조건과 인시던스 이분그래프의 강인성

초록

본 논문은 하이퍼그래프의 인시던스 이분그래프를 이용해 그래프·하이퍼그래프의 강인성(toughness)과 ( {0,2}, k )‑팩터(=베르제‑k‑팩터) 사이의 충분조건을 제시한다. 주요 결과는 Y‑측 정점 집합의 강인성이 k 이상이고, |Y|가 k와 짝수이며 |Y|≥k+1이면 해당 이분그래프는 ( {0,2}, k )‑팩터를 갖는다는 정리이며, 이를 통해 모든 k‑강인 하이퍼그래프가 베르제‑k‑팩터를 갖는다는 코릴라를 얻는다. 이는 기존의 Enomoto‑Jackson‑Katerinis‑Saito 정리를 하이퍼그래프로 일반화한 것이다.

상세 분석

논문은 먼저 임의의 그래프·하이퍼그래프 G에 대해 인시던스 이분그래프 𝕀(G)를 정의한다. 𝕀(G)의 한 쪽 파트는 하이퍼그래프의 변(에지) 집합 E, 다른 쪽은 정점 집합 V이며, 변‑정점 간 인접은 원래 하이퍼그래프에서의 포함 관계와 일치한다. 이 구조를 이용해 하이퍼그래프의 연결성, 강인성, 팩터 존재 문제를 전부 𝕀(G) 위의 이분그래프 문제로 전환한다.

핵심 정의는 Y‑강인성 τ_Y(G)이다. Y‑강인성은 Y‑측 정점 집합을 기준으로 한 “강제 절단”(strong‑deletion) 연산 G⊖S를 통해 정의되며, 이는 원래 하이퍼그래프에서 S를 삭제하고 그에 인접한 모든 변을 동시에 제거하는 것과 동치이다. τ_Y(G)≥k이면 모든 Y‑절단 S에 대해 |S|≥k·c(G⊖S) (c는 컴포넌트 수) 가 성립한다.

주된 정리(Theorem 1.1)는 다음과 같다. 이분그래프 G