Что: | Лекция |
Когда: | Воскресенье, 23 октября 2011, 13:00–14:35 |
Где: | ПОМИ РАН |
Слайды: | boolean_functions_complexity_lecture_231011.pdf |
Связь между графами и схемами, различные способы представить граф схемой: показательная и характеристическая схемы. P$ \neq $NP как следствие нижней оценки $ (12+\varepsilon)n $ на графовую сложность.