24 мая 2012
Ruby NoName Podcast S04E10
0
Описание
Новости Libskypekit and Skypekit – C and Ruby interface for Skype Gem для работы с Google spreadsheet Поддержка PostgreSQL datatypes в Rails 4 Ruby 2.0 roadmap The Bastards Book of Ruby Continuos deployment for ruby gems Ruboto 0.6.0 Mechanize 2.5 Гем для асинхронной отсылки почты из devise - devise-async Глава из книги Ruby Under a Microscope Последняя попытка попасть на devConf Обсуждение NP-полнота Для ознакомления с базовыми определениями и теоремами рекомендуется к прочтению книга: М. Гэри, Д. Джонсон, «Вычислительные машины и труднорешаемые задачи». Random_k-SAT [VV1986] L. G. Valiant, V. V. Vazirani, NP is as easy as detecting unique solutions (показано, что поиск solutions to instances having a unique solutions, are as hard as SAT, under randomized reduction) [Var1982] M. Vardi, Complexity of Relational Query Languages [Imm1986] N. Immerman, Relational Queries Computable in Polynomial Time ([Imm1982] и [Var1982] дают th. Immerman-Vardi, что FO(LFP) = P) Wiki, где собраны основные данные о проверке и paper По всей видимости первое или одно из первых упоминаний в интернете о paper Первый комментарий проф. Liption Ссылки на остальные есть в wiki, вот еще важный комментарий, где Liption публикует письмо Immerman, что Deolalikar безосновательно использует только mondaic fixed points и указывает, что он полагается на это свойство в своем доказательстве, но указывает, что тогда он получает не все P. Тем самым получается, что Deolalikar неправильно применяет теорему Immermana-Vardi. Ошибка найдена! Прочее: упоминал «кирпич»: Т. Кормен, Ч. Лейзерсон, Р. Ривест, «Алгоритмы: построение и анализ» Текущее Наш конкурс закончился, результаты подводятся Иван Евтухович ушел работать в Express42.
Плейлист
16 октября 2016
2
15 октября 2016
1
30 сентября 2016
5
15 сентября 2016
5
9 марта 2016
1
3 января 2016
1
13 декабря 2015
0
6 декабря 2015
0
21 октября 2015
0
2 июня 2015
0
31 декабря 2014
0
11 декабря 2014
0
16 ноября 2014
0
27 октября 2014
2
9 октября 2014
5
24 сентября 2014
0
13 сентября 2014
0
25 августа 2014
0
5 июля 2014
0
27 июня 2014
0
3 июня 2014
0
11 мая 2014
0
23 апреля 2014
0
7 апреля 2014
0
29 марта 2014
0
25 марта 2014
0
14 марта 2014
0
3 марта 2014
0
24 февраля 2014
0
3 февраля 2014
0
Item 1 of 3