|
Bas de page | |
---|---|
Auteur | Sujet : [Résolu] Arbre "logique" > PDAG & Co. |
Publicité | Posté le 12-04-2010 à 20:33:07 |
mrbebert | L'arbre en question, il t'est imposé ou c'est toi qui l'a conçu ?
Message cité 1 fois Message édité par mrbebert le 12-04-2010 à 21:45:52 |
Joel F Real men use unique_ptr |
mrbebert | Bon, j'ai trouvé un truc. Pas forcément très satisfaisant mais ca devrait fonctionner
C'est plus amusant de réinventer la roue et de jouer avec des arbres Message cité 1 fois Message édité par mrbebert le 12-04-2010 à 22:13:20 |
xterminhate Si vis pacem, para bellum. |
|
Elmoricq Modérateur | Euh, tout d'abord : tu travailles en C, ou en C++ ? Les deux langages diffèrent, et donc les solutions disponibles également. |
xterminhate Si vis pacem, para bellum. |
|
xterminhate Si vis pacem, para bellum. |
|
Elmoricq Modérateur |
Oui, en effet. J'avais mal lu le post d'origine. Je me souviens m'être penché sur un problème similaire il y a quelques années, et de l'avoir résolu de manière... pour le moins alambiquée, avec des arbres aussi (edit : je suis en train de me rappeler de ma méthode de l'époque, et avec le recul, c'était assez horrible). Il doit y avoir plus simple. Je déplace ce sujet dans "Algorithme", il y aura plus sa place, et d'autres personnes plus calées interviendront peut-être. Message édité par Elmoricq le 12-04-2010 à 22:48:52 |
xterminhate Si vis pacem, para bellum. |
|
Publicité | Posté le 12-04-2010 à 22:47:30 |
xterminhate Si vis pacem, para bellum. | Voici l'embryon d'algo récursif sur lequel je me suis arrête. Il ne répond pas à mon problème car il est trop "permissif".
|
Un Programmeur | J'ai du mal à savoir de quoi tu pars exactement pour te proposer des alternatives. Une chose à regarder éventuellement, c'est les BDD (Binary Decision Diagram).
--------------- The truth is rarely pure and never simple (Oscar Wilde) |
mrbebert |
OK, oublie mon 2ème message alors |
xterminhate Si vis pacem, para bellum. |
|
xterminhate Si vis pacem, para bellum. |
|
xterminhate Si vis pacem, para bellum. | En faisant des recherches sur la BDD, je tombe sur quelque chose de tres proche de ma pensée. Propositional directed acyclic graph (PDAG) |
Un Programmeur | Un moyen assez simple de fixer to algo est de comparer en plus le nombre de fils du noeud ET avec le nombre d'éléments dans ta séquence. --------------- The truth is rarely pure and never simple (Oscar Wilde) |
xterminhate Si vis pacem, para bellum. |
Message édité par xterminhate le 13-04-2010 à 15:11:57 |
Un Programmeur | Je n'ai peut-etre pas ete clair, mais je partais avec l'idee que ton arbre etait sous forme normale disjonctive (un OU de ET), pas un arbre plus complet. Pour de tels arbres, il faudrait d'abord que toi tu definisses le sens que tu veux donner aux operations, parce qu'il n'est pas clair pour moi. Par exemple dans la derniere forme que tu donnes, avoir un D rends impossible de remplir la condition de gauche mais est indispensable pour remplir la condition de droite...
--------------- The truth is rarely pure and never simple (Oscar Wilde) |
Un Programmeur | Plutot que d'essayer de partir sur ta formalisation qui semble problematique, ne pourrais-tu pas nous donner ton probleme dans les termes dans lequel ton probleme se pose? --------------- The truth is rarely pure and never simple (Oscar Wilde) |
xterminhate Si vis pacem, para bellum. |
Message édité par xterminhate le 13-04-2010 à 15:45:58 |
xterminhate Si vis pacem, para bellum. |
|
xterminhate Si vis pacem, para bellum. | Effectivement, je veux éviter si possible la forme normale disjonctive. Je veux pouvoir "factoriser" au mieux les éléments qui apparaissent dans l'arbre. J'ai une trés forte contrainte en terme de mémoire disponible pour stocker l'ensemble des séquences valides. Message édité par xterminhate le 13-04-2010 à 15:39:05 |
Un Programmeur | Qui est-ce qui va s'occuper de passer de l'ensemble des sequences a la forme compacte?
--------------- The truth is rarely pure and never simple (Oscar Wilde) |
xterminhate Si vis pacem, para bellum. | A défaut de pouvoir automatiser le processus d'élaboration de l'arbre, celle-ci est manuelle. Je n'ai pas d'autres alternatives pour l'instant.
|
Un Programmeur | Autre chose qui pourrait t'etre utile: http://en.wikipedia.org/wiki/Espre [...] _minimizer --------------- The truth is rarely pure and never simple (Oscar Wilde) |
xterminhate Si vis pacem, para bellum. | Intéressant.
|
xterminhate Si vis pacem, para bellum. |
|
Un Programmeur | Tu remarqueras qu'il y a des negations ce qu'aucun de tes arbres n'a. --------------- The truth is rarely pure and never simple (Oscar Wilde) |
xterminhate Si vis pacem, para bellum. | En effet, cet arbre "logique" ne convient pas. Message édité par xterminhate le 13-04-2010 à 17:07:48 |
Un Programmeur | Il te faut la possibilite d'une negation. Donc soit tu doubles tes variables par une version niee (A et Abar), soit tu as un operateur unaire de negation (NOT), soit tu utilises d'autres fonctions (NAND, NOR, XOR). NAND ou NOR seul suffit. (AND ou OR) et (NOT ou NAND ou NOR) suffit aussi.
--------------- The truth is rarely pure and never simple (Oscar Wilde) |
xterminhate Si vis pacem, para bellum. | Ok, je viens d'ajouter à mon application le nœud logique NOT. Je peux donc construire tout arbre ou graphe avec des opérateur AND, OR, NOT maintenant.
|
Un Programmeur | Une idee -- qui vaut ce qu'elle vaut.
--------------- The truth is rarely pure and never simple (Oscar Wilde) |
xterminhate Si vis pacem, para bellum. | Ok. Je comprends l'idée. Merci.
|
xterminhate Si vis pacem, para bellum. | Afin de clore le sujet rapidement, je fais le point sur la solution technique que je vais certainement choisir.
Message édité par xterminhate le 13-04-2010 à 21:07:58 |
xterminhate Si vis pacem, para bellum. | A noter que la solution la plus compacte serait le BDD mais la production d'un tel graphe semble problématique (ordonnancement optimal des variables difficile à obtenir). |
Publicité | Posté le |
Sujets relatifs | |
---|---|
[résolu] Nom de variable dans la variable de $_session | [Résolu] Récupérer une information avec un parser |
[RESOLU] Requete SQL avec variable dynamique sous MS-DOS | [Resolu] Détail d'un fichier sous DOS |
Macro pour formater un fichier texte ou excel [Résolu] | [Résolu] Strings remplacées par "p" |
[resolu]Requête sortant les produits du même prix à +/- 10% | [RESOLU][SQL/ACCESS] Problème jointure |
liste incremental string [RESOLU] | |
Plus de sujets relatifs à : [Résolu] Arbre "logique" > PDAG & Co. |