editor
177
правок
Изменения
ToDo 2
* везде, где написано «<tex>A_x</tex> <tex>k</tex>-большое», поставить тире;
* в итоге попытаться перечитать конспект, как будто ты его раньше никогда не читал и сделать так, чтобы понятно с первого раза стало кому угодно, даже мне.
== ToDo 2 ==
# Почему нет ссылок? На BPP, например? А, я нашёл их! Но сделай их лучше референсами. Как это делается, посмотри, например, у Иры в конспекте.
# Второй пункт в первой лемме вообще ни о чём, второе следствие там необосновано. Мне кажется, что ты хотел написать там что-то дпугое, не так ли?
# «…тогда и только тогда, когда существует «много» таких вероятностных лент…» Что там такое дальше <tex>R(x,y)</tex>? Откуда оно вообще взялось?
# «Таким образом, необходимо уметь записывать «существует много» с помощью кванторов…» Это всё-таки перечисление, а перечисление пишется через запятую.
# «Если <tex>|X| < \frac{2^t}{k}</tex>, то <tex>X</tex> является <tex>k</tex>-маленьким.» Эээ… нет, X называется k-маленьким, если оно не k-большое. А это какое-то второе определение, причём эквивалентность этих определений нигде не доказана.
# Как ты заметил, тех здесь не поддерживает слишком длинные формулы. И разбивает он их как получится. Поэтому надо сделать так, чтобы переносы были логичными. Подсказка: надо разбить формулу на несколько в логичных местах (например, на знаке равенства).
# «Получаем <tex>\frac{r(n)}{p(n)} < k < 2^{p(n)}</tex>, то есть <tex>x \in L \Leftrightarrow A_x</tex> — <tex>k</tex>-большое.» Здесь, опять же, глупый момент. Нам нужно ведь не только что оно в каком-то случае было б k-большим, но и чтобы в противном случае оно было бы k-маленьким, а этого и здесь не написано (хотя, стоит заметить, доказано).
# Предпоследняя строчка нечитабельна. Кажется, там 2 предложения, их стоит разнести по строчкам. Ну и в первом из них поставить где-нибудь скобочки, чтобы оно стало читаемым.
