Подкаст http://ruby.rpod.ru/276289.html Новости
- Libskypekit и Skypekit — интерфейс C и Ruby для Skype.
- Gem для работы с таблицами Google
- Поддержка типов данных PostgreSQL в Rails 4
- Дорожная карта Ruby 2.0
- Книга ублюдков Рубина
- Постоянное развертывание рубиновых самоцветов
- Рубото 0.6.0
- Механизировать 2.5
- Gem для асинхронной отправки почты с устройства — разработка-асинхронный
- Глава книги Рубин под микроскопом
- Последняя попытка добраться DevConf
NP-полнота
- Для ознакомления с основными определениями и теоремами рекомендуется прочитать книги: М.
Гэри, Д.
Джонсон, «Компьютеры и труднорешаемые проблемы».
- Случайный_k-SAT
- [ВВ1986] Л.
Г.
Валиант, В.
В.
Вазирани, NP — это так же просто, как найти уникальные решения (показано, что поиск решений случаев, имеющих единственное решение, так же сложен, как и SAT, при рандомизированной редукции)
- [Var1982] М.
- [Imm1986] Н.
Иммерман, Реляционные запросы, вычисляемые за полиномиальное время ([Imm1982] и [Var1982] дают Иммерману-Варди, что FO(LFP) = P)
- Wiki, содержащая основную информацию о проверке и бумаге.
- Видимо первое или одно из первых упоминаний о бумаге в Интернете
- Первый комментарий проф.
Липтиона
- Ссылки на остальное есть в вики, вот еще один важный комментарий ,
где Липтион публикует письмо Иммермана о том, что Деолаликар необоснованно использует только мондаические фиксированные точки и
указывает, что он опирается на это свойство в своем доказательстве, но указывает, что тогда он не получает всех P. Однако
Оказывается, Деолаликар неправильно применяет теорему Иммермана-Варди.
Обнаружена ошибка!
- Прочее: упомянутый «кирпичик»: Т.
Кормен, К.
Лейзерсон, Р.
Ривест, «Алгоритмы: построение и анализ»
Текущий
- Наш конкурс завершен, подводятся итоги
- Иван Евтухович ушел на работу В Экспресс42 .
Вместе с данным постом часто просматривают:
-
Symfony, У Плагинов Новый Дом!
19 Oct, 24 -
Тостер. Коллективное Редактирование Вопросов
19 Oct, 24 -
Тот, Кто Хочет Выжить / Стивен Кинг
19 Oct, 24
