25.04.2013 Нижние оценки на схемную сложность некоторых элементарных функций (Денис Тугарев)

Будет рассмотрено доказательство нижней оценки на схемную сложность функции ALLEQ, анализ структуры оптимальной схемы для этой функции и доказательство нижней оценки на схемную сложность функции SubsetALLEQ.