Вклад участника
15 января 2012
Алгоритм поиска блокирующего потока в ациклической сети
Жадный Алгоритм
+59
Алгоритм поиска блокирующего потока в ациклической сети
Жадный Алгоритм
+14
Алгоритм поиска блокирующего потока в ациклической сети
Идея
+10
Алгоритм поиска блокирующего потока в ациклической сети
Подробное описание
+38
Алгоритм поиска блокирующего потока в ациклической сети
Удаляющий обход
+3
Алгоритм поиска блокирующего потока в ациклической сети
Жадный Алгоритм
-61
Алгоритм поиска блокирующего потока в ациклической сети
Жадный Алгоритм
-14
Бинарное отношение
Степень отношений
+44
14 января 2012
Теоремы Карзанова о числе итераций алгоритма Диница в сети с целочисленными пропускными способностями
Определения
+3
Циркуляция потока
Нет описания правки
+32
Примеры неразрешимых задач: однозначность грамматики
Нет описания правки
-37
Примеры неразрешимых задач: однозначность грамматики
Нет описания правки
+12
Иммунные и простые множества
Нет описания правки
+272
Двудольные графы и раскраска в 2 цвета
Нет описания правки
-44
Лемма о дедукции, полнота исчисления высказываний
ОЧЕВИДНАЯ ОПЕЧАТКА ЖЕ
Двудольные графы и раскраска в 2 цвета
Теорема Кенига
+1
Двудольные графы и раскраска в 2 цвета
Нет описания правки
+329
Двудольные графы и раскраска в 2 цвета
Теорема Кенига
+1074
Тестовая страница
Нет описания правки
-1034
Матричный умножитель
Нет описания правки
-1
Матричный умножитель
Нет описания правки
-24
Теорема Райса-Шапиро
Теорема Райса-Шапиро
+1190
Исчисление предикатов
Исчисление предикатов
-146
Решение задач по логике
Новая страница: «== Вывод утверждений из аксиом == Докажем, что <tex>a\&b \rightarrow b\&a</tex>. По теореме о дедукции, если...»
Математическая логика
Нет описания правки
+49
Исчисление предикатов
Нет описания правки
+146
Алгоритм Форда-Фалкерсона для поиска максимального паросочетания
Идея алгоритма
+164
Алгоритм Форда-Фалкерсона для поиска максимального паросочетания
Идея алгоритма
+2
Двудольные графы и раскраска в 2 цвета
Нет описания правки
+3
Задача коммивояжера, ДП по подмножествам
Динамическое программирование по подмножествам (по маскам)
-146
Представление функции класса DM с помощью медианы
Ссылки
+5
Представление функции класса DM с помощью медианы
Ссылки
+133
Представление функции класса DM с помощью медианы
Ссылки
-5
Представление функции класса DM с помощью медианы
Нет описания правки
+141
Представление функции класса DM с помощью медианы
Нет описания правки
+19
Двудольные графы и раскраска в 2 цвета
Нет описания правки
+443
Представление функции класса DM с помощью медианы
Нет описания правки
-7
Геделева нумерация. Арифметизация доказательств
Нет описания правки
+3
Геделева нумерация. Арифметизация доказательств
Нет описания правки
-14
Геделева нумерация. Арифметизация доказательств
Нет описания правки
-28
Геделева нумерация. Арифметизация доказательств
Нет описания правки
+1234
Геделева нумерация. Арифметизация доказательств
Нет описания правки
+5902
13 января 2012
Представление функции класса DM с помощью медианы
Нет описания правки
+116
Геделева нумерация. Арифметизация доказательств
Нет описания правки
+2686
Арифметическое кодирование
Определение
-1
Арифметическое кодирование
Определение
+2
Примитивно рекурсивные функции
Нет описания правки
-25
Примитивно рекурсивные функции
Нет описания правки
+281
Примитивно рекурсивные функции
Нет описания правки
+14 998
Ковариация случайных величин
Вычисление
+10