Время вычислений на линейных бинарных графах

Линейный бинарный граф (ЛБГ) является графическим образом бинарной программы, реализующей булеву формулу (БФ). Показано, что при заданных длительности вычислений и вероятности значений аргументов БФ различная запись (перестановка членов) БФ обусловливает различную длительность вычислений на соответствующем ЛБГ. Предложена методика поиска оптимальной записи БФ, обеспечивающая минимальную длительность вычисления значения этой БФ.