A mon (humble) avis, ça devrait t'apprendre un peu à regarder à deux fois avant d'affirmer un truc :)
Par exemple, du comportement d'aptitude, on peut déduire qu'il utilise déja certaines de tes techniques lors de la résolution de dépendance : ouverture de branche sur les différents package installables (notion de noeud), attribution d'un score à chaque noeud, ...
Les algos SAT font aussi ce genre de chose : baktracking, test de cohérence des différents choix. Parler "d'artillerie lourde" en parlant d'algo de résolution SAT c'est aussi un peu exagéré à mon sens en comparaison d'algo de résolutions d'autre type de problèmes, les algos SAT ne sont pas si compliqués, ni même si lourds. Genre ton algo à toi est très très similaire dans l'idée à un DPLL de base. En moins bien parce que tu n'as rien prouvé de sa correction :)
Bref, l'idée de ce post c'est d'essayer de te montrer que tes idées ne sont pas idiotes, mais que je trouve un peu prétentieuse ta manière de les présenter.
[^] # Re: Dépendances inverse
Posté par thoasm . En réponse au journal Résolution des dépendances par système de branches. Évalué à 6.
Par exemple, du comportement d'aptitude, on peut déduire qu'il utilise déja certaines de tes techniques lors de la résolution de dépendance : ouverture de branche sur les différents package installables (notion de noeud), attribution d'un score à chaque noeud, ...
Les algos SAT font aussi ce genre de chose : baktracking, test de cohérence des différents choix. Parler "d'artillerie lourde" en parlant d'algo de résolution SAT c'est aussi un peu exagéré à mon sens en comparaison d'algo de résolutions d'autre type de problèmes, les algos SAT ne sont pas si compliqués, ni même si lourds. Genre ton algo à toi est très très similaire dans l'idée à un DPLL de base. En moins bien parce que tu n'as rien prouvé de sa correction :)
Bref, l'idée de ce post c'est d'essayer de te montrer que tes idées ne sont pas idiotes, mais que je trouve un peu prétentieuse ta manière de les présenter.