Определение матроида — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
м (rollbackEdits.php mass rollback)
 
(не показано 56 промежуточных версий 9 участников)
Строка 1: Строка 1:
 
== Аксиоматическое определение ==
 
== Аксиоматическое определение ==
−
'''Матроид''' — пара <math>(X,I)</math>, где <math>X</math> — конечное множество, называемое носителем
+
{{Определение
−
матроида, а <math>I</math> — некоторое множество подмножеств <math>X</math>, называемое
+
|id=def_matroid
−
семейством ''независимых'' множеств , то есть <math>I \subset 2^X </math>. При этом должны
+
|definition=
−
выполняться следующие условия:
+
'''Матроид''' (англ. ''matroid'') {{---}} пара <tex>\langle X,I \rangle</tex>, где <tex>X</tex> {{---}} конечное множество, называемое '''носителем матроида''' (англ. ''ground'' ''set''), а <tex>I</tex> {{---}} некоторое множество подмножеств <tex>X</tex>, называемое семейством '''независимых множеств''' (англ. ''independent'' ''sets''), то есть <tex>I \subset 2^X </tex>. При этом должны выполняться следующие условия:
 +
# <tex>\varnothing \in I</tex>
 +
# если <tex>A \in I </tex> и <tex> B \subset A</tex>, то <tex>B \in I</tex>
 +
# если <tex>A,B \in I</tex> и <tex>|A| > |B|</tex>, то <tex> \exists \, x \in A \setminus B \mid B \cup \{x\} \in I</tex>
 +
}}
  
−
# <math>\varnothing \in I</math>
+
{{Определение
−
# Если <math>A \in I </math> и <math> B \subset A</math>, то <math>B \in I</math>
+
|definition=
−
# Если <math>A,B \in I</math> и мощность A больше мощности B, то существует <math>x \in A \setminus B</math> такой, что <math>B \cup \{x\} \in I</math>
+
'''База матроида''' (англ. ''base'') {{---}} максимальное по включению независимое множество.
 +
}}
  
 +
{{Определение
 +
|id=def_rank_of_matroid
 +
|definition=
 +
'''Рангом''' матроида называется мощность его баз. Ранг тривиального матроида равен нулю.
 +
}}
  
−
== Определение в терминах правильного замыкания ==
+
{{Определение
−
'''Матроидом''' называется непустое множество <math>E</math> вместе с [[Оператор_замыкания_для_матроидов | оператором замыкания]]<math>A \to \langle A \rangle</math> такое, что
+
|definition=
−
#<math>\forall p,q \in E</math> и <math>A \subset E</math> из <math>q \notin \langle A \rangle</math> и <math> q \in \langle A \cup p \rangle \Rightarrow p \in \langle A \cup q \rangle</math>
+
'''Зависимое множество''' (англ. ''dependent'' ''set'')  {{---}} подмножество носителя матроида, не являющееся независимым.
−
#<math>\forall A \subset E</math> существует такое множество <math>B \subset A</math>, что <math>\langle A \rangle = \langle B \rangle </math>
+
}}
 +
{{Определение
 +
|definition=
 +
'''Цикл матроида''' (англ. ''circuit'') {{---}} минимальное по включению зависимое множество.
 +
}}
  
−
== Дополнительные понятия ==
+
{{Определение
−
*'''Базами''' матроида называются максимальные по включению независимые множества.
+
|id = def5
−
*'''Рангом''' матроида называется мощность его баз. Ранг тривиального матроида равен нулю.
+
|definition=
 +
Матроиды <tex>M_1 = \langle X_1,I_1 \rangle</tex> и <tex>M_2 = \langle X_2,I_2 \rangle</tex> называются '''изоморфными''' (англ. ''isomorphic matroids''), если существует биекция (взаммно-однозначное отображение) <tex>\varphi\colon \ X_1 \rightarrow X_2</tex>, сохраняющая независимость, то есть множество <tex>A \subset I_1</tex> является независимым в матроиде <tex>M_1</tex> тогда и только тогда, когда образ этого множества при заданном отображении <tex>\varphi(A)</tex> есть независимое множество в матроиде <tex>M_2</tex>.
 +
}}
  
 +
==См. также==
 +
* [[Примеры матроидов|Примеры матроидов]]
 +
* [[Аксиоматизация матроида базами|Аксиоматизация матроида базами]]
 +
* [[Аксиоматизация матроида циклами|Аксиоматизация матроида циклами]]
 +
== Источники информации ==
  
−
== Литература ==
+
*''Асанов М. О., Баранский В. А., Расин В. В.'' - Дискретная математика: Графы, матроиды, алгоритмы. '''ISBN 978-5-8114-1068-2'''
−
''Асанов М. О., Баранский В. А., Расин В. В.'' - Дискретная математика: Графы, матроиды, алгоритмы. '''ISBN 978-5-8114-1068-2'''<br />
+
*[[wikipedia:Matroid | Wikipedia {{---}} Matroid]]
 +
*[[wikipedia:ru:Матроид | Википедия {{---}} Матроид]]
 +
 
 +
[[Категория:Алгоритмы и структуры данных]]
 +
[[Категория:Матроиды]]
 +
[[Категория:Основные факты теории матроидов]]

Текущая версия на 19:10, 4 сентября 2022

Аксиоматическое определение

Определение:
Матроид (англ. matroid) — пара [math]\langle X,I \rangle[/math], где [math]X[/math] — конечное множество, называемое носителем матроида (англ. ground set), а [math]I[/math] — некоторое множество подмножеств [math]X[/math], называемое семейством независимых множеств (англ. independent sets), то есть [math]I \subset 2^X [/math]. При этом должны выполняться следующие условия:
  1. [math]\varnothing \in I[/math]
  2. если [math]A \in I [/math] и [math] B \subset A[/math], то [math]B \in I[/math]
  3. если [math]A,B \in I[/math] и [math]|A| \gt |B|[/math], то [math] \exists \, x \in A \setminus B \mid B \cup \{x\} \in I[/math]


Определение:
База матроида (англ. base) — максимальное по включению независимое множество.


Определение:
Рангом матроида называется мощность его баз. Ранг тривиального матроида равен нулю.


Определение:
Зависимое множество (англ. dependent set) — подмножество носителя матроида, не являющееся независимым.


Определение:
Цикл матроида (англ. circuit) — минимальное по включению зависимое множество.


Определение:
Матроиды [math]M_1 = \langle X_1,I_1 \rangle[/math] и [math]M_2 = \langle X_2,I_2 \rangle[/math] называются изоморфными (англ. isomorphic matroids), если существует биекция (взаммно-однозначное отображение) [math]\varphi\colon \ X_1 \rightarrow X_2[/math], сохраняющая независимость, то есть множество [math]A \subset I_1[/math] является независимым в матроиде [math]M_1[/math] тогда и только тогда, когда образ этого множества при заданном отображении [math]\varphi(A)[/math] есть независимое множество в матроиде [math]M_2[/math].


См. также

Источники информации

Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Определение_матроида&oldid=84550»