Обсуждение:Теорема Лаутемана

ToDo

Баги:

1. Надо убрать это никому не нужное предисловие, а название поместить в графу |about теоремы (разумеется, ссылки нужно сохранить + см. п. 2).
2. Не должно быть никаких ссылок НА СТАРЫЕ КОНСПЕКТЫ.
3. Я, если честно, не вижу ссылки на доказательство того, что BPP замкнут относительно дополнения. Думаю, если ты не найдёшь этого факта в нынешней вики, его нужно сделать леммой прямо в этом конспекте.
4. «BPP можно определить как…» Продолжение этой фразы ужасно. Мы не мешаем формулы и русский язык. В данном конкретном случае, мне кажется, лучше написать на русском.
5. «k-большим, если…» откуда вообще берутся [math]g_i[/math]? Туда же: если k-большим мы называем, то почему k-маленькое у нас является? Надо использовать схожие по смыслу слова.
6. «Существует вероятностная машина Тьюринга M, такая что…» Ссылку на ВМТ.
7. Прямо дальше ты неявно воспользовался теоремой о совпадении классов BPP и BPPstrong.
8. «Если [math]x \in L[/math]…» Прямо за этим: у множества [math]A_x[/math] нет вероятности. Это множество.
9. «Потребуем [формула], чтобы [math]A_x[/math] было бы k-большим.» Это подстановка [math]|A_x [/math] ну оооочень нетривиальна. Чтобы её осознать, мне пришлось думать минут 5. Нужно это как-нибудь пояснить.
10. Нагромождение формул в предпоследней строчке невозможно понять первые раз 5.

Реквестирую:

• исправление этих багов;
• замену всех выражений типа «существует х, такой, что существует у…» на «существует такой х, что существует у», ну или доказательство того, что у тебя в конспекте в подобных конструкциях правильно стоят запятые;
• везде, где написано «[math]A_x[/math] [math]k[/math]-большое», поставить тире;
• в итоге попытаться перечитать конспект, как будто ты его раньше никогда не читал и сделать так, чтобы понятно с первого раза стало кому угодно, даже мне.