Математическая кибернетика
The problem of finding nontrivial lower bounds on the complexity of "well-defined" Boolean functions is one of the most important problems in the mathematical theory of complexity. In the paper the computation of characteristic functions of Reed-Muller codes by nondeterministic branching programs is considered.
Дополнительные материалы: | HTML |
Ваши комментарии |
[Головная страница] [Конференции] [СО РАН] |
© 2001, Сибирское отделение Российской академии наук, Новосибирск
© 2001, Объединенный институт информатики СО РАН, Новосибирск
© 2001, Институт вычислительных технологий СО РАН, Новосибирск
© 2001, Институт систем информатики СО РАН, Новосибирск
© 2001, Институт математики СО РАН, Новосибирск
© 2001, Институт цитологии и генетики СО РАН, Новосибирск
© 2001, Институт вычислительной математики и математической геофизики СО РАН, Новосибирск
© 2001, Новосибирский государственный университет
Дата последней модификации 06-Jul-2012 (11:45:21)