|
Автоматика и телемеханика, 2002, выпуск 1, страницы 140–153
(Mi at2010)
|
|
|
|
Эта публикация цитируется в 3 научных статьях (всего в 3 статьях)
Автоматы
Обобщенный подход к диаграммам решений с нагруженными ребрами и диаграммам решений для арифметического преобразования
К. Морагаa, Т. Сасаоb, Р. Станковичc a Университет Дортмунда, Германия
b Технологический институт Кюши, Изука, Япония
c Университет Ниша, Югославия
Аннотация:
Показано, что двоичные диаграммы решений и их обобщения являются не только представлением переключательных и целочисленных функций, но также и Фурье-подобным разложением этих функций. Кроме того, показано, что двоичные диаграммы решений с нагруженными ребрами (EVBDD) связаны с диаграммами решений для арифметического преобразования (ACDD), которые являются целочисленными аналогами функциональных диаграмм решений. В заключение показывается, что сложность многотерминальных двоичных диаграмм решений, EVBDD и ACDD функции $f$ зависит от структуры вектора истинности функции $f$, спектра частичного арифметического преобразования $f$ и спектра арифметического преобразования $f$ соответственно.
Образец цитирования:
К. Морага, Т. Сасао, Р. Станкович, “Обобщенный подход к диаграммам решений с нагруженными ребрами и диаграммам решений для арифметического преобразования”, Автомат. и телемех., 2002, № 1, 140–153; Autom. Remote Control, 63:1 (2002), 125–138
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/at2010 https://www.mathnet.ru/rus/at/y2002/i1/p140
|
|