История
4 сентября 2022
1 сентября 2022
5 января 2017
→Алгоритм
+887
→Источники информации
+132
Нет описания правки
+24
→Доказательство эквивалентности
+7
→Алгоритм
+13
→Время работы для однозначной грамматики
+502
4 января 2017
→Время работы для однозначной грамматики
+1081
Нет описания правки
→Алгоритм
+388
→Время работы для однозначной грамматики
Нет описания правки
+5
Нет описания правки
+67
Нет описания правки
+309
2 марта 2012
24 января 2012
(Отмена правки 17695) Ладно, хрен с тобой
+1094
→Время работы для однозначной грамматики
-1094
Нет описания правки
23 января 2012
21 января 2012
20 января 2012
Нет описания правки
+52
→Время работы для однозначной грамматики
+2
→Время работы для однозначной грамматики
+9
→Время работы для однозначной грамматики
м→Время работы для однозначной грамматики
+309
→Алгоритм
-53
19 января 2012
Нет описания правки
+981
Нет описания правки
+1502
Нет описания правки
-291
Нет описания правки
+85
Нет описания правки
-720
→Время работы для однозначной грамматики: — упростил первый случай
-369
Доказательство второго пункта леммы
+97
Нет описания правки
+828
Нет описания правки
-104
Улучшил оформление доказательства второй леммы, но оно всё ещё неправильное
-238
→Время работы для однозначной грамматики
м+3
Нет описания правки
-796
18 января 2012
Нет описания правки
+29
Нет описания правки
+308
Нет описания правки
-2
Нет описания правки
-77
Нет описания правки
+109
Нет описания правки
+2822