Самое читаемое


Библиотека


Архив

«    Декабрь 2024    »
ПнВтСрЧтПтСбВс
 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
 


Социальная сеть







Лента новостей

31.10.24 04:23
Инфляция в Германии в октябре резко ускорилась
30.10.24 18:03
Президент ОАЭ объявил о создании нового фонда
06.10.24 12:50
​Президент ОАЭ и правитель Дубая обсудили пути развития страны
05.10.24 12:55
Евросоюз начал крупнейшую торговую войну с Китаем из-за электромобилей
05.10.24 11:47
Президент Алиев раскритиковал США за антиазербайджанскую позицию
05.10.24 11:35
В Баку с официальным визитом
24.09.24 00:42
Состоялось первое заседание Милли Меджлиса Азербайджанской Республики седьмого созыва
15.09.24 01:30
Нидерланды готовятся объявить чрезвычайное положение для борьбы с потоком мигрантов
14.09.24 21:32
Переговоры Байдена и Стармера завершились. О решении не сообщили
14.09.24 21:15
США помогают Израилю усилить ВВС
13.09.24 23:55
Подписано соглашение о размещении войск бундесвера в Литве
13.09.24 13:42
Бидзина Иванишвили лично возглавил предвыборный список «Грузинской мечты»
13.09.24 12:53
Германия в серьезном кризисе: страна под угрозой деиндустриализации
06.09.24 02:31
Глава СГБ Узбекистана предложил помочь талибам в борьбе с терроризмом
03.09.24 18:47
Папа начал визит в страны Юго-Восточной Азии и Океании
30.08.24 21:45
Спасение танкера в Красном море осложняет взрывчатка на нем
29.08.24 15:54
Омбудсмен: В Азербайджане продолжается эффективное применение принципа защиты прав человека
29.08.24 14:03
Авигдор Либерман: Я лучший кандидат на пост премьера
28.08.24 16:27
Эксперт: Падение уровня Каспия в ближайшие 10 лет может составить не менее 1 метра
27.08.24 20:55
Власти КНР признали 95-летнего епископа
27.08.24 20:16
В Кабуле возмутились решением США передать угнанную из Афганистана авиатехнику Узбекистану
27.08.24 20:08
Более 70 человек погибли в пакистанском Белуджистане в ходе масштабной атаки сепаратистов
27.08.24 19:51
Николай Патрушев: Темпы обновления флота РФ не отвечают требованиям сегодняшнего дня
27.08.24 19:42
Президент Грузии официально назначила парламентские выборы на 26 октября
25.08.24 12:10
Терпение и диалог: ключ к миру в словах Папы Франциска
23.08.24 17:51
Глава Минобороны Грузии встретился с новым послом Великобритании
23.08.24 17:31
Президент Азербайджана: Сегодня мы стали официально союзниками с Узбекистаном
23.08.24 14:20
На фоне боев в Судже немцев призвали и дальше экономить газ
20.08.24 15:02
Австралия и Индонезия заключили оборонное соглашение
19.08.24 13:23
Достижения сухопутных портов Китая в цифрах
18.08.24 23:37
Порт в Одесской области снова попытаются продать: цена вдвое выше, чем в последний раз
18.08.24 11:26
Катар призвал Иран не атаковать Израиль из-за прогресса на переговорах по Газе
19.05.24 11:10
ООН приветствует доставку помощи через плавучий пирс, но призывает открыть и сухопутные маршруты
19.05.24 09:21
Президент Садыр Жапаров принял Вице-премьера Государственного Совета Китая Лю Гочжуна
08.02.24 11:00
Блестящая победа Президента Ильхама Алиева на выборах обусловлена непоколебимой верой народа в своего лидера
Научное открытие: Математики доказали гипотезу Роты
26 августа [21:24] Наука



Математики заявили о доказательстве гипотезы Роты.

В середине августа 2013 года трое математиков — Джоф Уиттл, Джим Джилин и Бера Гегардз — объявили, что им удалось доказать гипотезу Роты. Эта гипотеза, сформулированная Жан-Карло Ротой в 1970-м году, относится к матроидам — объектам, крайне популярным в комбинаторике и геометрии. Работа математиков еще не опубликована, однако у специалистов, похоже, нет сомнений в том, что гипотеза доказана.

«Мы больше не в Матрице»

Сам термин «матроид» возник в работе «Абстрактные свойства линейной зависимости» (.pdf) Хесслера Уитни в 1935 году. Мы начнем с абстрактного определения этого объекта, а затем покажем, как он естественным образом возникает в самых разных задачах — от геометрии до программирования.

Итак, пусть дано некоторое конечное множество E. Оно называется носителем матроида. Среди всех подмножеств этого множества выделен некоторый набор подмножеств I, удовлетворяющий трем условиям:

1) Набор содержит пустое множество.

2) Если набор содержит подмножество H, то он содержит и все подмножества H.

3) Если H и K — два разных подмножества E, содержащиеся в I, причем в H элементов меньше, чем в K, то в K можно выбрать такой элемент a, что, добавив его к H, мы получим подмножество H', также лежащее в I.

Подмножества, попавшие в набор I, называются независимыми. В свою очередь, не попавшие — зависимыми.

Для того чтобы это абстрактное определение было проще усвоить, приведем несколько примеров. Рассмотрим носитель E, состоящий из одного элемента {x}. Множество всех подмножеств такого носителя состоит ровно из двух подмножеств — пустое подмножество и подмножество, состоящее из {x}. Учитывая, что по первому условию в определении матроида пустое множество должно всегда попадать в набор I, вариантов этого набора остается ровно два — пустое множество и пустое подмножество вместе со всем множеством. Для обоих наборов остальные свойства из определения матроида, очевидным образом, выполняются.

Если в носителе E два элемента {x, y}, то, с учетом пустого подмножества, у такого множества ровно 4 подмножества. Всего можно придумать 15 наборов подмножеств. Матроидов будет много меньше. Действительно, возьмем подмножество с максимальным числом элементов, входящее в матроид. Если в таком множестве 0 элементов, то матроид состоит только из пустого множества; если это число равно 1, то матроидов три — содержащие в довесок к пустому множеству либо {x}, либо {y}, либо оба из этих подмножеств; если же число равно двум, то по третьему пункту в определении такой матроид единственный и содержит все подмножества E. То есть всего мы получили пять матроидов на двуэлементном носителе.

Пусть теперь E состоит из n элементов. Универсальным матроидом Uk, n называется матроид, состоящий из всех подмножеств множества E, в которых не более k элементов. Построенные выше для одноэлементного носителя матроиды являются универсальными и обозначаются U0, 1 и U1, 1. Из пяти матроидов для двухэлементного множества три являются универсальными — это U0, 2, U1, 2 и U2, 2.

Пусть программисту-фрилансеру Васе Пупкину дано n заданий. Для каждого задания известен его дедлайн, а также стоимость (то есть если Вася не выполняет задание, то теряет столько-то денег). Вася настолько крут, что за один день может сделать одно задание. Выполнение задания можно начать с момента 0. Нужно максимизировать прибыль.

Классический пример поведения жадины: Васе выгодно делать самые дорогие задания, а самые дешевые можно и не выполнять — тогда прибыль будет максимальна. Возникает вопрос: каким образом распределить задания? Будем перебирать задания в порядке убывания стоимости. При этом заполнять расписание станем так: если на очередном шаге для заказа есть хотя бы одно свободное место (то есть пустой день в расписании) до наступления дедлайна, то из всех таких «дырок» выберем самую позднюю в смысле даты (но чтобы до дедлайна). В противном случае в срок мы его все равно не можем выполнить, поэтому забиваем на него.

Помимо самого определения матроида нам потребует понятие минора матроида. Минор — это некоторый новый матроид, получаемый из исходного при помощи двух операций — ограничение и сжатия.

Ограничение работает следующим образом — мы берем и выбрасываем из E некоторое количество элементов. Остается множество, которое мы обозначим S. Если на E был задан матроид M, то оставляем только те независимые подмножества, которые целиком попали в S. Результат такого выбрасывания оказывается матроидом уже на S и называется результатом ограничения матроида на S.

Алгоритм называется жадным, если для поиска оптимального решения задачи на каждом шаге выбирается оптимальное решение. Теорема Радо-Эдмондса утверждает, что жадный алгоритм выдает правильный ответ тогда и только тогда, когда, объект, о котором идет речь, представляет собой матроид. Примерами жадных алгоритмов являются алгоритм Прима, алгоритм Крускала и алгоритм Дейкстры.Рассмотрим работу этой операции на примере. Возьмем уже знакомый нам двуэлементный носитель E и выкинем из него один элемент. В результате получим одноэлементный носитель S. Легко проверяется, что при ограничении на S матроид U2, 2 превращается в U1, 1. При этом, ограничение на S U1, 2 также дает U1, 1. В общем, операция не самая простая.

Сжатие матроида устроено несколько сложнее. Из E снова выкидываются некоторые элементы, чтобы осталось множество S. При этом носителем сжатия будут выкинутые элементы. Подмножество H такого носителя называется независимым, если после добавления к нему любого независимого множества из S получается независимое множество в исходном матроиде. Сжатие матроида U2, 2 на одноэлементное подмножество снова дает U1, 1.

Нужно держаться корней

Теперь, когда с мотивацией покончено, можно перейти к содержательным с точки зрения теории примерам матроидов. Итак, пусть задана обычная матрица — прямоугольная таблица с m строками и n столбцами. Столбцы матрицы можно складывать (покомпонентно), умножать на число (тоже покомпонентно). Набор столбцов s1, …, sk называется линейно зависимым, если найдутся такие числа ai (среди них должно быть хотя бы одно ненулевое), что, перемножив столбцы на эти числа и сложив, то есть a1s1 + … + aksk, мы получим нулевой столбец.

Рассмотрим несколько примеров. Если k = 1, то столбец должен быть нулевым, так как a1 должно быть ненулевым. Если k = 2, то два столбца зависимы тогда и только тогда, когда они пропорциональны с некоторым коэффициентом. Когда k > 2, то ситуация несколько усложняется. Например, если дана матрица 3 на 3, то ее столбцы зависимы, если все три вектора, соответствующие столбцам, лежат в одной плоскости.

Если набор не является зависимым, то, как нетрудно догадаться, он называется независимым. Оказывается, что независимые наборы образуют самый настоящий матроид, который получил название матричного. Именно такие матроиды и рассматривал Уитни. Ему хотелось уйти от традиционного представления о зависимости и независимости столбцов в матрице (на самом деле — наборов векторов в некотором линейном пространстве), которое требует умножения на число и сложения. Вместо этого он поставил перед собой целью разобраться с комбинаторной структурой таких наборов — в чем и преуспел: определение и простота структуры оказались крайне полезны в математике.


Важно понимать, что само понятие матроид — гораздо шире матричного матроида. Уитни удалось обнаружить матроиды, которые нельзя представить в виде матричных. Одним из таких матроидов является матроид Фано (см. картинку). Независимыми считаются наборы из трех точек (и все их подмножества), через которые проходят кривые.

Графовые матроиды

С матричными матроидами тесно связаны графовые матроиды (по сути графовые матроиды могут быть представлены как матричные для некоторой, достаточно большой матрицы, называемой матрицей инцидентности).

Графом в математике называется конечное множество точек, некоторые из которых соединены кривыми, называемые ребрами. Путем в графе называется последовательность вершин, где каждая следующая соединена с предыдущей ребром. По сути, это последовательности вершин, которые можно пройти, двигаясь по ребрам графа. Циклом называется путь, который начинается и заканчивается в одной и той же вершине. Подробно про графы «Лента.ру» уже неоднократно писала.

Носителем такого матроида выступает множество его вершин. Подмножество вершин, которое образует путь без циклов, называется независимым. Все такие подмножества образуют матроид, который и называется графовым матроидом. Графовый матроид хорош тем, что понятие минора, определяемое в общем случае через ограничение и сжатие, для него значительно упрощается. Минором называется матроид, который построен на графе, полученном из исходного последовательным применением трех операций: удаления ребра; удаление вершины вместе со всеми ребрами, из нее исходящими; склеивание двух вершин, не соединенных ребром.

С графовыми матроидами связано множество замечательных геометрических результатов — сам Уитни доказал множество интересных (правда, довольно технических) теорем, благодаря которым на свет появилась теорема о четырех красках. Самой известной, пожалуй, из теорем такого рода является теорема Вагнера.

Граф называют плоским, если его можно изобразить на плоскости так, что его ребра не будут пересекаться. Рассмотрим теперь матроиды графов. Будем называть матроид запрещенным минором, если граф, по которому он построен, не плоский, однако, любой его подграф — уже плоский. Легко понять, что граф не плоский, если и только если в качестве одного из своих миноров он содержит запрещенный минор. Теорема Вагнера утверждает, что таких запрещенных миноров всего два. Они соответствуют так называемым графам K5 и K3,3. 

В связи с этим известен замечательный факт. Если рисовать графы не на плоскости, а на какой-нибудь другой поверхности, скажем, торе, то матроиды графов K3,3 и K5 не будут запрещенными минорами. Однако, существует результат, что количество таких запрещенных миноров для любой двумерной поверхности будет конечным. Впрочем это количество растет экспоненциально быстро — так, на проективной плоскости 35 запрещенных миноров, в то время как на торе — уже несколько сотен и полный список до сих пор неизвестен.

Гипотеза Роты

Полем в математике называется множество с набором операций (обычно их обозначают сложением и умножением), обладающих определенным свойством. Простейший пример поля — это множество действительных чисел. Во-первых, элементы этого множества можно складывать, причем сложение ассоциативно (то есть p + (q + r) = (p + q) + r); коммутативно (от перемены мест слагаемых сумма не меняется); есть нейтральный элемент, называемый нулем (нейтральный, то есть его сумма с любым числом дает это же число), и для каждого элемента q определен обратный -q, сумма с которым дает нейтральный элемент. Во-вторых, элементы этого множества можно умножать, причем умножение также ассоциативно, коммутативно, обладает нейтральным элементом (единица) и для каждого ненулевого q определен обратный элемент 1/q, произведение с которым дает нейтральный элемент, то есть единицу. Сложение и умножение связаны так называемым дистрибутивным законом p (q + r) = pq + pr. Подробно про конечные поля «Лента.ру» уже писала.

На самом деле идею запрещенных миноров вполне можно обобщить. Действительно, представим, что нас интересует некоторое свойство матроида с условием, что если минор матроида обладает этим свойством, то и весь матроид обязан обладать (в случае с графовыми матроидами это было свойство «граф не является плоским»). Тогда запрещенными минорами будем называть миноры, которые не содержат миноров с нужным нам свойством.

Теперь рассмотрим матроиды и зададимся вопросом, какие из них матричные? Оказывается, свойство матроида не быть матричным как раз подходит для определения запрещенных миноров. В результате, если в матрице стоят действительные числа, то запрещенных миноров бесконечно много (матроид Фано — лишь один из них). Как изменится ситуация, если перейти от поля действительных чисел к конечным полям?

Уильям Татт в 1958 году доказал, что над полем, состоящем из двух элементов Z2 существует ровно один запрещенный минор — это U2, 4. В 1979 году было доказано, что над полем из трех элементов запрещенными являются U2, 5 и U3, 5, а в 2000 году было показано, что над полем из четырех элементов оказалось 7 запрещенных миноров.

В 1978 году Джиан-Карло Ротой сформулировал гипотезу: множество запрещенных миноров над каждым конечным полем конечно. Спустя почти 40 лет трое математиков — Джоф Уиттл, Джим Джилин и Бера Гегардз — заявили о доказательстве этой гипотезы. Соответствующий доклад прозвучал еще в июле 2013 года. Пока их работа не опубликована в рецензируемом журнале (да и самой работы пока нет) и ничего не известно про само доказательство. Позволяет ли оно строить запрещенные миноры или хотя бы оценивать их количество? Неизвестно.

Специалисты, однако, сходятся во мнении, что, если кто и мог доказать эту гипотезу, то это Уиттл, Джилин и Гегардз. В общей сложности они потратили на работу над этой гипотезой 15 лет.

 

Научное открытие: Математики доказали гипотезу Роты

Научное открытие: Математики доказали гипотезу Роты

Научное открытие: Математики доказали гипотезу Роты



Отдел информации ИАП Azglobus.net



Новости по теме: