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

Материал из Викиконспекты
Версия от 15:27, 3 июня 2012; Leugenea (обсуждение | вклад) (ToDo)
(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)
Перейти к: навигация, поиск

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]-большое», поставить тире;
  • в итоге попытаться перечитать конспект, как будто ты его раньше никогда не читал и сделать так, чтобы понятно с первого раза стало кому угодно, даже мне.