binary matrix factorization problem