J'avoue que mon racourçit était un peu rapide, mais j'en avais déjà écrit une tartine donc j'ai pas eu le courage de développer plus précisément.
Donc pour être un peu plus clair, lagestiondes dépendance est un problème NP-complet, ce qui ce prouve par une réduction du problème CNF-SAT. Et, dans aptitude, cette résolution est faite par des heuristique notament inspirées des techniques employées dans les solveurs SAT ainsi que des heuristiques supplémentaires pour choisir parmis les différentes solutions trouvées celle qui est la plus adapté au problème de gestion des dépendances.
[^] # Re: pas d'accord
Posté par beagf . En réponse au journal Sortie de Setup 0.1-alpha0. Évalué à 1.
Donc pour être un peu plus clair, lagestiondes dépendance est un problème NP-complet, ce qui ce prouve par une réduction du problème CNF-SAT. Et, dans aptitude, cette résolution est faite par des heuristique notament inspirées des techniques employées dans les solveurs SAT ainsi que des heuristiques supplémentaires pour choisir parmis les différentes solutions trouvées celle qui est la plus adapté au problème de gestion des dépendances.