История
4 сентября 2022
1 сентября 2022
8 июня 2016
7 июня 2016
5 июня 2016
1 июля 2012
23 июня 2012
→Алгоритм построения расписания
-75
→Алгоритм построения расписания
+115
→Доказательство корректности алгоритма
-1
→Время работы
м+41
→Доказательство корректности алгоритма
м+37
→Доказательство корректности алгоритма
+70
→Доказательство корректности алгоритма
-4
→Алгоритм построения расписания
м-4
→Доказательство корректности алгоритма
+20
→Доказательство корректности алгоритма
+1
→Доказательство корректности алгоритма
+11
→Алгоритм построения расписания
+12
→Алгоритм построения расписания
+6
→Доказательство корректности алгоритма
+2
→Доказательство корректности алгоритма
→Доказательство корректности алгоритма
→Доказательство корректности алгоритма
+1316
→Доказательство корректности алгоритма
22 июня 2012
→Алгоритм построения расписания
+11
→Алгоритм построения расписания
→Алгоритм построения расписания
+25
→Доказательство корректности алгоритма
+17
→Алгоритм построения расписания
-2
→Доказательство корректности алгоритма
+11
→Доказательство корректности алгоритма
+11
→Доказательство корректности алгоритма
→Доказательство корректности алгоритма
+71
→Алгоритм построения расписания
+168
→Алгоритм построения расписания
+21
→Алгоритм построения расписания
-4
→Алгоритм построения расписания
+307
→Доказательство корректности алгоритма
-5
→Доказательство корректности алгоритма
+42
→Доказательство корректности алгоритма
+19
→Алгоритм построения расписания
+22
→Алгоритм построения расписания
+33
→Алгоритм построения расписания
+33
→Алгоритм построения расписания
+11
→Алгоритм построения расписания
+106
→Алгоритм построения расписания
-8
→Алгоритм построения расписания
м-5
