An Integer Programming Formulation for the Maximum k-Subset Intersection Problem

In this paper, we study the maximum \(k\)-subset intersection (M\(k\)SI) problem. Given an integer \(k\), a ground set \(U\) and a collection \(\mathcal {S}\) of subsets of \(U\), the M\(k\)SI problem is to select \(k\) subsets \(S_1, S_2, \ldots , S_k\) in \(\mathcal {S}\) whose intersection size \(|S_1 \cap S_2 \cap \dots \cap S_k|\) is maximum. The M\(k\)SI problem is NP-hard and hard to approximate. Some applications of the M\(k\)SI problem can be found in the literature and, to the best of our knowledge, no exact method was proposed to solve this problem. In this work, we introduce a very effective preprocessing procedure to reduce the size of the input, introduce a GRASP heuristic which was able to find solutions very close to be optimal ones, propose an integer programming formulation for the problem and present computational experiments made with instances that come from an application.

[1]  F. Glover,et al.  Handbook of Metaheuristics , 2019, International Series in Operations Research & Management Science.

[2]  Gerhard Reinelt,et al.  A tutorial on branch and cut algorithms for the maximum stable set problem , 2012, Int. Trans. Oper. Res..

[3]  Valentine Kabanets,et al.  Correlation Bounds and #SAT Algorithms for Small Linear-Size Circuits , 2015, COCOON.

[4]  Òscar Celma,et al.  Music Recommendation and Discovery - The Long Tail, Long Fail, and Long Play in the Digital Music Space , 2010 .

[5]  G. Nemhauser,et al.  A Strong Cutting Plane/Branch-and-Bound Algorithm for Node Packing , 1992 .

[6]  Carlos Eduardo Ferreira,et al.  Solving the maximum edge biclique packing problem on unbalanced bipartite graphs , 2014, Discret. Appl. Math..

[7]  Fred Glover,et al.  Tabu Search and Adaptive Memory Programming — Advances, Applications and Challenges , 1997 .

[8]  Mauricio G. C. Resende,et al.  Greedy Randomized Adaptive Search Procedures , 1995, J. Glob. Optim..

[9]  Celso C. Ribeiro,et al.  Greedy Randomized Adaptive Search Procedures , 2003, Handbook of Metaheuristics.

[10]  Jeffery L. Kennington,et al.  Interfaces in Computer Science and Operations Research , 1997 .

[11]  Eduardo C. Xavier,et al.  A note on a Maximum k-Subset Intersection problem , 2012, Inf. Process. Lett..

[12]  B. Ganter,et al.  Finding all closed sets: A general approach , 1991 .

[13]  Òscar Celma,et al.  Music recommendation and discovery in the long tail , 2008 .

[14]  Takeaki Uno,et al.  Finding Maximum Edge Bicliques in Convex Bipartite Graphs , 2010, Algorithmica.