[論文レビュー] Fixed-Parameter Algorithms for Fair Hitting Set Problems

Tanmay Inamdar, Lawqueen Kanesh+3 more|arXiv (Cornell University)|Jan 1, 2023

Game Theory and Voting Systems被引用数 2

ひとこと要約

この論文は、事前に定義された要因グループとの有界な交差を介して公平性制約を強制する、Hitting Setのパrameterized一般化であるFair Hitting Setを導入し、その性質を研究する。集合族Fが互いに素で、Bに属する集合がサイズ2であるという制限付き条件下でも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の tractability の境界を特定し、それが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を形式化する。
• k-Multicolored Independent Setからのパラメータを保全する帰着を用い、Fが互いに素でBが任意の交差を持つ場合にW[1]-困難性を証明する。
• パス上のExact Rainbow Matchingからの帰着を構築し、Fの集合が互いに素で、かつ各要素がBの集合に高々2つまでしか含まれない制約下でのNP困難性を証明する。
• Bの集合がサイズ2、インシデントグラフがパスである、および要素頻度が有界であるといった構造的制約を活用し、最小限の困難なインスタンスを特定する。
• マトロイドの代表集合やFOモデルチェックの高度な道具を用い、カーネル化および tractability を分析する。
• 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時間で解けるか、それとも本質的な非 tractability の障壁があるか？
• RQ4 Fair Hitting Setは、Sparse Hitting Set や Conflict-Free d-Hitting Set といった既存の公平性認識問題とどのように関係し、一般化されるか？
• RQ5 Exponential Time Hypothesis (ETH) の下で、Fair Hitting Setの実行時間の最もタイトな下界は何か？

主な発見

• Fの集合が互いに素で、各要素がBの集合に高々2つまでしか含まれず、Bのすべての集合がサイズ2であるという条件下でも、Fair Hitting SetはNP困難である。
• 同じ制限付き条件下（Fが互いに素で、Bの集合がサイズ2）でも、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の集合が使用されている。
• 構築されたインスタンスのインシデントグラフGU,BはK2,2を含まず、2-退化であることが示され、疎で構造的なグラフであっても tractability が得られないことが示される。
• Fair Hitting Setは、Sparse Hitting SetおよびConflict-Free d-Hitting Setの両方を一般化し、ハッティング集合問題における公平性制約を統一的な枠組みで統合する。