[논문 리뷰] Fixed-Parameter Algorithms for Fair Hitting Set Problems

Tanmay Inamdar, Lawqueen Kanesh외 3명|arXiv (Cornell University)|2023. 01. 01.

Game Theory and Voting Systems인용 수 2

한 줄 요약

이 논문은 원소 집단에 대한 공정성 제약 조건을 통해 경계된 교차를 포함하는 Hitting Set의 매개변수화된 일반화인 Fair Hitting Set 문제를 도입하고 연구한다. 서로소 집합으로 이루어진 F에서의 경우와 크기가 2인 B의 집합에서의 경우와 같은 엄격한 조건 하에서도 NP-난이도와 W[1]-난이도를 증명하며, Rainbow Matching과 Multicolored Independent Set로부터의 환원을 통해 엄밀한 복잡도 경계를 확립하고, 구조적 제약 조건이 존재하더라도 매개변수화된 비결정성의 경계를 밝힌다.

ABSTRACT

Selection of a group of representatives satisfying certain fairness constraints, is a commonly occurring scenario. Motivated by this, we initiate a systematic algorithmic study of a \emph{fair} version of extsc{Hitting Set}. In the classical extsc{Hitting Set} problem, the input is a universe $\mathcal{U}$, a family $\mathcal{F}$ of subsets of $\mathcal{U}$, and a non-negative integer $k$. The goal is to determine whether there exists a subset $S \subseteq \mathcal{U}$ of size $k$ that \emph{hits} (i.e., intersects) every set in $\mathcal{F}$. Inspired by several recent works, we formulate a fair version of this problem, as follows. The input additionally contains a family $\mathcal{B}$ of subsets of $\mathcal{U}$, where each subset in $\mathcal{B}$ can be thought of as the group of elements of the same \emph{type}. We want to find a set $S \subseteq \mathcal{U}$ of size $k$ that (i) hits all sets of $\mathcal{F}$, and (ii) does not contain \emph{too many} elements of each type. We call this problem extsc{Fair Hitting Set}, and chart out its tractability boundary from both classical as well as multivariate perspective. Our results use a multitude of techniques from parameterized complexity including classical to advanced tools, such as, methods of representative sets for matroids, FO model checking, and a generalization of best known kernels for extsc{Hitting Set}.

연구 동기 및 목표

• 기본적인 Hitting Set 문제의 공정한 변종을 체계적으로 정의하고 연구하여, 원소 유형에 대한 공정성 제약 조건을 준수하는 해를 구하는 것.
• 입력 가족 F와 B에 대한 다양한 구조적 제약 조건 하에서 Fair Hitting Set의 매개변수화된 복잡도를 분석하는 것.
• Fair Hitting Set의 가용성 경계를 특정 조건 하에서 여전히 NP-난이도 또는 W[1]-난이도임을 규명하는 것.
• Sparse Hitting Set와 Conflict-Free Hitting Set와 같은 기존 문제들을 통합된 프레임워크 내에서 일반화하는 것.
• Exponential Time Hypothesis(ETH) 하에서 Fair Hitting Set의 시간 복잡도에 대한 엄밀한 하한을 설정하는 것.

제안 방법

• 우주 U, 히팅 가족 F, 공정성 가족 B, 공정성 함수 f, 해 크기 k를 포함하는 결정 문제로서 Fair Hitting Set를 정의하는 것.
• F가 서로소일 때와 B가 임의의 교차를 가질 수 있을 때, k-Multicolored Independent Set로부터 매개변수 유지 환원을 사용하여 W[1]-난이도를 증명하는 것.
• 경로 상의 정확한 레인보우 매칭에서의 환원을 통해, F의 집합들이 상호 배타적이고 각 원소가 B의 집합에 최대 두 개 이하로 포함될 조건 하에서 NP-난이도를 증명하는 것.
• B-집합의 크기가 정확히 2, 인cidenece 그래프가 경로이자 원소 빈도가 유한한 등의 구조적 제약 조건을 활용하여 최소한의 난이도를 가진 인스턴스를 식별하는 것.
• 매트로이드의 대표 집합 및 FO 모델 체킹과 같은 고급 도구를 활용하여 커널화 및 가용성 분석을 수행하는 것.
• ETH 기반 하한을 적용하여 Fair Hitting Set가 t = max{|U|, |F|, |B|}에 대해 2^o(t) 시간 내에 해결될 수 없음을 보여주는 것.

실험 결과

연구 질문

• RQ1 F의 집합들이 상호 배타적일 때 어떤 구조적 제약 조건 하에서 Fair Hitting Set는 여전히 NP-난이도를 유지하는가?
• RQ2 F가 서로소이고 B에 크기가 2인 집합들이 있을 때, Fair Hitting Set는 k로 매개변수화되었을 때 여전히 W[1]-난이도인가?
• RQ3 어떤 자연스러운 매개변수화 하에서도 Fair Hitting Set는 FPT 시간 내에 해결될 수 있는가, 아니면 내재된 비가용성 장벽이 존재하는가?
• RQ4 Fair Hitting Set는 Sparse Hitting Set와 Conflict-Free Hitting Set와 같은 기존의 공정성 인식 문제들과 어떻게 관련되어 있으며, 어떻게 일반화하는가?
• RQ5 Exponential Time Hypothesis(ETH) 하에서 Fair Hitting Set의 실행 시간에 대한 가장 날카로운 하한은 무엇인가?

주요 결과

• F의 집합들이 상호 배타적일 때, 각 원소가 B의 집합에 최대 두 개 이하로 포함되고 B의 모든 집합의 크기가 정확히 2일 때조차 Fair Hitting Set는 NP-난이도를 갖는다.
• 동일한 제약 조건 하에서, 즉 F가 서로소이고 B의 집합들이 크기가 2일 때조차 Fair Hitting Set는 k로 매개변수화되었을 때 W[1]-난이도를 유지한다.
• ETH를 가정할 경우, Fair Hitting Set는 t = max{|U|, |F|, |B|}에 대해 2^o(t) 시간 내에 해결될 수 없으며, 이는 엄밀한 지수적 하한을 설정한다.
• k-Multicolored Independent Set로부터의 환원은 F의 집합들이 서로소이고 B가 임의의 크기의 집합을 포함할 수 있을 때조차 Fair Hitting Set가 W[1]-난이도임을 증명하지만, 이 구성에서는 크기가 2인 집합을 사용한다.
• 구축된 인스턴스의 인cidenece 그래프 GU,B는 K2,2-free이며 2-가역적임을 보여주며, 이는 조밀하고 구조화된 그래프조차도 가용성의 향상을 가져오지 못함을 시사한다.
• Fair Hitting Set는 Sparse Hitting Set와 Conflict-Free d-Hitting Set를 모두 일반화하며, 단일 프레임워크 내에서 히팅 세트 문제에 대한 공정성 제약 조건을 통합한다.