editor
177
правок
Изменения
ToDo
== ToDo ==
'''Баги''':
# Надо убрать это никому не нужное предисловие, а название поместить в графу |about теоремы (разумеется, ссылки нужно сохранить + см. п. 2).
# Не должно быть никаких ссылок НА СТАРЫЕ КОНСПЕКТЫ.
# Я, если честно, не вижу ссылки на доказательство того, что BPP замкнут относительно дополнения. Думаю, если ты не найдёшь этого факта в нынешней вики, его нужно сделать леммой прямо в этом конспекте.
# «BPP можно определить как…» Продолжение этой фразы ужасно. Мы не мешаем формулы и русский язык. В данном конкретном случае, мне кажется, лучше написать на русском.
# «k-большим, если…» откуда вообще берутся <tex>g_i</tex>? Туда же: если k-большим мы '''называем''', то почему k-маленькое у нас '''является'''? Надо использовать схожие по смыслу слова.
# «Существует вероятностная машина Тьюринга M, такая что…» Ссылку на ВМТ.
# Прямо дальше ты неявно воспользовался теоремой о совпадении классов BPP и BPPstrong.
# «Если <tex>x \in L</tex>…» Прямо за этим: у множества <tex>A_x</tex> нет вероятности. Это множество.
# «Потребуем [формула], чтобы <tex>A_x</tex> было бы k-большим.» Это подстановка <tex>|A_x
</tex> ну оооочень нетривиальна. Чтобы её осознать, мне пришлось думать минут 5. Нужно это как-нибудь пояснить.
# Нагромождение формул в предпоследней строчке невозможно понять первые раз 5.
'''Реквестирую''':
* исправление этих багов;
* замену всех выражений типа «существует х, такой, что существует у…» на «существует такой х, что существует у», ну или доказательство того, что у тебя в конспекте в подобных конструкциях правильно стоят запятые;
* везде, где написано «<tex>A_x</tex> <tex>k</tex>-большое», поставить тире;
* в итоге попытаться перечитать конспект, как будто ты его раньше никогда не читал и сделать так, чтобы понятно с первого раза стало кому угодно, даже мне.
'''Баги''':
# Надо убрать это никому не нужное предисловие, а название поместить в графу |about теоремы (разумеется, ссылки нужно сохранить + см. п. 2).
# Не должно быть никаких ссылок НА СТАРЫЕ КОНСПЕКТЫ.
# Я, если честно, не вижу ссылки на доказательство того, что BPP замкнут относительно дополнения. Думаю, если ты не найдёшь этого факта в нынешней вики, его нужно сделать леммой прямо в этом конспекте.
# «BPP можно определить как…» Продолжение этой фразы ужасно. Мы не мешаем формулы и русский язык. В данном конкретном случае, мне кажется, лучше написать на русском.
# «k-большим, если…» откуда вообще берутся <tex>g_i</tex>? Туда же: если k-большим мы '''называем''', то почему k-маленькое у нас '''является'''? Надо использовать схожие по смыслу слова.
# «Существует вероятностная машина Тьюринга M, такая что…» Ссылку на ВМТ.
# Прямо дальше ты неявно воспользовался теоремой о совпадении классов BPP и BPPstrong.
# «Если <tex>x \in L</tex>…» Прямо за этим: у множества <tex>A_x</tex> нет вероятности. Это множество.
# «Потребуем [формула], чтобы <tex>A_x</tex> было бы k-большим.» Это подстановка <tex>|A_x
</tex> ну оооочень нетривиальна. Чтобы её осознать, мне пришлось думать минут 5. Нужно это как-нибудь пояснить.
# Нагромождение формул в предпоследней строчке невозможно понять первые раз 5.
'''Реквестирую''':
* исправление этих багов;
* замену всех выражений типа «существует х, такой, что существует у…» на «существует такой х, что существует у», ну или доказательство того, что у тебя в конспекте в подобных конструкциях правильно стоят запятые;
* везде, где написано «<tex>A_x</tex> <tex>k</tex>-большое», поставить тире;
* в итоге попытаться перечитать конспект, как будто ты его раньше никогда не читал и сделать так, чтобы понятно с первого раза стало кому угодно, даже мне.
