Лекция 7. Схема из функциональных элементов
- 00:10Граф, сеть. Схема: изоморфность, эквивалентность, классы, сложность
- 09:53Схема из функциональных элементов (СФЭ). Квазидерево. Переход от СФЭ к системе формул (квазидеревьев)
- 25:19Висячая вершина. Приведённая СФЭ. Функционалы сложности СФЭ
- 32:32Утверждение о связи функционалов сложности у СФЭ. (Аналогично случаю формулы)
- 38:24Оценки количеств формул. Квазиизоморфоность формул
- 01:04:31Оценка количества попарно неэквивалентных СФЭ
