Binary Matrix Factorisation via Column Generation

Authors

  • Reka A. Kovacs University of Oxford, The Alan Turing Institute
  • Oktay Gunluk Cornell University
  • Raphael A. Hauser University of Oxford, The Alan Turing Institute

DOI:

https://doi.org/10.1609/aaai.v35i5.16500

Keywords:

Mixed Discrete/Continuous Optimization

Abstract

Identifying discrete patterns in binary data is an important dimensionality reduction tool in machine learning and data mining. In this paper, we consider the problem of low-rank binary matrix factorisation (BMF) under Boolean arithmetic. Due to the hardness of this problem, most previous attempts rely on heuristic techniques. We formulate the problem as a mixed integer linear program and use a large scale optimisation technique of column generation to solve it without the need of heuristic pattern mining. Our approach focuses on accuracy and on the provision of optimality guarantees. Experimental results on real world datasets demonstrate that our proposed method is effective at producing highly accurate factorisations and improves on the previously available best known results for 15 out of 24 problem instances.

Downloads

Published

2021-05-18

How to Cite

Kovacs, R. A., Gunluk, O., & Hauser, R. A. (2021). Binary Matrix Factorisation via Column Generation. Proceedings of the AAAI Conference on Artificial Intelligence, 35(5), 3823-3831. https://doi.org/10.1609/aaai.v35i5.16500

Issue

Section

AAAI Technical Track on Constraint Satisfaction and Optimization