Вклад участника
12 декабря 2016
8 апреля 2016
Классы NP, coNP, Σ₁, Π₁
Свойства: ехало полиномиальное время через полиномиальное время, видит полиномиальное время: в полиномиальное время полиномиальное
+180
Классы NP, coNP, Σ₁, Π₁
Связь P и NP: заменил интервики про гамильтонов цикл
+62
Классы NP, coNP, Σ₁, Π₁
Связь P и NP: Заменил внешнюю ссылку на примечание
+42
Классы NP, coNP, Σ₁, Π₁
Язык гамильтоновых графов
+86
Классы NP, coNP, Σ₁, Π₁
Язык гамильтоновых графов: добавил пояснение про время работы
+312
Классы NP, coNP, Σ₁, Π₁
Добавил категорий
+192
7 апреля 2016
31 марта 2016
Классы NP, coNP, Σ₁, Π₁
Связь P и NP
м+55
Классы NP, coNP, Σ₁, Π₁
Примеры языков из NP: Добавил простой пример, удалил пример про клики
-136
Классы NP, coNP, Σ₁, Π₁
Связь P и NP
м-1
Классы NP, coNP, Σ₁, Π₁
Связь P и NP: Заменил ссылки на примечания
+181
Классы NP, coNP, Σ₁, Π₁
Примеры языков из coNP: Заменил первый пример на язык негамильтоновых графов
-544
30 марта 2016
Классы NP, coNP, Σ₁, Π₁
Связь P и NP: Переоформил примеры похожих задач из P и NPC в табличку и добавил ссылки
+146
Классы NP, coNP, Σ₁, Π₁
Добавил категорию «Раскраски графов»
+56
Классы NP, coNP, Σ₁, Π₁
Примеры языков из NP: добавил ссылки на основные статьи для примеров, добавил больше теха в псевдокод
+125
Классы NP, coNP, Σ₁, Π₁
Проблема раскраски вершин графа в k цветов: переформулировал в терминах принадлежности языку, пофиксил время работы
+323
25 марта 2016
Классы NP, coNP, Σ₁, Π₁
Свойства: Пофиксил отступы у списка
+207
Классы NP, coNP, Σ₁, Π₁
Определения, связь Σ₁ и NP: Исправил знаки неравенств и обернул псевдокод в ТеХ
+49
24 марта 2016
Классы NP, coNP, Σ₁, Π₁
Проблема раскраски вершин графа в k цветов: оформил псевдокод в техе
+24
Классы NP, coNP, Σ₁, Π₁
Свойства: оформил псевдокод в техе
+273
Классы NP, coNP, Σ₁, Π₁
Примеры языков из coNP: переоформил примеры, доказал первый
+723
Классы NP, coNP, Σ₁, Π₁
Примеры языков из NP: переформатировал примеры
+420
Классы NP, coNP, Σ₁, Π₁
Определение: добавил определение Π₁ и переименовал раздел
+1178
22 марта 2016
Классы NP, coNP, Σ₁, Π₁
Определение: добавил интервики на недетерминированные вычисления, обернул NP в ТеХ
+84
Классы NP, coNP, Σ₁, Π₁
Свойства: заменил «;» на «.» в перечислении свойств
Классы NP, coNP, Σ₁, Π₁
Определение
-4
Классы NP, coNP, Σ₁, Π₁
Определение: вернул псевдокод на место
-3
Классы NP, coNP, Σ₁, Π₁
Определение: изменил маркированный список на стрелочки
+42
Классы NP, coNP, Σ₁, Π₁
Переименовал co-NP в coNP
-3
Классы NP, coNP, Σ₁, Π₁
Примеры языков из NP
м+84
Классы NP, coNP, Σ₁, Π₁
Определение: return жирным
+6
17 марта 2016
Классы NP, coNP, Σ₁, Π₁
Примеры языков из co-NP
+33
Классы NP, coNP, Σ₁, Π₁
Примеры языков из co-NP: доказательство TAUT
+200
Классы NP, coNP, Σ₁, Π₁
Примеры языков из co-NP: добавил TAUT
+121
16 марта 2016
28 февраля 2016
25 февраля 2016
8 декабря 2015
20 июня 2015
Участник:Iloskutov/Матан 4сем
Интегральные неравенства Гельдера и Минковского
+902
Участник:Iloskutov/Матан 4сем
Теорема о вложении пространств L^p
м+11
Участник:Iloskutov/Матан 4сем
Теорема о вложении пространств L^p: пофиксил божественные формулы Данияра
-26
Участник:Iloskutov/Матан 4сем
Существенный супремум
+227
Участник:Iloskutov/Матан 4сем
Теорема Радона--Никодима. Доказательство единственности
+615
Участник:Iloskutov/Матан 4сем
Теоремы
+2952
Участник:Iloskutov/Матан 4сем
Поверхностный интеграл первого рода
+106
Участник:Iloskutov/Матан 4сем
Задание стороны поверхности с помощью касательных реперов
+651
Участник:Iloskutov/Матан 4сем
Теоремы
+182
