Что: | Лекция |
Когда: | Пятница, 30 сентября 2016, 19:00–20:20 |
Где: | ПОМИ РАН, аудитория 106 |
На этом докладе будут обобщаться результаты предыдущего доклада.
А именно, мы выясним, что задачу тестирования на монотонность функций из множества $[m]^l$ (оно же множество одномерных кубиков в $l$-мерном гиперкубе со стороной $m$) можно запросто свести к той же задаче при $m=2$. Кроме того, окажется (при некоторых предположениях), что алгоритм, с хорошей вероятностью находящий немонотонные булевы функции, неплохо работает и на функциях с произвольным множеством значений.