Réduire le 4-SAT à 5-SAT
-
05-11-2019 - |
Question
Étant donné une réduction de 4-SAT à 5-SAT. Comment est-il possible de décrire une telle fonction? J'ai trouvé quelques informations sur la réduction de 3-au satelle à 4-SAT ici, mais cela ne peut pas m'aider autant.
Pas de solution correcte
Licencié sous: CC-BY-SA avec attribution
Non affilié à cs.stackexchange