Teoretyczne informatyka binary-decision-diagrams

Najbardziej znaczący bit mnożenia liczb całkowitych i diagramy decyzji binarnych

Niech i y dwa binarne liczby z n bitów i oo = x ⋅ y liczby binarnej (o długości 2 n ) produktu z x i y . Chcemy obliczyć najbardziej znaczący bit z 2 n - 1 produktu z = z 2 n - 1 … z 0 .xxxyyynnnz=x⋅y …

15 cc.complexity-theory binary-decision-diagrams

Algorytmy na wykresach reprezentowane za pomocą BDD

Najprostsze reprezentacje wykresów wykorzystują macierze / listy przyległości, co oznacza, że każdy węzeł i krawędź są wyraźnie reprezentowane. Znaczenie ukrytych reprezentacji dla wykresów wykazujących silne prawidłowości od dawna zostało uznane. Na przykład Galperin i Wigderson (1983), Papadimitriou i Yannakakis ( Nota o zwięzłych reprezentacjach grafów , 1986) badali kwestię wykresów, …

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

Pytania otagowane jako binary-decision-diagrams