Портал | Содержание | О нас | Пишите | Новости | Голосование | Топ-лист | Дискуссия Rambler's Top100

TopList Яндекс цитирования

НОВОСТИ
"РУССКОГО ПЕРЕПЛЕТА"

ЛИТЕРАТУРА

Новости русской культуры

Афиша

К читателю

Содержание

Публицистика

"Курск"

Кавказ

Балканы

Проза

Поэзия

Драматургия

Искания и размышления

Критика

Сомнения и споры

Новые книги

У нас в гостях

Издательство

Книжная лавка

Журнальный зал

ОБОЗРЕНИЯ

"Классики и современники"

"Слово о..."

"Тайная история творений"

"Книга писем"

"Кошачий ящик"

"Золотые прииски"

"Сердитые стрелы"

КУЛЬТУРА

Афиша

Новые передвжиники

Фотогалерея

Музыка

"Неизвестные" музеи

Риторика

Русские храмы и монастыри

Видеоархив

ФИЛОСОФИЯ

Современная русская мысль

Искания и размышления

ИСТОРИЯ

История России

История в МГУ

Слово о полку Игореве

Хронология и парахронология

Астрономия и Хронология

Альмагест

Запечатленная Россия

Сталиниана

ФОРУМЫ

Дискуссионный клуб

Научный форум

Форум "Русская идея"

Форум "Курск"

Исторический форум

Детский форум

КЛУБЫ

Пятничные вечера

Клуб любителей творчества Достоевского

Клуб любителей творчества Гайто Газданова

Энциклопедия Андрея Платонова

Мастерская перевода

КОНКУРСЫ

За вклад в русскую культуру публикациями в Интернете

Литературный конкурс

Читательский конкурс

Илья-Премия

ДЕТЯМ

Электронные пампасы

Фантастика

Форум

АРХИВ

Текущий

2003

2002

2001

2000

1999

Фотоархив

Все фотоматериалы


Новости
"Русский переплет" зарегистрирован как СМИ. Свидетельство о регистрации в Министерстве печати РФ: Эл. #77-4362 от
5 февраля 2001 года. При полном или частичном использовании
материалов ссылка на www.pereplet.ru обязательна.

Тип запроса: "И" "Или"

27.05.2016
18:11

Искусственный сон помог спасти память

27.05.2016
18:09

Найдена могила Аристотеля

27.05.2016
18:06

Физики получили «крупного» кота Шредингера

27.05.2016
18:04

ДНК научились превращать в детали для роботов

27.05.2016
18:02

Ученые разгадали тайну кишечных палочек

27.05.2016
17:59

Объявлено о самом объемном доказательстве в математике

    Ученые из США и Великобритании заявили о крупнейшем по объему занятой компьютерной памяти доказательстве в истории математики. Препринт с исследованием опубликован на сайте arXiv.org, кратко о нем сообщает издание Nature.

    Для решения булевой проблемы пифагоровых троек специалисты использовали суперкомпьютер Stampede Техасского университета в Остине (США). Его расчеты заняли 200 терабайт памяти, что равно всей оцифрованной крупнейшей библиотеке мира (Библиотека Конгресса).

    В использованном учеными подходе проблема является переформулированной теоремой Шура для площадей, доказательство которой предполагает два предписания. Первое из них включает нахождение ответа на вопрос, может ли множество натуральных чисел (1, 2, 3 и так далее) быть разделено на две части таким образом, чтобы ни одна из них не содержала бы пифагоровых троек (то есть чисел a, b и c таких, что a2 + b2 = c2). Второе предписание говорит о необходимости разделения чисел при помощи булевых переменных.

    Полученное учеными решение булевой проблемы пифагоровых троек заключается в следующем: натуральные числа из замкнутого интервала [1;7824] можно разбить на две части так, что они не содержат пифагоровой тройки. Для натуральных чисел из замкнутого интервала [1;7825] это невозможно.

    Ученым удалось при помощи идей симметрии и методов теории чисел оптимизировать использованный для решения проблемы алгоритм. Это позволило снизить количество возможностей, перебираемых Stampede с более чем 102300 способов до менее 1012. Суперкомпьютер с 800 ядрами работал в течение двух суток.

    Математическая задача была решена путем прямого перебора имеющихся возможностей. Кроме полного решения, ученые представили его краткий вариант, который занял 68 гигабайт памяти. Для его проверки обычному компьютеру потребовалось бы около 30 тысяч часов непрерывной работы. При этом человек, скорее всего, в полной мере самостоятельно не смог бы воспроизвести использованный Stampede алгоритм. Доказательное вычисление было проверено на двух алгоритмах, позволяющих решить проблему.

    Решенная учеными задача относится к дискретной математике. За нее в 1980 году математик Рональд Грэхем из Калифорнийского университета в Сан-Диего (США) предложил символические сто долларов.

    Рекорд доказательных вычислений принадлежал британским математикам российского происхождения, которые в 2012 году проверили проблему несоответствия Эрдеша. Это заняло 13 гигабайт компьютерной памяти. Однако уже в 2015 году американский математик китайского происхождения Теренс Тао из Калифорнийского университета в Лос-Анджелесе представил аналитическое доказательство гипотезы Эрдеша.

    Как правило, при аналитическом доказательстве ученые открывают новые математические структуры и закономерности, тогда как при вычислительном доказательстве это невозможно. В частности, ученые не могут объяснить роль числа 7824 в их решении.

    По информации https://lenta.ru/news/2016/05/27/triple/

    Обозрение "Terra & Comp".

Выскажите свое мнение на:

27.05.2016
17:56

Трансгенные мыши победили белок-«зомби»

27.05.2016
17:49

Самым эффективным охотником среди животных назвали морскую свинью

27.05.2016
10:39

Майский номер независимого литературно-художественного журнала ПОЛЯНА

26.05.2016
18:01

Благодаря повсеместному распространению интернета 500 миллионов человек смогут преодолеть черту бедности, а мировой ВВП увеличится более чем на 6 триллионов долларов США

26.05.2016
17:30

В Тихом океане нашли самую большую губку в мире

26.05.2016
17:27

Ученые предупредили об опасности радиоактивного заражения США

26.05.2016
17:24

У карфагенян нашли первобытные европейские корни

26.05.2016
17:21

Испарение воды на самом мощном разере в мире впервые сняли на видео

26.05.2016
17:13

Ученые опровергли миф о миграции миллионеров в США

26.05.2016
17:06

Объяснен механизм заражения ВИЧ

26.05.2016
17:00

Климатологи сообщили о «просветлении» атмосферы Земли

26.05.2016
16:59

В глубинах французской пещеры обнаружили Стоунхендж неандертальцев

26.05.2016
16:57

В Китае представили избегающий пробки автобус-тоннель

26.05.2016
16:54

Палеобиологи обнаружили древних амеб-вампиров

<< 671|672|673|674|675|676|677|678|679|680 >>

НАУКА

Новости

Научный форум

Почему молчит Вселенная?

Парниковая катастрофа

Хронология и парахронология

История и астрономия

Альмагест

Наука и культура

2000-2002
Научно-популярный журнал Урания в русском переплете
(1999-200)

Космические новости

Энциклопедия космонавтика

Энциклопедия "Естествознание"

Журнальный зал

Физматлит

News of Russian Science and Technology

Научные семинары

НАУЧНЫЕ ОБОЗРЕНИЯ

"Физические явления на небесах"

"TERRA & Comp"

"Неизбежность странного микромира"

"Биология и жизнь"

ОБРАЗОВАНИЕ

Открытое письмо министру образования

Антиреформа

Соросовский образовательный журнал

Биология

Науки о Земле

Математика и Механика

Технология

Физика

Химия

Русская литература

Научная лаборатория школьников

КОНКУРСЫ

Лучшие молодые
ученые России

Для молодых биологов

БИБЛИОТЕКИ

Библиотека Хроноса

Научпоп

РАДИО

Читают и поют авторы РП

ОТДЫХ

Музеи

Игры

Песни русского застолья

Народное

Смешное

О НАС

Редколлегия

Авторам

О журнале

Как читать журнал

Пишут о нас

Тираж

РЕСУРСЫ

Поиск

Проекты

Посещаемость

Журналы

Русские писатели и поэты

Избранное

Библиотеки

Фотоархив

ИНТЕРНЕТ

Топ-лист "Русского переплета"

Баннерная сеть

Наши баннеры

НОВОСТИ

Все

Новости русской культуры

Новости науки

Космические новости

Афиша

The best of Russian Science and Technology

 

 


Если Вы хотите стать нашим корреспондентом напишите lipunov@sai.msu.ru

 

Редколлегия | О журнале | Авторам | Архив | Ссылки | Статистика | Дискуссия

Галерея "Новые Передвижники"
Пишите

© 1999, 2000 "Русский переплет"
Дизайн - Алексей Комаров

Русский Переплет
Rambler's Top100 TopList