Запитання з тегом «binary-decision-diagrams»

1
Найбільш суттєвий біт цілочисельних діаграм множення та двійкових рішень
Нехай і y два двійкові числа з n бітами і z = x ⋅ y двійкове число (довжина 2 n ) добутку x і y . Ми хочемо обчислити найбільш значущий біт z 2 n - 1 добутку z = z 2 n -ххxууyннnz= x ⋅ y z=х⋅у z = …

1
Алгоритми на графіках, представлених за допомогою BDD
Найпростіші подання для графіків використовують матриці / списки суміжності, тобто кожен вузол і край явно представлені. Важливість неявних уявлень для графіків, що демонструють чіткі закономірності, давно визнана. Наприклад, Galperin & Wigderson (1983), Papadimitriou & Yannakakis ( Примітка про кращі представлення графіків , 1986) досліджували питання про графіки, матриця суміжності яких …
Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.