2024年5月31日
一些NPC问题的证明
摘要： 《算法设计与分析》期末复习 团集 把 SAT 在多项式时间内归约到团集 对于一个可满足性实例 $ f = C_1 \wedge C_2 \wedge ... \wedge C_m $ 建立一张图 $ G (V, E) $ \[E = \{ (x_i, x_j) | x_i, x_j \text{属于 阅读全文
posted @ 2024-05-31 00:04 sysss 阅读(264) 评论(0) 推荐(0) 编辑