hmmm, ok, toi tu ne suis pas les raisonnements :-)
ma suggestion sur C était de pousser le raisonnement par récurrence hein : tu as D qui peut dépendre de C et, de proche en proche, tu peux en arriver à désinstaller tout plein de choses, ce qui est mis en évidence dans les liens que je t'ai fournis, que tu peux prendre un peu de temps à parcourir.
Identifier les cas que tu traites et ceux que tu ne traites pas encore permet tout de même d'assurer un début de complétude, d'où la suggestion de regarder des listes existantes de dépendances et d'éprouver tes modèles sur des cas plus réels.
[^] # Re: Bravo
Posté par BAud (site web personnel) . En réponse au journal Résolution des dépendances par système de branches. Évalué à 2.
ma suggestion sur C était de pousser le raisonnement par récurrence hein : tu as D qui peut dépendre de C et, de proche en proche, tu peux en arriver à désinstaller tout plein de choses, ce qui est mis en évidence dans les liens que je t'ai fournis, que tu peux prendre un peu de temps à parcourir.
Identifier les cas que tu traites et ceux que tu ne traites pas encore permet tout de même d'assurer un début de complétude, d'où la suggestion de regarder des listes existantes de dépendances et d'éprouver tes modèles sur des cas plus réels.