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

Погода - 15 fevral, 17:00

Баку
Давление 1032 мм
6 °C
Влажность 93 %%

Опрос

Чем закончится конфликт США с Ираном?

Всего голосов: 824

КУРС ВАЛЮТ - 16/04/2018

USDДоллар США1,7
EURЕвро2,0964
RUBРоссий. рубль0,0269
GBPБританс. фунт2,4238
TRYТурецкая лира0,4147
UAHУкраи. гривна0,065
AEDДирхам ОАЭ0,4628
KZTКазах. тенге0,0051
GELГрузин. лари0,705

Конвертер валют
Сумма:  
 

Библиотека


Архив

«    Август 2019    »
ПнВтСрЧтПтСбВс
 
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
 


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







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

22.08.17 21:14
Эксперт ООН призвала власти Сальвадора защитить жителей от гангстеров
20.08.17 19:04
Токио хочет увеличить число запусков микроспутников с модуля "Кибо" на МКС
19.08.17 23:49
Китай утвердил транспортные проекты на сумму около 12 млрд долларов
19.08.17 21:43
За кого проголосуют немецкие турки
19.08.17 13:31
Владимир Воронин: «Безусловно, я вижу будущее Республики Молдова европейским»
19.08.17 01:03
Жители Йемена переживают тройную трагедию – конфликт, голод и холеру
19.08.17 00:53
Всемирный день гуманитарной помощи – возможность проявить солидарность с мирными жителями
18.08.17 01:56
Президентура разрабатывает новую Стратегию нацбезопасности Молдовы
15.08.17 14:09
Нурсултан Назарбаев: «Мы будем работать с тем президентом, кого выберет кыргызский народ»
13.08.17 22:40
Жители Барселоны провели акцию против туристов на городском пляже
12.08.17 16:45
О миграционном процессе в современной истории
12.08.17 02:36
Поток мигрантов в Испанию увеличился втрое
10.08.17 22:22
Первый заместитель главы ООН: расширение возможностей женщин способствует укреплению безопасности
08.08.17 23:50
В УВКБ призывают Австралию найти «приемлемое» решение проблем беженцев
07.08.17 13:22
США – Индия: стратегическое партнёрство или циничный расчёт?
05.08.17 20:56
В 2017 году при попытке пересечь границу США с Мексикой погибли 232 человека
23.06.17 01:55
Аттестат о среднем образовании – путь к сокращению бедности на планете
19.06.17 00:06
Международный фестиваль ковров пройдет в Тбилиси и в крепости Рабат
18.06.17 23:49
ЮНЕСКО утвердила руководящие принципы по защите творческих деятелей и диверсификации культурного контента в Интернете
18.06.17 23:13
Каждый пятый ребенок в промышленно развитых странах живет в бедности
17.06.17 12:00
Всемирный день борьбы с опустыниванием и засухой, 17 июня
15.06.17 02:40
За последние 10 лет переводы мигрантов на родину увеличились на 50 процентов
11.06.17 00:24
Доля помощи, выделяемой на цели образования, сокращается уже шестой год подряд
10.06.17 13:26
МАГАТЭ и ФАО помогут странам бороться с фальсификацией продуктов питания
10.06.17 13:16
В Европе снижается уровень смертности от хронических заболеваний
19.11.16 04:35
Список нематериального культурного наследия ЮНЕСКО пополнят новые обычаи и формы творчества
18.11.16 19:38
Али Гасанов: «70 процентов ВВП на Южном Кавказе приходится на долю Азербайджана»
17.11.16 15:06
Внутри пирамиды майя в Чичен-Ице нашли древнюю пирамиду поменьше
17.11.16 14:22
Верховный комиссар ООН по правам человека призвал к коллективной поддержке МУС
14.11.16 22:35
Во Всемирный день борьбы с диабетом в ООН призывают сосредоточиться на его профилактике
13.11.16 01:13
Поколение наследников. Будущее афганских политических кланов
12.11.16 12:16
Кто станет президентом Молдавии?
12.11.16 01:58
Как президенты США передают дела, невзирая на неприязнь
12.11.16 01:23
Половина всех смертельных случаев пневмонии связана с загрязнением воздуха
10.11.16 01:12
Пан Ги Мун поздравил Дональда Трампа с избранием 45-м президентом Соединенных Штатов
Научное открытие: Математики доказали гипотезу Роты
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



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