Миллион долларов за решение
Математика, как известно, "царица наук". Те, кто ей занимается всерьез, - люди особые - они живут в мире формул и цифр. В познании мира математики есть и практический смысл: за решение ряда задач институт Клэя готов дать миллион долларов…
Гипотеза Римана
Все мы помним ещё со школы ряд таких чисел, которые можно поделить только на само себя и на один. Они называются простыми (1, 2, 3, 5, 7, 11, 13, 17...). Самое большое из известных на сегодня простых чисел было найдено в августе 2008 года и состоит из 12 978 189 цифр. Для математиков эти числа очень важны, но как они распределяются по числовому ряду до сих пор до конца не ясно.
Бернхард Риман
В 1859 году немецкий математик Бернхард Риман предложил свой способ их поиска и проверки, найдя метод, по которому можно определить максимальное количество простых чисел, не превышающих определенное заданное число. Математики подвергли проверке этот метод уже на полутора триллионах простых чисел, но никто не может доказать, что и дальше проверка будет успешной.
Это не простые «игры разума». Гипотеза Римана широко используется при расчете систем безопасности передачи данных, поэтому ее доказательство имеет большой практический смысл.
Уравнения Навье-Стокса
Уравнения Навье-Стокса являются основой для расчетов в геофизической гидродинамике, в том числе для описания движения течений в мантии Земли. Используются эти уравнения и в аэродинамике.
Суть их в том, что любое движение сопровождается изменениями в среде, завихрениями и потоками. Например, если лодка плывет по озеру, то от её движения расходятся волны, за самолетом образуются турбулентные потоки. Эти процессы, если упрощать, и описывают созданные ещё в первой трети XIX века уравнения Навье-Стокса.
Джордж Габриель Стокс и Клод-Луи Навье
Уравнения есть, но решить их по-прежнему не могут. Более того, неизвестно, существуют ли их решения. Математики, физики и конструкторы успешно пользуются этими уравнениями, подставляя в них уже известные значения скорости, давления, плотности, времени и так далее.
Если у кого-нибудь получится использовать эти уравнения в обратном направлении, то есть вычисляя из равенства параметры, либо докажет, что метода решения нет, тогда этот «кто-нибудь» станет долларовым миллионером.
Гипотеза Ходжа
В 1941 году профессор Кембриджа Вильям Ходж предположил, что любое геометрическое тело можно исследовать как алгебраическое уравнение и составить его математическую модель.
Если подойти с другой стороны к описанию этой гипотезы, то можно сказать, что исследовать любой объект удобнее тогда, когда его можно разложить на составные части, а уже эти части исследовать. Однако здесь мы сталкиваемся с проблемой: исследуя отдельно взятый камень, мы не можем сказать фактически ничего о крепости, которая построена из таких камней, о том, сколько в ней помещений, и какой они формы. Кроме того, при составлении изначального объекта из составных частей (на которые мы его разобрали) можно обнаружить лишние части, либо напротив - недосчитаться.
Достижение Ходжа в том, что он описал такие условия, при которых не будут возникать «лишние» части, и не будут теряться необходимые. И все это при помощи алгебраических вычислений. Ни доказать его предположение, ни опровергнуть математики не могут уже 70 лет. Если это получится у вас - станете миллионером.
Гипотеза Берча и Свинертон-Дайера
Уравнения вида xn + yn + zn + … = tn были известны ещё математикам древности. Решение самого простого из них («египетский треугольник» - 32 + 42 = 52) было известно ещё в Вавилоне. Его полностью исследовал в III веке нашей эры александрийский математик Диофант, на полях «Арифметики» которого Пьер Ферма сформулировал свою знаменитую теорему.
В докомпьютерную эпоху самое больше решение этого уравнения было предложено в 1769 году Леонардом Эйлером (2 682 4404 + 15 365 6394 + 18 796 7604 = 20 615 6734).
Общего, универсального способа вычисления для таких уравнений нет, но известно, что у каждого из них может быть либо конечное, либо бесконечное число решений.
Питер Свиннертон-Дайер
В 1960 году математикам Берчу и Свинертон-Дайеру, экспериментировавшим на компьютере с некоторыми известными кривыми, удалось создать метод, сводящий каждое такое уравнение к более простому, называемому дзета-функцией. По их предположению, если эта функция в точке 1 будет равна 0, то количество решений искомого уравнения будет бесконечным. Математики предположили, что это свойство будет сохраняться для любых кривых, но ни доказать, ни опровергнуть это предположение пока никто не смог.
Чтобы получить заветный миллион, нужно найти пример, при котором предположение математиков не сработает.
Проблема Кука-Левина
Проблема решения-проверки Кука-Левина заключается в том, что на проверку любого решения уходит меньше времени, чем на решение самой задачи. Если наглядно: мы знаем, что где-то на дне океана есть клад, но не знаем, где именно. Его поиски могут проходить поэтому бесконечно долго. Если же мы знаем, что клад находится в таком-то квадрате, определенном заданными координатами, то поиск клада существенно упростится.
Стивен Артур Кук и Леонид Анатольевич Левин
И так всегда. Скорее всего. Пока что никому из математиков и простых смертных не удалось найти такую задачу, решение которой заняло бы меньше времени, чем проверка правильности её решения. Если вдруг у вас получится найти такую - срочно пишите в институт Клэя. Если комиссия математиков одобрит - миллион долларов у вас в кармане.
Проблема Кука-Левина была сформулирована ещё в 1971 году, но до сих пор никем не решена. Её решение может стать настоящей революцией в криптографии и системах шифрования, поскольку появятся «идеальные шифры», взлом которых будет фактически невозможен.