The document discusses non-negative matrix factorization and algorithms for solving it. It introduces non-negative matrix factorization as factorizing a non-negative matrix A into non-negative matrices W and H such that A = W×H. It then presents a simple algorithm for solving the exact non-negative matrix factorization problem in polynomial time by modeling it as a satisfiability problem over polynomial constraints. It also discusses an approach for simplicial factorization that reduces the number of variables by exploiting the rank of the matrix.