아래 상한 파라미터화 히팅셋과 방향 지배집합의 커널링 혁신

초록

본 논문은 히팅셋 문제를 두 가지 아래‑상한 파라미터화(p = m − k, p = n − k)로 분석하고, 첫 번째는 FPT임을 보이며 다항식 커널이 존재하지 않음을 증명한다. 두 번째는 W

상세 분석

히팅셋 문제는 집합계 ℱ와 정수 p가 주어졌을 때, ℱ의 모든 원소와 교차하는 크기 p의 부분집합 X⊆V의 존재 여부를 묻는다. 전통적인 파라미터 p에 대한 연구와 달리, 저자들은 “아래‑상한” 파라미터화, 즉 p를 전체 원소 수 m 또는 n에 대한 차이 k로 표현한다. 첫 번째 파라미터화 p = m − k에서는 k를 파라미터로 잡고, 문제를 “m‑k개의 원소만 남겨도 모든 집합을 커버할 수 있는가?”로 바꾼다. 저자는 이 변형이 고정‑파라미터 트랙터블(FPT)임을 보여주기 위해, 핵심 아이디어로 “큰 집합을 제외하고 남은 작은 부분을 완전 탐색”하는 기법을 사용한다. 그러나 커널화 관점에서, 이 파라미터화는 다항식 커널을 가질 수 없음을, coNP⊈NP/poly 가정 하에 증명한다. 이는 기존의 “위‑상한” 파라미터화와는 대조적인 결과이며, 파라미터 선택이 커널 존재성에 미치는 영향을 명확히 드러낸다.

두 번째 파라미터화 p = n − k는 n‑k개의 원소만 남겨도 모든 집합을 커버할 수 있는지를 묻는다. 여기서는 문제의 복잡도가 급격히 상승하여 W