21.02.2017 Нижняя оценка на размер FBDD для выполнимых цейтинских формул (Людмила Глинских)

В докладе будет доказана экспоненциальная нижняя оценка на размер свободных бинарных диаграмм решений (FBDD) для выполнимых цейтинских формул на графе-экспандере. 

В данном докладе будут объяснены понятия цейтинских формул, свободных бинарных диаграмм решений (FBDD) и упорядоченных бинарных диаграмм решений (OBDD).