Sunday, May 19, 2013

Простые числа

Прочитал тут на Ленте.ru научпоп статью про то, что математики приблизились к решению проблемы простых чисел-близнецов ( bit.ly/17CXZiD ) Статья как статья, но одна фраза меня зацепила: "Самая большая пара чисел-близнецов из известных на настоящий момент была открыта в декабре 2011 года в рамках проекта распределенных вычислений PrimeGrid." Прочитал и задумался.

Надо сказать, что в ЦЕРНе, где я сейчас работаю, вычислительные проблемы стоят очень и очень остро — ускоритель выдает данных больше, чем можно математически обеспечить здесь м сейчас. ЦЕРН это отдельная песня, тут требования к компьютерам довольно специфические, и распарралелить их сложно, но существует огромное море задач, где программы относительно простые, но жадные до вычислительных ресурсов. Вспоминаю, как в декабре прошлого года мне довелось присутствовать на защите кандидатской диссертации, которая явно страдала от того, что у автора был только один мощьный компьютер. Точность расчета его программы в самых интересных точках была сопоставима с экспериментальными неточностями, хотя по словам соискателя моделирование велось две недели на очень шустрой машинке. Такие задачи есть не только в математике и физике, но и в астрономии и биологии.

И конечно обидно, что очень много ресурсов, которыми обладает человечество просто-напросто разбазаривается впустую. Вспоминается фраза, брошенная кем-то в твиттере: "В вашем смартфоне больше вычислительных мощностей, чем у всего НАСА в 1969 году. НАСА запустило человека на Луну. Мы запускаем птиц в свиней.", но я даже не про это, Angry Birds хотя бы нас развлекают, а большую часть времени наши компьютеры простаивают. Впрочем можно сделать так, чтобы этого не было.

Программисты из Беркли разработали BOINC (англ. Berkeley Open Infrastructure for Network Computing) — программный комплекс для быстрой организации распределенных вычислений. Ссылки:
а) http://boinc.berkeley.edu/
б) http://ru.wikipedia.org/wiki/BOINC

По вычислительной мощности эта система сопостовима с самыми современными суперкомпьютерами. Так сейчас BOINC дает 7.8Пфлопс (это 7800000000000000 операций с плавающей точкой в секунду), а например суперкомпьютер "Ломоносов", принадлежащий МГУ только 1.7Пфлопс. Поучаствовать в проекте может каждый, нужно лишь установить программу и выбрать, какие проекты вы хотите поддержать. Я вот сейчас помогаю в поиске простых чисел :-)

-------------------------------------------
ПАРА ХОРОШИХ КОММЕНТОВ К СТАТЬЕ НА Lenta.ru
-------------------------------------------

Мой преподаватель математики говорил, что теорией чисел начинают заниматься все математики в старости, когда больше нечем заняться, и приближается маразм. Потом он грустно вздыхал и говорил: "я тоже скоро начну" (Mr. Smith Herr Hase)

Меня всегда поражало вот что: некий Марков в начале прошлого века занимался какими-то непонятными штуковинами из теории вероятности. Много лет спустя распознавание речи, проверка орфографии, даже распознавание спама со специально неправильно написанными словами — всё построено на его цепях. Или некий Пирсон в 1901-м году придумал как повернуть многомерные данные, чтоб в первом измерении был наибольший разброс данных, во втором — второй по разбросу, и так далее. Некий Фишер допилил метод в 36-м году для классификации цветочков... Нынче проблема распознавания лиц, да и просто проблемы машинного обучения с чрезмерной размерностью входных данных используют эти методы. (Dmitry Soloviev)

No comments: