Jump to content

Эйлеров матроид

В теории матроидов эйлеров матроид это матроид, элементы которого можно разделить на набор непересекающихся схем.

В форме матроида , схемы представляют собой наборы ровно элементы. Следовательно, однородный матроид эйлеров тогда и только тогда, когда является делителем . Например, -точечные линии эйлеровы тогда и только тогда, когда делится на три.

На плоскости Фано есть два типа контуров: наборы из трех коллинеарных точек и наборы из четырех точек, не содержащие ни одной прямой. Трехточечные схемы являются дополнениями к четырехточечным схемам, поэтому можно разделить семь точек плоскости на две цепи, по одной каждого вида. Таким образом, плоскость Фано также является эйлеровой.

Связь с эйлеровыми графами

[ редактировать ]

Эйлеровы матроиды были определены Уэлшем (1969) как обобщение эйлеровых графов , графов, в которых каждая вершина имеет четную степень. По теореме Веблена ребра каждого такого графа можно разбить на простые циклы, из чего следует, что графические матроиды эйлеровых графов являются примерами эйлеровых матроидов. [1]

Определение эйлерова графа, приведенное выше, допускает несвязные графы, поэтому не каждый такой граф имеет эйлеров обход. Уайльд (1975) отмечает, что графы, имеющие эйлеровы обходы, могут быть охарактеризованы альтернативным способом, который обобщается на матроиды: граф имеет эйлеров тур тогда и только тогда, когда его можно составить из какого-либо другого графа и цикл в , сжимая края которые не принадлежат . В сжатом графе обычно перестает быть простым циклом и вместо этого становится туром Эйлера. Аналогично Уайльд рассматривает матроиды, которые могут быть образованы из матроида большего размера путем сжатия элементов, не принадлежащих какой-либо конкретной схеме. Он показывает, что это свойство тривиально для общих матроидов (оно означает только, что каждый элемент принадлежит хотя бы одной схеме), но может использоваться для характеристики эйлеровых матроидов среди бинарных матроидов , матроидов, представимых над GF(2) :бинарный матроид является эйлеровым тогда и только тогда, когда он является сжатием другого бинарного матроида на схему. [2]

Двойственность с двудольными матроидами

[ редактировать ]

Для плоских графов свойства эйлерова и двудольности двойственны: планарный граф является эйлеровым тогда и только тогда, когда его двойственный граф двудольный. Как показал Уэлш, эта двойственность распространяется на бинарные матроиды: бинарный матроид является эйлеровым тогда и только тогда, когда его двойственный матроид является двудольным матроидом , матроидом, в котором каждая схема имеет четную мощность. [1] [3]

Для матроидов, которые не являются бинарными, двойственность между эйлеровыми и двудольными матроидами может нарушиться. Например, универсальный матроид является эйлеровым, но его двойственное не является двудольным, так как его схемы имеют размер пять. Самодуальный однородный матроид является двудольным, но не эйлеровым.

Альтернативные характеристики

[ редактировать ]

Из-за соответствия между эйлеровыми и двудольными матроидами среди бинарных матроидов, бинарные матроиды, которые являются эйлеровыми, могут быть охарактеризованы альтернативными способами. Характеристика Уайльда (1975) является одним из примеров; еще два заключаются в том, что двоичный матроид является эйлеровым тогда и только тогда, когда каждый элемент принадлежит нечетному числу схем, тогда и только тогда, когда весь матроид имеет нечетное число разбиений на схемы. [4] Ловас и Сересс (1993) собрали несколько дополнительных характеристик эйлеровых бинарных матроидов, на основе которых они вывели алгоритм полиномиального времени для проверки того, является ли бинарный матроид эйлеровым. [5]

Вычислительная сложность

[ редактировать ]

Любой алгоритм, проверяющий, является ли данный матроид эйлеровым, при наличии доступа к матроиду через оракул независимости , должен выполнять экспоненциальное количество запросов оракула и, следовательно, не может занимать полиномиальное время. В частности, трудно выделить однородный матроид на множестве элементы со всеми циклами размера , из матроида мощения , который отличается от однородного матроида наличием двух дополнительных циклов размера . Матроид дорожного покрытия является эйлеровым, а матроид однородного — нет. Любой алгоритм оракула, примененный к однородному матроиду, должен запросы, экспоненциальное число, чтобы убедиться, что входные данные не являются экземпляром матроида дорожного покрытия. [6]

Эйлерово расширение

[ редактировать ]

Если является бинарным матроидом, не являющимся эйлеровым, то он имеет уникальное эйлерово расширение — бинарный матроид чьи элементы являются элементами вместе с одним дополнительным элементом , такой, что ограничение к элементам изоморфен . Двойник представляет собой двудольный матроид, образованный из двойственного добавив для каждой нечетной цепи. [7]

  1. ^ Перейти обратно: а б Уэлш, DJA (1969), «Эйлер и двудольные матроиды», Journal of Combinatorial Theory , 6 : 375–377, doi : 10.1016/s0021-9800(69)80033-5 , MR   0237368 .
  2. ^ Уайльд, П.Дж. (1975), «Теорема Эйлера о схеме для бинарных матроидов», Журнал комбинаторной теории , серия B, 18 : 260–264, doi : 10.1016/0095-8956(75)90051-9 , MR   0384577 .
  3. ^ Харари, Фрэнк ; Уэлш, Доминик (1969), «Матроиды против графов», «Многие аспекты теории графов» (Proc. Conf., Western Mich. Univ., Каламазу, Мичиган, 1968) , Конспекты лекций по математике, том. 110, Берлин: Springer, стр. 155–170, doi : 10.1007/BFb0060114 , MR   0263666 .
  4. ^ Шикаре, М.М. (2001), «Новые характеристики эйлеровых и двудольных бинарных матроидов» (PDF) , Indian Journal of Pure and Applied Mathematics , 32 (2): 215–219, MR   1820861 , заархивировано из оригинала (PDF) в 2015 г. -07-06 , получено 28 августа 2012 г.
  5. ^ Ловас, Ласло ; Сересс, Акос (1993), «Коциклическая решетка бинарных матроидов», European Journal of Combinatorics , 14 (3): 241–250, doi : 10.1006/eujc.1993.1027 , MR   1215334 .
  6. ^ Дженсен, Пер М.; Корте, Бернхард (1982), «Сложность алгоритмов свойств матроидов», SIAM Journal on Computing , 11 (1): 184–190, doi : 10.1137/0211014 , MR   0646772 .
  7. ^ Себё, Андраш (1990), «Кографическая многопоточная проблема: эпилог», Многогранная комбинаторика (Морристаун, Нью-Джерси, 1989) , DIMACS Ser. Дискретная математика. Теория. Вычислить. наук., вып. 1, Провиденс, Род-Айленд: Амер. Математика. Соц., стр. 203–234, МР   1105128 .
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: 912ca20352bf2cd4b722a9b1b4290a74__1692334200
URL1:https://arc.ask3.ru/arc/aa/91/74/912ca20352bf2cd4b722a9b1b4290a74.html
Заголовок, (Title) документа по адресу, URL1:
Eulerian matroid - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)