Вклад участника

Перейти к: навигация, поиск

192.168.0.2 15 января 2012

Алгоритм поиска блокирующего потока в ациклической сети
‎Удаляющий обход
01:43
+47
Алгоритм поиска блокирующего потока в ациклической сети
‎Жадный Алгоритм
01:42
+59
Алгоритм поиска блокирующего потока в ациклической сети
‎Жадный Алгоритм
01:41
+14
Алгоритм поиска блокирующего потока в ациклической сети
‎Идея
01:39
+10
Алгоритм поиска блокирующего потока в ациклической сети
‎Подробное описание
01:34
+38
Алгоритм поиска блокирующего потока в ациклической сети
‎Удаляющий обход
01:32
+3
Алгоритм поиска блокирующего потока в ациклической сети
‎Жадный Алгоритм
01:25
-61
Алгоритм поиска блокирующего потока в ациклической сети
‎Жадный Алгоритм
01:23
-14
Бинарное отношение
‎Степень отношений
00:18
+44

14 января 2012

Теоремы Карзанова о числе итераций алгоритма Диница в сети с целочисленными пропускными способностями
‎Определения
22:28
+3
Циркуляция потока
Нет описания правки
22:08
+32
Примеры неразрешимых задач: однозначность грамматики
Нет описания правки
21:43
-37
Примеры неразрешимых задач: однозначность грамматики
Нет описания правки
21:41
+12
Иммунные и простые множества
Нет описания правки
21:32
+272
Двудольные графы и раскраска в 2 цвета
Нет описания правки
17:36
-44
Лемма о дедукции, полнота исчисления высказываний
ОЧЕВИДНАЯ ОПЕЧАТКА ЖЕ
10:41
Двудольные графы и раскраска в 2 цвета
‎Теорема Кенига
09:26
+1
Двудольные графы и раскраска в 2 цвета
Нет описания правки
09:25
+329
Двудольные графы и раскраска в 2 цвета
‎Теорема Кенига
09:08
+1074
Тестовая страница
Нет описания правки
08:03
-1034
Матричный умножитель
Нет описания правки
07:37
-1
Матричный умножитель
Нет описания правки
07:36
-24
Теорема Райса-Шапиро
‎Теорема Райса-Шапиро
07:16
+1190
Исчисление предикатов
‎Исчисление предикатов
07:16
-146
Решение задач по логике
Новая страница: «== Вывод утверждений из аксиом == Докажем, что <tex>a\&b \rightarrow b\&a</tex>. По теореме о дедукции, если...»
07:07
Математическая логика
Нет описания правки
07:07
+49
Исчисление предикатов
Нет описания правки
06:15
+146
Алгоритм Форда-Фалкерсона для поиска максимального паросочетания
‎Идея алгоритма
05:05
+164
Алгоритм Форда-Фалкерсона для поиска максимального паросочетания
‎Идея алгоритма
04:39
+2
Двудольные графы и раскраска в 2 цвета
Нет описания правки
03:05
+3
Задача коммивояжера, ДП по подмножествам
‎Динамическое программирование по подмножествам (по маскам)
02:55
-146
Представление функции класса DM с помощью медианы
‎Ссылки
02:48
+5
Представление функции класса DM с помощью медианы
‎Ссылки
02:47
+133
Представление функции класса DM с помощью медианы
‎Ссылки
02:24
-5
Представление функции класса DM с помощью медианы
Нет описания правки
01:55
+141
Представление функции класса DM с помощью медианы
Нет описания правки
01:49
+19
Двудольные графы и раскраска в 2 цвета
Нет описания правки
01:42
+443
Представление функции класса DM с помощью медианы
Нет описания правки
01:31
-7
Геделева нумерация. Арифметизация доказательств
Нет описания правки
01:00
+3
Геделева нумерация. Арифметизация доказательств
Нет описания правки
00:59
-14
Геделева нумерация. Арифметизация доказательств
Нет описания правки
00:57
-28
Геделева нумерация. Арифметизация доказательств
Нет описания правки
00:55
+1234
Геделева нумерация. Арифметизация доказательств
Нет описания правки
00:43
+5902

13 января 2012

Представление функции класса DM с помощью медианы
Нет описания правки
23:58
+116
Геделева нумерация. Арифметизация доказательств
Нет описания правки
23:46
+2686
Арифметическое кодирование
‎Определение
23:16
-1
Арифметическое кодирование
‎Определение
23:15
+2
Примитивно рекурсивные функции
Нет описания правки
23:14
-25
Примитивно рекурсивные функции
Нет описания правки
22:50
+281
Примитивно рекурсивные функции
Нет описания правки
22:39
+14 998

50 более старых

Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Вклад/192.168.0.2»

Вклад участника

192.168.0.2

15 января 2012

Алгоритм поиска блокирующего потока в ациклической сети

Алгоритм поиска блокирующего потока в ациклической сети

Алгоритм поиска блокирующего потока в ациклической сети

Алгоритм поиска блокирующего потока в ациклической сети

Алгоритм поиска блокирующего потока в ациклической сети

Алгоритм поиска блокирующего потока в ациклической сети

Алгоритм поиска блокирующего потока в ациклической сети

Алгоритм поиска блокирующего потока в ациклической сети

Бинарное отношение

14 января 2012

Теоремы Карзанова о числе итераций алгоритма Диница в сети с целочисленными пропускными способностями

Циркуляция потока

Примеры неразрешимых задач: однозначность грамматики

Примеры неразрешимых задач: однозначность грамматики

Иммунные и простые множества

Двудольные графы и раскраска в 2 цвета

Лемма о дедукции, полнота исчисления высказываний

Двудольные графы и раскраска в 2 цвета

Двудольные графы и раскраска в 2 цвета

Двудольные графы и раскраска в 2 цвета

Тестовая страница

Матричный умножитель

Матричный умножитель

Теорема Райса-Шапиро

Исчисление предикатов

Решение задач по логике

Математическая логика

Исчисление предикатов

Алгоритм Форда-Фалкерсона для поиска максимального паросочетания

Алгоритм Форда-Фалкерсона для поиска максимального паросочетания

Двудольные графы и раскраска в 2 цвета

Задача коммивояжера, ДП по подмножествам

Представление функции класса DM с помощью медианы

Представление функции класса DM с помощью медианы

Представление функции класса DM с помощью медианы

Представление функции класса DM с помощью медианы

Представление функции класса DM с помощью медианы

Двудольные графы и раскраска в 2 цвета

Представление функции класса DM с помощью медианы

Геделева нумерация. Арифметизация доказательств

Геделева нумерация. Арифметизация доказательств

Геделева нумерация. Арифметизация доказательств

Геделева нумерация. Арифметизация доказательств

Геделева нумерация. Арифметизация доказательств

13 января 2012

Представление функции класса DM с помощью медианы

Геделева нумерация. Арифметизация доказательств

Арифметическое кодирование

Арифметическое кодирование

Примитивно рекурсивные функции

Примитивно рекурсивные функции

Примитивно рекурсивные функции

Навигация

Поиск