浅谈一个NPC问题证明：高兴火锅问题

摘要：

高兴火锅问题：给定一张 \(n\) 个点 \(m\) 条边的 DAG，每个点有一个颜色 \(a_i\)（颜色可重），给定一个长度为 \(n\) 的颜色序列 \(c_i\)，问是否存在一个拓扑序符合这个颜色序列。

高兴火锅定理：高兴火锅问题是 NP-complete 的。

证明：高兴火锅证明pdf