[論文レビュー] Multidimensional Binary Vector Assignment problem: standard, structural and above guarantee parameterizations

Marin Bougeret, Guillerme Duvillié+2 more|arXiv (Cornell University)|Jun 10, 2015

Advanced Graph Theory Research参考文献 15被引用数 1

ひとこと要約

この論文は、m個の長さpのバイナリーベクトルからなるm個の互いに素な集合から形成されるm-タプルのビットごとの論理積におけるゼロの合計数を最小化する問題である、多次元バイナリーベクトル割り当て（BMVA）問題のパラメータ化された複雑さを調査している。著者らは、k（ゼロの合計数）、ζp（保証下限を超えたパラメータ化）、ζm（別の保証下限を超えたパラメータ化）のパラメータに対してFPTアルゴリズムを提示している一方で、nが大きい場合のW[2]-hardnessとETHに基づく下界を証明し、半導体製造に関連するNP困難な最適化問題における主要なパラメータ化のタイトな複雑さ境界を確立している。

ABSTRACT

In this article we focus on the parameterized complexity of the Multidimensional Binary Vector Assignment problem (called \BVA). An input of this problem is defined by $m$ disjoint sets $V^1, V^2, \dots, V^m$, each composed of $n$ binary vectors of size $p$. An output is a set of $n$ disjoint $m$-tuples of vectors, where each $m$-tuple is obtained by picking one vector from each set $V^i$. To each $m$-tuple we associate a $p$ dimensional vector by applying the bit-wise AND operation on the $m$ vectors of the tuple. The objective is to minimize the total number of zeros in these $n$ vectors. mBVA can be seen as a variant of multidimensional matching where hyperedges are implicitly locally encoded via labels attached to vertices, but was originally introduced in the context of integrated circuit manufacturing. We provide for this problem FPT algorithms and negative results ($ETH$-based results, $W$[2]-hardness and a kernel lower bound) according to several parameters: the standard parameter $k$ i.e. the total number of zeros), as well as two parameters above some guaranteed values.

研究の動機と目的

• 統合回路製造における重要な最適化問題である多次元バイナリーベクトル割り当て（BMVA）問題のパラメータ化された複雑さを分析すること。
• 標準パラメータk（ゼロの合計数）および2つの保証下限を超えたパラメータζpとζmを含む、さまざまなパラメータ化におけるBMVAの tractability を評価すること。
• kおよびζpによるFPTアルゴリズムの確立、およびn ≥ 3の場合の非 tractability 結果（W[2]-hardness、ETHに基づく下界）の証明。
• kのみによる多項式カーネルの存在を探索し、BMVAの複雑さの地図におけるギャップを埋めること。

提案手法

• 著者らは、k（ゼロの合計数）という標準パラメータに対して、カーネル化アプローチを用いてFPTアルゴリズムを設計し、ODD CYCLE TRANSVERSALへの還元を実施した。
• 保証下限を超えたパラメータ化ζpを導入し、これはコストから下限を引いたものとして定義される。BMVAがζpでパラメータ化された場合、ODD CYCLE TRANSVERSALへの還元によりFPTであることを示した。
• n ≥ 3の場合、n-BMVAがW[2]-hardであることを証明し、Exponential Time Hypothesis（ETH）のもとでは2^o(k)時間で解けないことを、χ-COLORINGへの還元を用いて示した。
• kをパラメータとしたカーネル下界を確立し、BMVAがNP ⊆ coNP/polyでない限り多項式カーネルをもたないことを示した。
• 既知の問題（CLIQUERやχ-COLORINGなど）からのハードネスを転送するために、ANDクロスコンpositionsおよびパラメータを保つ還元を用いた。
• 構造的パラメータを分析し、最初の下限Bが小さい場合でも問題が非 tractable であることを証明し、P = NPでない限りXPに属さないことを排除した。

実験結果

リサーチクエスチョン

• RQ1 BMVAは、ゼロの合計数kでパラメータ化した場合、固定パラメータ tractable か？
• RQ2 コストが保証下限を超えた値ζpでパラメータ化した場合、問題はFPT時間で解けるか？
• RQ3 n ≥ 3の場合のBMVAのパラメータ化された複雑さは？特に、サブ指数時間アルゴリズムの存在について。
• RQ4 kのみでパラメータ化した場合、BMVAは多項式カーネルをもつか、それともこのようなカーネルに対する強い下界があるか？
• RQ5 ζmや最初の下限Bといった構造的パラメータは、BMVAの tractability にどのように影響するか？

主な発見

• BMVAは、ゼロの合計数kでパラメータ化した場合、カーネル化とODD CYCLE TRANSVERSALへの還元によりFPTである。
• 問題は、ζp（保証下限を超えたコスト）でパラメータ化した場合もFPTであり、d ≤ 2.3146の下でO*(d^ζp)の実行時間を持つ。
• 任意の固定されたn ≥ 3に対して、n-BMVAはW[2]-hardであり、Exponential Time Hypothesisが成立する限り2^o(k)時間で解けない。
• n ≥ 3の場合、ζpでパラメータ化したBMVAはXPに属さず、カーネル下界を持つため、強い非 tractability が示された。
• BMVAのパラメータ化された複雑さはタイトに境界づけられている：O*(2^k)のアルゴリズムが除外されないまま残っており、これは未解決の課題のままである。
• BMVAは、kのみでパラメータ化した場合、NP ⊆ coNP/polyでない限り多項式カーネルをもたない。これは、カーネル化における本質的な複雑さを示している。