Keyphrases
- np hard
- negative matrix factorization
- nonnegative matrix factorization
- special case
- scheduling problem
- optimal solution
- closely related
- cost based abduction
- np complete
- approximation algorithms
- theorem prover
- worst case
- linear programming
- integer programming
- lower bound
- remains np hard
- np hardness
- greedy heuristic
- matrix factorisation
- set cover
- probabilistic latent semantic analysis
- computational complexity
- minimum cost
- knapsack problem
- spectral clustering
- decision problems
- information retrieval systems
- theorem proving
- matrix factorization
- linear logic
- document clustering