Теория ориентированного матроида допускает комбинаторный подход к
теореме о максимальном потоке и минимальном разрезе. Сеть со значением потока, равным пропускной способности отрезка
ориентированный матроид - это математическая структура, которая абстрагирует свойства ориентированные графы, векторные расположения над упорядоченными полями и расположения гиперплоскостей над упорядоченными полями. Для сравнения, обычный (т.е. неориентированный) матроид абстрагирует свойства зависимости, которые являются общими как для графов, которые не обязательно направлены, так и для расположение векторов над полями , которые не обязательно упорядочены.
Все ориентированные матроиды имеют лежащий в основе матроид. Таким образом, результаты об обычных матроидах могут быть применены к ориентированным матроидам. Однако обратное ложно; некоторые матроиды не могут стать ориентированным матроидом, ориентируя нижележащую структуру (например, схемы или независимые наборы). Различие между матроидами и ориентированными матроидами обсуждается ниже.
Матроиды часто используются в таких областях, как теория размерностей и алгоритмы. Поскольку ориентированный матроид включает дополнительные сведения об ориентированной природе структуры, его полезность распространяется на несколько областей, включая геометрию и оптимизацию.
Содержание
- 1 Предпосылки
- 2 Аксиоматизации
- 2.1 Аксиомы схемы
- 2.2 Векторные аксиомы
- 2.3 Аксиомы хиротопов
- 2.4 Эквивалентность
- 3 Примеры
- 3.1 Направленные графы
- 3.2 Линейная алгебра
- 3.3 Расположение гиперплоскостей
- 3.4 Выпуклый многогранник
- 4 Результаты
- 4.1 Ориентируемость
- 4.2 Двойственность
- 4.3 Топологическое представление
- 4.4 Геометрия
- 4.5 Оптимизация
- 5 Ссылки
- 6 Дополнительная литература
- 6.1 Книги
- 6.2 Статьи
- 6.3 В сети
- 7 Внешние ссылки
Предпосылки
Чтобы абстрагироваться от концепции ориентации на краях графа для множеств необходимо уметь задавать «направление» элементам множества. Это достигается с помощью следующего определения наборов со знаком.
- Набор со знаком, , объединяет набор объектов с разделением этого набора на два подмножества: и .
- Члены называются положительными элементами; элементы являются отрицательными элементами.
- Множество называется поддержкой .
- пустого набора со знаком, , определяется как пустой набор в сочетании с его «разделением» на два пустых набора: и .
- подписанный набор является противоположностью , т. Е. , если и только если и
Учитывая элемент опоры , мы будем писать для положительного элемента и fo r отрицательный элемент. Таким образом, подписанный набор просто добавляет отрицательные знаки к выделенным элементам. Это будет иметь смысл как «направление» только тогда, когда мы будем рассматривать ориентацию более крупных структур. Тогда знак каждого элемента будет кодировать его направление относительно этой ориентации.
Аксиоматизация
Как и обычные матроиды, существует несколько эквивалентных систем аксиом. (Такие структуры, которые обладают множеством эквивалентных аксиоматизаций, называются криптоморфными.)
Аксиомы схемы
Пусть будет любой набор. Мы называем базовым набором. Пусть будет набором наборов со знаком, каждый из которых поддерживается подмножеством . Если следующие аксиомы верны для , то эквивалентно - это набор схем со знаком для ориентированного матроида на .
- (C0)
- (C1) (симметричный)
- (C2) (несравнимо)
- (C3) (слабое исключение)
Аксиомы вектора
Состав наборов со знаком и - это набор со знаком определяется как , и . Векторы ориентированного матроида представляют собой композиции схем. Векторы ориентированного матроида удовлетворяют следующим аксиомам:
- для всех ,
- для всех , и , существует , например что
- ,
- и
- .
Аксиомы хиротопа
Пусть будет таким, как указано выше. Для каждого неотрицательного целого числа хиротоп ранга является функцией , который удовлетворяет следующим аксиомам:
- (B0) (нетривиально): не равно нулю тождественно
- (B1) (чередуется): для любой перестановки и , , где - знак перестановки.
- (B2) (обмен): для любых вс ch, что для каждого , тогда у нас также есть .
Термин хиротоп происходит от математического понятия хиральности, которое представляет собой понятие, абстрагированное от химия, где оно используется для различения молекул, имеющих одинаковые структура за исключением отражения.
Эквивалентность
Каждый хиротоп ранга порождает набор оснований матроида на состоящий из тех -element подмножеств, которым присваивает ненулевое значение. После этого хиротоп может подписать цепи этого матроида. Если - схема описанного матроида, то где - это основа. Тогда может быть подписано положительными элементами
и отрицательные элементы - дополнение. Таким образом, хиротоп порождает ориентированные основания ориентированного матроида. В этом смысле (B0) - непустая аксиома для базисов, а (B2) - свойство обмена базисами.
Примеры
Ориентированные матроиды часто вводятся (например, Бахема и Керна) как абстракция для ориентированных графов или систем линейных неравенств. Ниже приведены явные конструкции.
Направленные графы
Для орграфа мы определяем схему со знаком из стандартной схемы графа следующим способом. Поддержка схемы со знаком - стандартный набор ребер в минимальном цикле. Мы идем по циклу по часовой стрелке или против часовой стрелки, присваивая те ребра, ориентация которых совпадает с направлением, положительным элементам и тем ребрам, у которых ориентация не соответствует направлению к отрицательным элементам . Если - это набор всех таких , тогда - набор схем со знаком ориентированного матроида на множестве ребер ориентированного графа.
Ориентированный граф
Если мы рассмотрим ориентированный граф справа, то мы увидим, что есть только две схемы, а именно и . Тогда есть только четыре возможных схемы со знаком, соответствующих ориентации по часовой стрелке и против часовой стрелки, а именно , , и . Эти четыре набора образуют набор схем со знаком ориентированного матроида на множестве .
Линейная алгебра
Если - любое конечное подмножество , тогда набор минимальных линейно зависимых множеств образует набор схем матроида на . Чтобы распространить эту конструкцию на ориентированные матроиды, для каждой схемы существует минимальная линейная зависимость
с . Тогда схема со знаком имеет положительные элементы и отрицательные элементы . Набор всех таких образует набор схем со знаком ориентированного матроида на . Ориентированные матроиды, которые могут быть реализованы таким образом, называются представляемыми.
Учитывая тот же набор векторов , мы можно определить тот же ориентированный матроид с хиротопом . Для любого пусть
где правая часть уравнения является знаком детерминанта . Тогда - хиротоп того же ориентированного матроида на множестве .
Расположение гиперплоскостей
Настоящее расположение гиперплоскостей - конечный набор гиперплоскостей в , каждая из которых содержит начало координат. Выбирая одну сторону каждой гиперплоскости в качестве положительной стороны, мы получаем расположение полупространств. Компоновка полупространства разбивает окружающее пространство на конечный набор ячеек, каждая из которых определяется тем, на какой стороне каждой гиперплоскости она приземляется. То есть присвоить каждой точке подписанный набор с , если находится на положительной стороне и , если находится на отрицательной стороне . Этот набор наборов со знаком определяет набор ковекторов ориентированного матроида, которые являются векторами дуально ориентированного матроида.
Выпуклый многогранник
Гюнтер М. Циглер вводит ориентированные матроиды через выпуклые многогранники.
Результаты
Ориентируемость
Стандартный матроид называется ориентируемым, если его схемы являются опорами схем со знаком некоторого ориентированного матроида. Известно, что все реальные представимые матроиды ориентируемы. Также известно, что класс ориентируемых матроидов замкнут относительно взятия миноров, однако список запрещенных миноров для ориентируемых матроидов, как известно, бесконечен. В этом смысле ориентированные матроиды представляют собой гораздо более строгую формализацию, чем обычные матроиды.
Двойственность
Подобно тому, как матроиды имеют уникальные дуальные, ориентированные матроиды имеют уникальные ортогональные двойники. Это означает, что лежащие в основе матроиды двойственны и что кокосхемы подписаны так, что они ортогональны каждой схеме. Два знаковых множества называются ортогональными, если пересечение их опор пусто или если ограничение их положительных элементов до пересечения и отрицательных элементов до пересечения образуют два неидентичных и несовпадающих знаковых множества. Существование и уникальность дуально ориентированного матроида зависит от того факта, что каждая знаковая схема ортогональна каждой знаковой кокцепи. Чтобы понять, почему ортогональность необходима для уникальности, достаточно взглянуть на приведенный выше пример орграфа. Мы знаем, что для плоских графов двойственный матроид схемы является матроидом схемы плоского дуального графа. Таким образом, существует столько же дуальных ориентированных матроидов, сколько способов ориентировать граф и его двойственные.
Чтобы увидеть явную конструкцию этого уникального ортогонального дуально ориентированного матроида, рассмотрим хиротоп . Если мы рассмотрим список элементов как циклическую перестановку, тогда мы определить как знак ассоциированного перестановка. Если - это определяется как
затем - хиротоп уникального ортогонального дуально ориентированного матроида.
Топологическое представление
Это пример псевдолинейного расположения, которое
отличается от любого расположение линий.
Не все ориентированные матроиды можно представить, то есть не все имеют реализации в виде точечных конфигураций или, что то же самое, расположения гиперплоскостей. Однако в некотором смысле все ориентированные матроиды близки к реализации в виде гиперплоскостей. В частности, теорема о топологическом представлении Фолкмана – Лоуренса утверждает, что любой ориентированный матроид имеет реализацию в виде конфигурации псевдосфер. A -мерная псевдосфера - это вложение такой, что существует гомеоморфизм так, чтобы вставлял как экватор . В этом смысле псевдосфера - это просто ручная сфера (в отличие от диких сфер ). Расположение псевдосферы в представляет собой набор псевдосфер, пересекающихся по псевдосферам. Наконец, теорема о топологическом представлении Фолкмана Лоуренса утверждает, что каждый ориентированный матроид ранга может быть получен из расположения псевдосферы в . Он назван в честь Джона Фолкмана и Джима Лоуренса, опубликовавших его в 1978 году.
Геометрия
Зонотоп, представляющий собой сумму отрезков Минковского, является фундаментальной моделью для ориентированных матроиды. Шестнадцать темно-красных точек (справа) образуют сумму Минковского четырех невыпуклых множеств (слева), каждое из которых состоит из пары красных точек. Их выпуклые корпуса (заштрихованные розовым цветом) содержат знаки плюса (+): правый знак плюс - это сумма левых знаков плюс.
Теория ориентированных матроидов повлияла на развитие комбинаторной геометрии, особенно теория выпуклых многогранников, зонотопов и конфигураций векторов (расположения гиперплоскостей ). Многие результаты - теорема Каратеодори, теорема Хелли, теорема Радона, теорема Хана – Банаха, теорема Крейна – Мильмана, лемма Фаркаша - может быть сформулирована с использованием соответствующих ориентированных матроидов.
Оптимизация
В выпуклой геометрии симплексный алгоритм линейного программирования интерпретируется как отслеживание пути вдоль вершины выпуклого многогранника. Теория ориентированных матроидов изучает комбинаторные инварианты, которые проявляются в знаковых паттернах матриц, которые появляются как основы обмена поворотных алгоритмов.
Разработка системы аксиом для ориентированных матроидов была инициирована Р. Тиррелл Рокафеллар для описания знаковых паттернов матриц, возникающих в результате операций поворота симплексного алгоритма Данцига; Рокафеллар был вдохновлен исследованиями Альберта В. Такера таких знаков в «Таблицах Такера».
Теория ориентированных матроидов привела к прорывам в комбинаторной оптимизации. В линейном программировании это был язык, на котором Роберт Г. Бланд сформулировал свое правило поворота, с помощью которого симплекс-алгоритм избегает циклов.. Точно так же его использовали Терлаки и Чжан, чтобы доказать, что их перекрестные алгоритмы имеют конечное завершение для задач линейного программирования. Аналогичные результаты были получены в выпуклом квадратичном программировании Тоддом и Терлаки. Он был применен к дробно-линейному программированию, задачам квадратичного программирования и задачам линейной дополнительности.
Вне комбинаторной оптимизации, теории ОМ также появляется в выпуклой минимизации в теории «монотропного программирования» Рокафеллара и связанных с ней понятиях «усиленного спуска». Точно так же теория матроидов повлияла на разработку комбинаторных алгоритмов, в частности, жадного алгоритма. В более общем смысле, гридоид полезен для изучения конечного завершения алгоритмов.
Ссылки
.
Дополнительная литература
Книги
- Бахем, Ахим; Керн, Уолтер (1992). Двойственность линейного программирования: введение в ориентированные матроиды. Universitext. Springer-Verlag. DOI : 10.1007 / 978-3-642-58152-6. ISBN 978-3-540-55417-2. MR 1230380.
- Бьёрнер, Андерс ; Лас Вергнас, Мишель ; Штурмфельс, Бернд ; Белый, Нил; Циглер, Гюнтер (1999). Ориентированные матроиды. Энциклопедия математики и ее приложений. 46 (2-е изд.). Издательство Кембриджского университета. ISBN 978-0-521-77750-6. Zbl 0944.52006.
- Боковски, Юрген (2006). Вычислительно-ориентированные матроиды. Классы эквивалентности матриц в естественных рамках. Издательство Кембриджского университета. ISBN 978-0-521-84930-2. Zbl 1120.52011.
- Лоулер, Юджин (2001). Комбинаторная оптимизация: сети и матроиды. Дувр. ISBN 978-0-486-41453-9. Zbl 1058.90057.
- Эвар Д. Неринг и Альберт У. Такер, 1993, Линейные программы и связанные с ними проблемы, Academic Press. (элементарный)
- Рокафеллар, Р. Тиррелл (1984). Сетевые потоки и монотропная оптимизация. Wiley-Interscience. переиздано Athena Scientific из Dimitri Bertsekas, 1998.
- Ziegler, Günter M. (1994). Лекции по многогранникам. Нью-Йорк: Springer-Verlag.
- Рихтер-Геберт, Юрген; Циглер, Гюнтер М. (1997). «Ориентированные матроиды». В Гудман, Джейкоб Э. ; О'Рурк, Джозеф (ред.). Справочник по дискретной и вычислительной геометрии. Бока-Ратон: CRC Press. С. 111–132.
Статьи
- А. Бахем, А. Ванка, Теоремы разделения для ориентированных матроидов, Дискретная математика. 70 (1988) 303–310.
- Роберт Г. Бланд, Новые правила конечного поворота для симплекс-метода, Math. Опер. Res. 2 (1977) 103–107.
- Фолкман, Джон ; (Октябрь 1978 г.). «Ориентированные матроиды». J. Combin. Теория Сер. Б. 25 (2): 199–236. DOI : 10.1016 / 0095-8956 (78) 90039-4.
- ; Терлаки, Тамаш (1997). Томас М. Либлинг; Доминик де Верра (ред.). «Перекрестные методы: свежий взгляд на алгоритмы разворота». Математическое программирование, серия B. 79 (1–3). Амстердам: North-Holland Publishing Co., стр. 369–395. doi : 10.1007 / BF02614325. MR 1464775.
- ; Намики, Макото (март 1994). «Об экстремальном поведении метода наименьшего индекса Мурти». Математическое программирование. 64 (1): 365–370. doi : 10.1007 / BF01582581. MR 1286455.
- Иллеш, Тибор; Сирмаи, Акос; Терлаки, Тамаш (1999). «Метод конечных крестов для гиперболического программирования». Европейский журнал операционных исследований. 114 (1): 198–214. CiteSeerX 10.1.1.36.7090. DOI : 10.1016 / S0377-2217 (98) 00049-6. ISSN 0377-2217.
- R. Тиррелл Рокафеллар. Элементарные векторы подпространства , в Комбинаторной математике и ее приложениях, Р. К. Бозе и Т. А. Даулинг (ред.), Univ. of North Carolina Press, 1969, 104–127.
- Roos, C. (1990). «Экспоненциальный пример правила поворота Терлаки для симплексного метода крест-накрест». Математическое программирование. Серия A. 46 (1): 79–84. doi : 10.1007 / BF01585729. MR 1045573.
- Терлаки, Т. (1985). «Конвергентный крест-накрест». Оптимизация: журнал математического программирования и исследования операций. 16 (5): 683–690. doi : 10.1080 / 02331938508843067. ISSN 0233-1934. MR 0798939.
- (1987). «Метод конечных крестовин для ориентированных матроидов». Журнал комбинаторной теории. Серия B. 42 (3): 319–327. DOI : 10.1016 / 0095-8956 (87) 90049-9. ISSN 0095-8956. MR 0888684.
- Терлаки, Тамаш; Чжан, Шу Чжун (1993). «Правила поворота для линейного программирования: обзор последних теоретических разработок». Анналы исследований операций. 46–47 (1): 203–233. CiteSeerX 10.1.1.36.7658. DOI : 10.1007 / BF02096264. ISSN 0254-5330. MR 1260019.
- Майкл Дж. Тодд, Линейное и квадратичное программирование в ориентированных матроидах, J. Combin. Теория Сер. B 39 (1985) 105-133.
- Ван Чжэ Минь (1987). "Конечный алгоритм без конформного исключения над ориентированным матроидным программированием". Китайские анналы математики (Shuxue Niankan B Ji). Серия B. 8 (1): 120–125. ISSN 0252-9599. MR 0886756.
В Интернете
- Ziegler, Günter (1998). «Ориентированные матроиды сегодня». Электронный журнал комбинаторики.
- Малькевич, Джозеф. «Ориентированные матроиды: сила объединения». Столбец функций. Американское математическое общество. Проверено 14 сентября 2009 г.
Внешние ссылки