1. Approximability and Exact Resolution of the Multidimensional Binary Vector Assignment Problem
- Author
-
Rodolphe Giroudeau, Marin Bougeret, Guillerme Duvillié, Algorithmes, Graphes et Combinatoire (ALGCO), Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM), Méthodes Algorithmes pour l'Ordonnancement et les Réseaux (MAORE), Lirmm, and Montpellier II
- Subjects
[INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC] ,Control and Optimization ,Binary number ,0102 computer and information sciences ,02 engineering and technology ,Disjoint sets ,01 natural sciences ,Set (abstract data type) ,Combinatorics ,03 medical and health sciences ,0302 clinical medicine ,Informatique mathématique ,0202 electrical engineering, electronic engineering, information engineering ,Discrete Mathematics and Combinatorics ,ComputingMilieux_MISCELLANEOUS ,Mathematics ,Discrete mathematics ,Multiset ,Unique games conjecture ,Informatique générale ,Applied Mathematics ,[INFO.INFO-RO]Computer Science [cs]/Operations Research [cs.RO] ,Computer Science Applications ,020202 computer hardware & architecture ,Computational Theory and Mathematics ,010201 computation theory & mathematics ,030220 oncology & carcinogenesis ,Theory of computation ,Tuple ,Assignment problem ,Resolution (algebra) - Abstract
In this paper we consider the multidimensional binary vector assignment problem. An input of this problem is defined by m disjoint multisets $$V^1, V^2, \ldots , 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 multiset $$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. We denote this problem by , and the restriction of this problem where every vector has at most c zeros by . was only known to be -hard, even for . We show that, assuming the unique games conjecture, it is -hard to -approximate for any fixed and . This result is tight as any solution is a -approximation. We also prove without assuming UGC that is -hard even for . Finally, we show that is polynomial-time solvable for fixed (which cannot be extended to ).
- Published
- 2016