Лекция 14. Асимптотически наилучший метод синтеза формул
- 00:10Повторение прошлой лекции
- 06:10m-регулярное множество единичного куба, его свойства. Пример
- 21:44Утверждение о существовании регулярного разбиения единичного куба. Продолжение примера
- 38:53Асимптотически наилучшая верхняя оценка сложности для формул
- 01:17:48Асимптотически наилучшая верхняя оценка сложности для КС