NP完全问题证明CNF-SAT3-SATCLIQUEVERTEX-COVER均分