Informatique théorique binary-decision-diagrams

Bit le plus significatif de multiplication d'entiers et de diagrammes de décision binaires

Soit et y deux nombres binaires à n bits et z = x ⋅ y le nombre binaire (longueur 2 n ) du produit de x et y . Nous voulons calculer le bit le plus siginifcant z 2 n - 1 du produit z = z 2 n - …

15 cc.complexity-theory binary-decision-diagrams

Algorithmes sur des graphiques représentés à l'aide de BDD

Les représentations les plus simples pour les graphiques utilisent des matrices / listes d'adjacence, ce qui signifie que chaque nœud et bord est explicitement représenté. L'importance des représentations implicites pour les graphiques présentant de fortes régularités est reconnue depuis longtemps. Par exemple, Galperin & Wigderson (1983), Papadimitriou & Yannakakis ( …

10 ds.algorithms reference-request graph-theory survey binary-decision-diagrams

Questions marquées «binary-decision-diagrams»