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

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

AndrewD

4 июня 2012

3 июня 2012

2 июня 2012

Арифметизация булевых формул с кванторами
Нет описания правки
23:36
+618

1 июня 2012

27 апреля 2012

13 апреля 2012

9 апреля 2012

Теорема Бермана — Форчуна
Новая страница: «{{Лемма |statement=<tex>L \in coNPC \Leftrightarrow \overline L \in NPC</tex> |proof= }} {{Определение |definition= <tex>SPARSE = \{L | \exists</...»
20:42

23 января 2012

21 января 2012

Алгоритм Эрли, доказательство оценки O(n^2) для однозначной грамматики
Нет описания правки
18:43
+172

20 января 2012

Алгоритм Эрли, доказательство оценки O(n^2) для однозначной грамматики
Нет описания правки
20:16
+52

19 января 2012

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

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

Навигация