标签： computer-science theory computation-theory
我知道SAT进入3-SAT并且SAT可以还原成CNF-SAT并且CNF-SAT可以还原成3-CNF-SAT但是3-SAT可以还原成3-CNF-SAT？