ИСТИНА

Цель диссертационной работы – развитие математического аппарата теории синтеза параллельных схем, направленное на решение проблем оптимального синтеза с ограниченной глубиной, минимизации глубины вычислений, построения быстрых параллельных алгоритмов. Среди решаемых задач: получение соотношений между глубиной и сложностью булевых формул, верхние и нижние оценки сложности формул для симметрических булевых функций, асимптотически оптимальный синтез вентильных схем ограниченной глубины, изучение отношений различных линейных мер сложности булевых матриц, синтез минимальных параллельных префиксных схем, асимптотически оптимальный синтез схем и формул ограниченной глубины из многовходовых элементов, построение сбалансированных по глубине деревьев решений для сортировки.