Участник:Mikhail Dvorkin
Перейти к навигации
Перейти к поиску
Участник из России
Участник из
Санкт-Петербурга
Санкт-Петербурга
| Языки участников |
|---|
| Уровни владения языками |
- Михаил Эдуардович Дворкин
- www.dvorkin.me
Не забыть сделать
[править | править код]- Теория вычислительной сложности
- Задача проверки изоморфизма графов
- Задача SATCNF
- Задача k-SAT
- Задача 2-SAT
- Теорема Кука — переписать с нуля
- Задача распознавания
- Планарный граф
- Физико-техническая школа (Санкт-Петербург) — викифицировать и дополнить.
- Сахаровские чтения (!)
- Дизъюнкция, Конъюнкция, Отрицание
- Нормальная форма (логика)
- Конъюнктивная нормальная форма, Дизъюнктивная нормальная форма
- Булева формула — улучшить, совместить с пропозициональной формулой
- Формальная грамматика и иже с ними
- Аксиомы отделимости — дополнить
- Консенсусное число и вообще все параллельное программирование
- Полином Жегалкина
- Гетерограмма, изограмма, панграмма с примерами
- Дворкин — написать об этимологии фамилии
- Завалинка (игра) — интеллектуальная игра
- Категория:Вымышленные существа — навести там порядок
Цели и интересы
[править | править код]- Максимально расширить Список NP-полных задач
- Рассказать в википедии о теории вычислительной сложности
- Улучшить существующие статьи по теории графов
- Улучшить существующие статьи по математической логике