Изменения

Перейти к: навигация, поиск

Теорема Карпа-Липтона

13 байт добавлено, 13:38, 15 апреля 2010

Нет описания правки

C_m-1(fi|x1=0) галочка C_m-1(fi|x1=1)

Получаем что <math>L\in \Sigma_2</math>

Теорема доказана

Анонимный участник

Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/812»