Сохранить в:
Библиографические подробности
Главный автор: Alexander Towell
Формат: Recurso digital
Язык:
Опубликовано: Zenodo 2026
Предметы:
Online-ссылка:https://doi.org/10.5281/zenodo.19211132
Метки: Добавить метку
Нет меток, Требуется 1-ая метка записи!
Оглавление:
  • We compute the exact De Morgan formula size L(f) for all Boolean functions on n=3 (256 functions, max L=10) and n=4 (65,536 functions, max L=16) variables by bottom-up enumeration. All 114 hardest n=4 functions (L=16) are simultaneously maximal across sensitivity, block sensitivity, decision tree depth, and real degree. Partial n=5 results include L(THR(5,2))=12.