В математике и логике понятие «самый сложный пример» может относиться к разным категориям: от нерешенных теоретических проблем до вычислительно емких задач. Ниже приведены наиболее выдающиеся примеры в зависимости от контекста: Задачи тысячелетия Это семь математических проблем, за решение каждой из которых Математический институт Клэя назначил награду в 1 миллион долларов. Они считаются самыми сложными в классической математике.
- Гипотеза Римана. Касается распределения простых чисел. Считается самой важной нерешенной задачей в чистой математике.
- Уравнения Навье — Стокса. Описывают движение вязкой жидкости. Математики до сих пор не доказали, что в трехмерном пространстве решения этих уравнений всегда существуют и являются гладкими.
- P против NP. Главный вопрос информатики: можно ли быстро найти решение задачи, если его можно быстро проверить?
Логические парадоксы Самой сложной логической головоломкой в литературе часто называют задачу Джорджа Булоса.
- Самая трудная логическая задача. Даны три бога: Истина, Ложь и Случай. Истина всегда говорит правду, Ложь всегда лжет, а Случай отвечает случайным образом. Нужно за три вопроса с ответами «да» или «нет» определить, кто есть кто, при этом боги отвечают на своем языке словами «da» и «ja», смысл которых (да/нет) заранее неизвестен.
Интегралы и вычисления В школьном или студенческом фольклоре «самыми сложными» называют примеры, которые невозможно решить стандартными методами.
- Интеграл Пуассона (или Гаусса). Интеграл от функции exp(-x²), который невозможно взять в элементарных функциях через неопределенный интеграл, но можно вычислить на определенном промежутке.
- Пример с «яблоками» (Диофантово уравнение). Уравнение вида a/(b+c) + b/(a+c) + c/(a+b) = 4. Несмотря на простой вид, минимальные целые положительные решения для него состоят из 80 цифр.
Гипотеза Коллатца (Задача 3n + 1) Этот пример считается самым сложным из-за своей обманчивой простоты.
- Суть. Возьмите любое число. Если оно четное, разделите на 2; если нечетное — умножьте на 3 и прибавьте 1. Гипотеза гласит, что любое число в итоге придет к циклу 4-2-1. Несмотря на простоту формулировки, величайшие математики современности (включая Теренса Тао) признают, что современная наука пока не обладает методами для ее доказательства.
Хотите разобрать подробнее математическое доказательство одного из этих примеров или рассмотреть конкретное уравнение?