Обобщенный подход к диаграммам решений с нагруженными ребрами и диаграммам решений для арифметического преобразования

Показано, что двоичные диаграммы решений и их обобщения являются не только представлением переключательных и целочисленных функций, но также и Фурье-подобным разложением этих функций. Кроме того, показано, что двоичные диаграммы решений с нагруженными ребрами (EVBDD) связаны с диаграммами решений для арифметического преобразования (ACDD), которые являются целочисленными аналогами функциональных диаграмм решений. В заключение показывается, что сложность многотерминальных двоичных диаграмм решений, EVBDD и ACDD функции $f$ зависит от структуры вектора истинности функции $f$, спектра частичного арифметического преобразования $f$ и спектра арифметического преобразования $f$ соответственно.