|
Эта публикация цитируется в 3 научных статьях (всего в 4 статьях)
Упрощенное доказательство одной нижней оценки сложности
В. М. Храпченко
Аннотация:
Значительно упрощено доказательство одного известного неравенства, позволяющего получать квадратичные нижние оценки сложности $\Pi$-схем (или, что то же самое, формул над базисом $\{\&,\vee,\bar{}\ \}$) для многих булевых функций.
Работа выполнена при финансовой поддержке Программы фундаментальных исследований ОМН РАН “Алгебраические и комбинаторные методы математической кибернетики”, проект “Синтез и сложность управляющих систем”.
Статья поступила: 19.12.2012
Образец цитирования:
В. М. Храпченко, “Упрощенное доказательство одной нижней оценки сложности”, Дискрет. матем., 25:2 (2013), 82–84; Discrete Math. Appl., 23:2 (2013), 171–174
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/dm1236https://doi.org/10.4213/dm1236 https://www.mathnet.ru/rus/dm/v25/i2/p82
|
|