РусУкр

Топ-новости   за 24 часа

12.12.2017 г.
Путин опять наврал? Пентагон не заметил существенного вывода российских войск из Сирии
NASA прекратит отправлять астронавтов на российских кораблях
"Вот все и встало на свои места: он - бес!" В Сети показали пудовую "голову" Путина (ФОТО)
Евросоюз продлит санкции против РФ, - Reuters
"Фактор Саакашвили" начинает серьезно влиять на украинскую политику, - мнение
Новости дня: Украина отстает от от графика имплементации Соглашения об ассоциации с ЕС
Зачем Путин летал в Сирию?
Россияне строят новые линии по автоматизированному снаряжению авиабомб. Кто вероятный противник?, - Роман Доник
Трамп подписал оборонный бюджет: Украине выделяют $350 млн
Космос: Ученые разгадали тайну взрывов метеоритов в атмосфере Земли
Посылки по-новому: как теперь заказывать зарубежные товары
В Китае слон напал на туристический автобус (ВИДЕО)
Moody's спрогнозировало ВВП Украины на 2018-й год
В Тернопольской области мужчина украл трактор и почистил дороги от снега
Около Австралии нашли могилы жертв кораблекрушения 1629 года (ВИДЕО)
Господин Лавров не любит "молодые республики" Донбасса, - Цымбалюк
Группа школьников заставляла малолетнюю девочку платить им по 10 грн в день
Большинство украинцев хотят остаться на родине
Ужасная трагедия: ребенок случайно застрелил двухлетнюю сестру (ФОТО)
С голоду не умрут: Сколько будут получать нардепы в 2018 году (ИНФОГРАФИКА)
Медики рассказали о серьезной опасности от домашних животных
Как процветают торговые "ихтамнеты" в ОРЛО
Сколько денег Германия "влила" в Украину
Сегодня ночью в Киеве движение по Южному мосту будет ограничено
Вьетнамский певец снял музыкальный клип на слова известного украинского писателя (ВИДЕО)
Перуанская телеведущая разделась догола после выхода сборной на ЧМ-2018 (ФОТО, ВИДЕО)
Завораживающее зрелище: NASA показало вечерний Киев из космоса (ФОТО)
В штабе АТО сообщили о тяжелых боях на Донбассе
Определен самый доступный украинский автомобиль
Как львовские полицейские останавливали водителя, уснувшего за рулем
Неприятный сюрприз от Германии: "Северный поток-2" получил "зеленый свет"
Странная проблема: Кучма сделал заявление по обмену пленными
Уфологи: Пришельцы прорубили портал на Солнце
Рагули: соцсети жестко высмеяли украинских звезд, участвующих в М1 Music Awards (ФОТО)
Под Киевом семья ограбила АЗС
Макрон и Меркель продумывают новый удар по РФ, - СМИ
В Нацбанке попытались пояснить, что происходит с ценами в стране
​Украина запустила экспертизу строительства Керченского моста
В Японии выбрали лучший автомобиль 2017 года
Российский тяжеловес о Ломаченко: Это не боксер – это бульдозер
ИноСМИ о Порошенко: "Он играет со своим будущим"
Новости технологий: Как Павел Дуров заработал $35 млн на биткоинах
"Нужно строить планы насчет России после Путина", - The Guardian
Ситуация развивается динамично: Польский генерал рассказал, как для России закончится война на Донбассе
Сенаторы призывают "секс-маньяка" Трампа подать в отставку
Ядерная угроза, исходящая из оккупированного Крыма: В США рассказали о российском шантаже
РосСМИ: РФ могут исключить из числа участников ЧМ-2018
Теперь развал России ускорен в разы, - российский политик
В Stratfor рассказали о неожиданных планах Порошенко насчет Саакашвили
Золото теряет в цене
IPhone: ТОП-5 бесплатных приложений, которые упростят жизнь каждому владельцу «яблочного» смартфона
Как Трамп собирался "порвать в клочья" санкции против России, - блогер
Невероятная мощь: В сети показали зрелищную подготовку украинских бойцов
Цены на нефть подскочили до максимума 2015 года
Украинские больницы закупают лекарства от рака в 4 раза дороже, чем международные организации (ИНФОГРАФИКА)
Скандал под Одессой: Документы кандидата на пост главы Таировской ОТГ рассмотрят повторно
Почему Украина - не Польша? Экономист рассказал, что не так с нашим бюджетом
National Geographic назвал лучшие места для путешествий
Раскрыты подробности новой части игры Battlefield
"Кое-кому в МП очень печет этот факт": у Филарета заявили об историческом событии
Все новости »

Ученые рассказали про 200 терабайт информации для доказательства математической задачи

Новости технологий, 27.05.2016
 
Печать Отправить на почту

 

 

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

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

В использованном учеными подходе проблема является переформулированной теоремой Шура для площадей, доказательство которой предполагает два предписания. Первое из них включает нахождение ответа на вопрос, может ли множество натуральных чисел (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 в их решении.


По материалам Lenta.ru

В данный момент Вы читаете новость "Ученые рассказали про 200 терабайт информации для доказательства математической задачи". Вас также, возможно, заинтересуют другие последние новости Украины и мира на eizvestia.com



Аналитика


(Не) дадим стране угля 11 декабря, 08:29

Новости технологий

Комплексы Patriot оказались бесполезны против ракет советского времени (5346)

«Гром-2»: в Украине разрабатывают новый комплекс оперативно-тактического назначения (5311)

Новости технологий: Илон Маск спровоцировал всемирный дефицит батареек (4331)

В Китае создали плащ-невидимку (ВИДЕО) (2905)

Ученые нашли белый НЛО (2513)

Космос: NASA намерено сделать важное заявление о новом космическом открытии (2346)

Стало известно, когда программисты останутся без работы (1876)

США спустили на воду эсминец будущего (ВИДЕО) (1733)

Ждем с нетерпением: ОТРК “Гром” в следующем году идёт “на полигон”, - Злой одессит (1730)

В Германии запустили новый скоростной поезд (ВИДЕО) (1717)

Завораживающее зрелище: NASA показало вечерний Киев из космоса (ФОТО) (1685)

Космос: В Австралии сфотографировали полет НЛО (ФОТО) (1668)

Истребитель F-35 начал разваливаться в полете (1553)

США прекратят разработку рельсотрона (1418)

Астрономы нашли планету с лучшими условиями для жизни (1408)

Рейтинг новостей

РФ бросила в бой все силы, потому что весной ее ждет "сталинград", - Олег Пономарь (4434)

Сегодня в Украине отмечают день святого Андрея: история и традиции праздника (3911)

Киевляне оригинально проучили героя парковки(ФОТО) (3475)

"Пощечина Президенту и Генпрокурору": как политики отреагировали на решение суда отпустить Саакашвили (ВИДЕО) (3363)

Теперь развал России ускорен в разы, - российский политик (3246)

У Польщі зробили резонансну заяву про Смоленську катастрофу (2877)

Офицер США назвал главных врагов Украины (ВИДЕО) (2755)

Ситуация развивается динамично: Польский генерал рассказал, как для России закончится война на Донбассе (2412)

Перуанская телеведущая разделась догола после выхода сборной на ЧМ-2018 (ФОТО, ВИДЕО) (2368)

Из Моспино уже два дня приходит тревожная информация, - Денис Казанский (2355)

Під Харковом масове отруєння: 22 вагітні опинилися у лікарні (2345)

"Престарелая пособница АТО": Как в России затравили народную артистку Украины (2221)

"Мы, хозяева мировых ресурсов, в г…не ковыряемся": у России нет будущего, - Геннадий Гудков (2196)

Новая опасность для Украины: Россия открыла еще один фронт, - мнение (2168)

Курс биткоина 12 декабря идет вверх (2016)



Последние новости «I» в соцсетях

  

Новости партнеров

Загрузка...
Загрузка...
bigmir)net TOP 100

Экономические известия

Ежедневная деловая газета

Украинский бизнес портал

Электронный деловой журнал

Статус

Еженедельный деловой журнал