그래프 독립집합·매칭 클러터의 난이도 연구

초록

**
본 논문은 그래프에서 정의되는 두 종류의 클러터(독립집합 클러터와 매칭 클러터)의 ‘난이도’를 정량화하고, 그래프 구조에 따라 그 상한·하한을 정확히 규명한다. 주요 결과는 트리·이분 그래프·정규 그래프에 대한 난이도 상한을 제시하고, 난이도가 1/2에 도달하는 그래프의 구조적 특징을 완전히 기술한다는 점이다.

**

상세 분석

**
클러터 (L=(V,E)) 에서 각 (e\in E) 의 ‘인식 부분집합’ (s_e) 은 (s_e\subseteq e) 이면서 (s_e) 가 다른 어떤 (e’\neq e) 의 부분집합이 되지 않는 최소 크기의 집합이다. 논문은 (\operatorname{hard}(e)=|s_e|/|e|) 으로 정의하고, 클러터 전체의 난이도 (\operatorname{hard}(L)=\max_{e\in E}\operatorname{hard}(e)) 을 연구한다.

먼저 독립집합 클러터 (\mathcal I(G)) 를 고려한다. 여기서 (E) 는 그래프 (G) 의 모든 극대 독립집합이며, 각 (e) 의 크기는 (\alpha(G)) (최대 독립집합 크기)와 같지 않을 수 있다. 저자들은 (\operatorname{hard}(\mathcal I(G))) 에 대한 일반적인 하한을
\