1
¿Mejorando la reducción genérica de Cook para Clique to SAT?
Estoy interesado en reducir -Clique a SAT sin hacer que la instancia sea mucho más grande.kkk Clique está en NP, por lo que puede reducirse a SAT utilizando espacio logarítmico. La reducción directa del libro de texto de Garey / Johnson explota la instancia a un tamaño cúbico . Sin …