테스트 커버 문제의 경계 크기 제한 하 파라미터화 연구

초록

본 논문은 각 테스트(하이퍼에지)의 크기가 상수 r (≥2) 로 제한된 경우, 테스트 커버 문제의 두 가지 아래‑밑 파라미터화(크기 n‑k 와 m‑k) 가 FPT이며 다항식 커널을 가짐을 보인다. 또한 최소 커버 크기에 대한 새로운 하한 ⌈2(n‑1)/(r+1)⌉ 을 제시하고, 이 하한 위에서의 파라미터화는 para‑NP‑complete임을 증명한다.

상세 분석

논문은 먼저 일반적인 테스트 커버 문제(Test Cover)가 하이퍼그래프 H=(V, E) 에서 모든 정점 쌍을 정확히 하나의 에지로 구분할 수 있는 최소 에지 집합을 찾는 NP‑완전 문제임을 상기한다. 기존 연구에서는 파라미터 k (예: 커버 크기 k 또는 n‑k, m‑k) 에 대해 대부분 W