SAT EST IN BONO LOCO Oui mais combien ? et où ?
Résumé
Dans un réseau hétérogène, plusieurs protocoles de communication coexistent, par exemple IPv4 et IPv6. Afin d'assurer l'interopérabilité et la communication, des convertisseurs (e.g., une configuration Dual Stack) sont placés sur certaines machines. Nous nous intéressons au problème de minimiser le nombre de convertisseurs à placer dans le réseau tout en assurant la communication entre chaque paire de machines. Dans ce travail préliminaire, nous montrons que le problème est NP-complet. Nous proposons également une réduction vers SAT qui permettra d'utiliser des solveurs pour résoudre le problème.
Origine : Fichiers produits par l'(les) auteur(s)