[论文解读] 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

一句话总结

本文研究了多维二值向量分配（BMVA）问题的参数化复杂性，该问题涉及最小化从 m 个不相交的 n 个长度为 p 的二值向量集中形成的 m 元组的按位与运算结果中的总零数。作者为参数 k（总零数）、ζp（高于保证值的参数化）和 ζm（另一种高于保证值的参数化）提出了 FPT 算法，同时对更大的 n 值证明了 W[2]-难性和基于 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）问题的参数化复杂性，该问题是集成电路制造中的关键优化问题。
• 评估在各种参数化下 BMVA 的可解性，包括标准参数 k（总零数）以及两个高于保证值的参数 ζp 和 ζm。
• 为 k 和 ζp 建立 FPT 算法，并对更大的 n 值证明不可解性结果（W[2]-难性、基于 ETH 的下界）。
• 探索当仅以 k 为参数时，BMVA 是否存在多项式核，并填补 BMVA 复杂性图谱中的空白。

提出的方法

• 作者通过核化方法和约化到 ODD CYCLE TRANSVERSAL，设计了针对标准参数 k（总零数）的 FPT 算法。
• 他们引入了一种高于保证值的参数化 ζp，定义为代价减去一个下界，并通过约化到 ODD CYCLE TRANSVERSAL，证明当以 ζp 为参数时，BMVA 是 FPT 的。
• 对于 n ≥ 3，他们证明 n-BMVA 是 W[2]-难的，且在指数时间假设（ETH）下无法在 2^o(k) 时间内求解，该结果通过从 χ-COLORING 的约化获得。
• 他们建立了关于参数 k 的核下界，表明除非 NP ⊆ coNP/poly，否则 BMVA 不会存在多项式核。
• 该论文使用 AND-交叉组合和保持参数的约化，将已知问题（如 CLIQUE 和 χ-COLORING）的难解性转移至本问题。
• 他们分析了结构参数，并证明即使第一个下界 B 很小，问题依然不可解，从而排除了除非 P = NP，否则问题属于 XP 的可能性。

实验结果

研究问题

• RQ1 当以总零数 k 为参数时，BMVA 是否是固定参数可追踪的？
• RQ2 当以 ζp（高于保证下界代价）为参数时，该问题是否可在 FPT 时间内求解？
• RQ3 对于 n ≥ 3，BMVA 的参数化复杂性如何，特别是是否存在亚指数时间算法？
• RQ4 当仅以 k 为参数时，BMVA 是否存在多项式核，或者是否存在针对此类核的强下界？
• RQ5 结构参数如 ζm 和第一个下界 B 如何影响 BMVA 的可解性？

主要发现

• 当以总零数 k 为参数时，BMVA 是 FPT 的，通过核化和约化到 ODD CYCLE TRANSVERSAL 实现。
• 当以 ζp（高于保证下界代价）为参数时，问题为 FPT，时间复杂度为 O*(d^ζp)，其中 d ≤ 2.3146。
• 对于任意固定的 n ≥ 3，n-BMVA 是 W[2]-难的，且除非指数时间假设（ETH）不成立，否则无法在 2^o(k) 时间内求解。
• 当 n ≥ 3 时，BMVA 不属于 XP，即使以 ζp 为参数，且存在核下界，表明其具有强不可解性。
• BMVA 的参数化复杂性被紧密界定：尚未排除存在 O*(2^k) 算法的可能性，这仍是一个开放挑战。
• 当仅以 k 为参数时，BMVA 不会存在多项式核，除非 NP ⊆ coNP/poly，表明其在核化方面具有固有的复杂性。