Оператор замыкания для матроидов
Версия от 20:21, 8 мая 2011; 192.168.0.2 (обсуждение)
Определение: |
- матроид. Тогда замыкание (closure) множества - это множество такое, что |
Определение: |
[math]M =\; \lt X,I\gt [/math] - матроид. Тогда замыкание (closure) множества [math]A \subset X[/math] - это множество [math]\lt A\gt \subset X[/math] такое, что [math]\lt A\gt = A \cup ({x\; |\; \forall B \subset A : B \in I ,\; B \cup x \notin I})[/math] |