【NPC】2 SAT规约到3SAT

                  一、SAT、3SAT问题描述     二、证明                      
相关文章
相关标签/搜索