"Русский переплет" зарегистрирован как СМИ.
Свидетельство о регистрации в Министерстве печати РФ: Эл. #77-4362 от
5 февраля 2001 года. При полном или частичном использовании
материалов ссылка на www.pereplet.ru обязательна.
|
|
29.05.2016
19:42 |
Названо число похожих на Землю планет в Млечном Пути
Физики из Корейского института перспективных исследований (город Сеул, Республика Корея) назвали число похожих на Землю экзопланет в Млечном Пути. Посвященный . . . |
|
29.05.2016
19:40 |
Физики превзошли стандартный квантовый предел
Физикам из Германии и Италии при помощи сжатого вакуума удалось обойти стандартный квантовый предел — ограничение, налагаемое в квантовой механике на процесс . . . |
|
29.05.2016
19:38 |
Астронавты НАСА добавили МКС надувную комнату 
Астронавты НАСА развернули на Международной космической станции (МКС) экспериментальный надувной модуль Bigelow Expandable Activity Module (BEAM), предназначенный для проживания . . . |
|
29.05.2016
19:35 |
Названы самые подходящие для жизни звезды
Астрономы из США назвали группу звезд, которая больше остальных подходит на наличие в их окрестностях потенциально обитаемых экзопланет. Посвященный этому . . . |
|
29.05.2016
13:52 |
Компания Huawei вновь стала лидером по количеству патентных заявок
Компания Huawei в 2015 году, уже второй год подряд, занимает лидирующую позицию по количеству поданных патентных заявок среди международных компаний. В 2015 году . . . |
|
28.05.2016
15:18 |
На комете Чурюмова-Герасименко нашли аминокислоту
Ученые миссии Rosetta сообщили о прямом обнаружении аминокислоты глицин в коме кометы Чурюмова-Герасименко (облаке из газа и пыли вокруг ядра небесного тела) . . . |
|
28.05.2016
15:15 |
Определены ритуальные жертвы в древней столице ацтеков
Археологи из США и Мексики определили наиболее вероятное происхождение человеческих жертв на пирамиде Уицилопочтли — культовом сооружении древней империи . . . |
|
28.05.2016
15:11 |
Показано видео гигантской корональной дыры на Солнце 
НАСА показало на видео гигантскую корональную дыру на Солнце. Снимки для анимации были сделаны 17-19 мая 2016 года космической станцией SDO (Solar Dynamics Observatory) в верхнем . . . |
|
27.05.2016
18:29 |
Космонавты не смогли надуть разработанный для НАСА дом
Попытка установки первого надувного модуля, предназначенного для увеличения жилого пространства Международной космической станции, закончилась неудачей . . . |
|
27.05.2016
18:27 |
В Китае откроют стеклянный мост над 300-метровой пропастью 
Мост со стеклянным полом построили в юго-восточной китайской провинции Хунань. Сооружение, которое готово на 99 процентов, расположено на 300-метровой высоте. Мост . . . |
|
27.05.2016
18:22 |
Ученые открыли «металлических» змей 
Группа зоологов из Гарвардского университета открыла новый вид удавов, названный серебряным боа или Chilabothrus argentum. Статья о находке опубликована в журнале Brevoria, . . . |
|
27.05.2016
18:17 |
Ученые нашли виновников плохого запаха грязного белья
Ученые попытались определить, какие именно химические соединения стоят за неприятным запахом грязного белья. О своих открытиях они рассказали в журнале Journal of . . . |
|
27.05.2016
18:14 |
На Марсе началось глобальное потепление
Геофизики из США обнаружили на Марсе свидетельства существования ледникового периода. В настоящее время планета, по мнению ученых, выходит из него и переходит в . . . |
|
27.05.2016
18:11 |
Искусственный сон помог спасти память
Нейробиологи из Института исследования мозга выяснили, какие нервные клетки мозга участвуют в сохранении воспоминаний, пока человек спит. Это позволило ученым . . . |
|
27.05.2016
18:09 |
Найдена могила Аристотеля 
Греческий археолог Константинос Сисманидис на конференции в Салониках сообщил об обнаружении предполагаемой могилы Аристотеля. Об этом сообщает издание The New York . . . |
|
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/
|
|
27.05.2016
17:56 |
Трансгенные мыши победили белок-«зомби»
Нейробиологи под руководством Дэвида Харриса (David Harris) из Бостонского университета вывели мышей, чьи нейроны оказались устойчивыми к прионным инфекциям. Кроме . . . |
