Математик Теренс Тао обогнал компьютер в решении проблемы несоответствия Эрдеша

Математик Теренс Тао решил так называемую проблему несоответствия Пала Эрдеша. Предыдущее ее решение, полученное в течение шести часов компьютером, представляет собой файл объемом 13 гигабайтов, что на три гигабайта больше, чем весь текстовый архив Wikipedia. Свои результаты исследований Тао опубликовал на сайте arXiv.org, а кратко с ними знакомит издание New Scientist.

Проблема несоответствия Эрдеша формулируется следующим образом. Пусть дана бесконечная последовательность, элементами которой выступают только числа -1 и +1. Из нее можно выделить подпоследовательность, содержащую конечное число таких элементов. Их сумма будет давать число, называемое несоответствием. Несоответствие определяет внутренние свойства подпоследовательности и исходной последовательности.

Эрдеш полагал, что у любой бесконечной последовательности, состоящей из -1 и +1, всегда найдется конечная подпоследовательность, несоответствие которой будет больше, чем любое выбранное число. Ученый не доказал свое утверждение, однако (как часто делал) в 1930 году предложил за него премию в 500 долларов.

В 2012 году математики российского происхождения, работающие в Ливерпульском университете в Великобритании, предложили компьютерный вариант доказательства утверждения Эрдеша. Они рассмотрели частный случай конечной подпоследовательности из 1161 членов, а компьютер за шесть часов работы выдал файл размером 13 гигабайтов, из которого следовало, что бесконечная последовательность всегда будет иметь несоответствие больше 2.

Доказательство Тао из Калифорнийского университета в Лос-Анджелесе заняло 20 страниц текста (вместе с титульным листом и списком литературы). Аргументы математика использовали специального вида гипотезу Эллиота-Халберстама (о распределении простых чисел в арифметической прогрессии), а также данные, полученные в проекте Polymath5 — добровольного объединения ученых, которые с помощью технологий типа Wikipedia и блогов совместно работали над доказательством проблемы несоответствия.

Австралийский и американский математик Теренс Тао родился в 1975 году в городе Аделаида. В 24 года он стал самым молодым профессором Калифорнийского университета в Лос-Анджелесе. В 2006 году на 25-м Международном конгрессе математиков в Мадриде Тао стал лауреатом Филдсовской премии, а в 2014 году — «Премии за прорыв в математике» Юрия Мильнера, Марка Цукерберга и Сергея Брина.

Источник: lenta.ru

Оставаться в курсе всех наших новостей?

<div style="border:1px; width:450px; border-color:#701c1f; background-color:#F5F5F5; font-family:Verdana, Arial, Helvetica, sans-serif"><div style="float:right; text-align:right"><a href="http://polit.pro"><img src="http://polit.pro/logo.png" height="15"/></a><br /><a href="<?if()?><?else?>/_nw/278/66224969.jpg<?endif?>" class="class1"><img src="/_nw/278/66224969.jpg" width="105" border="2"></a></div><b style="font-size:13px"><span style="color:#701c1f;">26 Сентября 2015</span> - Математик Теренс Тао обогнал компьютер в решении проблемы несоответствия Эрдеша</b><br /><span style="font-size:11px"><a href="/news/1-0-8" title="Ещё материалы >>>" style="text-decoration:none; color:#000000"><div id="nativeroll_video_cont" style="display:none;"></div>Математик Теренс Тао решил так называемую проблему несоответствия Пала Эрдеша. Предыдущее ее решение, полученное в течение шести часов компьютером, представляет собой файл объемом 13 гигабайтов, что на три гигабайта больше, чем весь текстовый архив Wikipedia. Свои результаты исследований Тао опубликовал на сайте arXiv.org, а кратко с ними знакомит издание New Scientist. <br /><br /> Проблема несоответствия Эрдеша формулируется следующим образом. Пусть дана бесконечная последовательность, элементами которой выступают только числа -1 и +1. Из нее можно выделить подпоследовательность, содержащую конечное число таких элементов. Их сумма будет давать число, называемое несоответствием. Несоответствие определяет внутренние свойства подпоследовательности и исходной последовательности. <br /><br /> Эрдеш полагал, что у любой бесконечной последовательности, состоящей из -1 и +1, всегда найдется конечная подпоследовательность, несоответствие которой будет больше, чем любое выбранное число. Ученый не доказал свое утверждение, однако (как часто делал) в 1930 году предложил за него премию в 500 долларов. <br /><br /> В 2012 году математики российского происхождения, работающие в Ливерпульском университете в Великобритании, предложили компьютерный вариант доказательства утверждения Эрдеша. Они рассмотрели частный случай конечной подпоследовательности из 1161 членов, а компьютер за шесть часов работы выдал файл размером 13 гигабайтов, из которого следовало, что бесконечная последовательность всегда будет иметь несоответствие больше 2. <br /><br /> Доказательство Тао из Калифорнийского университета в Лос-Анджелесе заняло 20 страниц текста (вместе с титульным листом и списком литературы). Аргументы математика использовали специального вида гипотезу Эллиота-Халберстама (о распределении простых чисел в арифметической прогрессии), а также данные, полученные в проекте Polymath5 — добровольного объединения ученых, которые с помощью технологий типа Wikipedia и блогов совместно работали над доказательством проблемы несоответствия. <br /><br /> Австралийский и американский математик Теренс Тао родился в 1975 году в городе Аделаида. В 24 года он стал самым молодым профессором Калифорнийского университета в Лос-Анджелесе. В 2006 году на 25-м Международном конгрессе математиков в Мадриде Тао стал лауреатом Филдсовской премии, а в 2014 году — «Премии за прорыв в математике» Юрия Мильнера, Марка Цукерберга и Сергея Брина. <br /><br /> Источник: lenta.ru
		<script>
			var container = document.getElementById('nativeroll_video_cont');

if (container) {
				var parent = container.parentElement;

if (parent) {
					const wrapper = document.createElement('div');
					wrapper.classList.add('js-teasers-wrapper');

parent.insertBefore(wrapper, container.nextSibling);
				}
			}
		</script>
	</a></span></div>