Вопросы с тегом «binary-decision-diagrams»

15
Наиболее значительный бит диаграмм умножения целых чисел и двоичных решений

Пусть и два двоичных числа с битами и двоичное число (длина ) произведения и . Мы хотим вычислить наиболее значимый бит произведения .уИксxxYyyz = x ⋅ y 2 n x y z 2 n - 1 z = z 2 n - 1 … z 0NnnZ= х ⋅ у z=x⋅y z = x \cdot y\ 2 н2n2nИксxxYyyZ2 n - 1z2n−1z_{2n-1}Z= z2 n - 1… З0z=z2n−1…z0z = z_{2n-1}...

10
Алгоритмы на графиках, представленные с использованием BDD

В простейших представлениях для графов используются матрицы / списки смежности, что означает, что каждый узел и ребро представлены явно. Важность неявных представлений для графов, демонстрирующих сильные закономерности, давно признана. Например, Galperin & Wigderson (1983), Papadimitriou &...