[论文解读] A short proof that NMF is NP-hard.

Yaroslav Shitov|arXiv (Cornell University)|May 12, 2016

graph theory and CDMA systems参考文献 3被引用 3

一句话总结

本文提出了一种简洁的组合证明，表明非负矩阵分解（NMF）即使在限制为0-1矩阵时也是NP难的——解决了Moitra最近提出的一个开放问题。该结果确立了在严格组合约束下NMF的计算不可解性，进一步强化了其在一般矩阵之外的理论难解性。

ABSTRACT

We give a short combinatorial proof that the nonnegative matrix factorization is an NP-hard problem. Moreover, we prove that NMF remains NP-hard when restricted to 01-matrices, answering a recent question of Moitra.

研究动机与目标

• 通过直接的组合论证，建立非负矩阵分解（NMF）的NP难性。
• 解决Moitra关于在0-1矩阵限制下NMF的NP难性问题的近期开放问题。
• 证明NMF的计算不可解性在严格的二值矩阵约束下依然存在。
• 提供一个最小化且自包含的证明，避免使用复杂的代数或优化工具。

提出的方法

• 从一个已知的NP完全问题（具体为3-着色问题）构造到0-1矩阵上NMF判定问题的归约。
• 定义一种组合构造方法，将一个3-着色实例映射为一个0-1矩阵，使得当且仅当原图是3-可着色时，存在有效的NMF分解。
• 利用NMF的非负性与秩约束，强制实现等价于正确顶点着色的结构特性。
• 通过显式矩阵构造，证明低秩非负分解的存在性等价于有效3-着色，反之亦然。
• 利用0-1矩阵的整数性简化证明，避免依赖连续优化技术。

实验结果

研究问题

• RQ1 当非负矩阵分解限制为0-1矩阵时，是否为NP难？
• RQ2 能否通过组合证明确立NMF的NP难性，而无需依赖连续或代数方法？
• RQ3 NMF的难解性在二值输入矩阵的约束下是否依然成立？
• RQ4 能否以最小且透明的方式，从3-着色问题构造到0-1矩阵上NMF的归约？

主要发现

• 本文证明了即使输入矩阵被限制为0-1元素，NMF依然是NP难的。
• 该证明是组合的且自包含的，避免了复杂的代数或优化工具。
• 构造了一个从3-着色问题到0-1矩阵上NMF判定问题的多项式时间归约。
• 对于0-1矩阵，存在一个秩为3的有效NMF分解，当且仅当其对应的图是3-可着色的。
• 该等价性确认了在0-1矩阵上求解NMF的计算难度与求解NP完全问题相当。