4624
правки
Графоид: различия между версиями
Перейти к навигации
Перейти к поиску
нет описания правки
KEV (обсуждение | вклад) Нет описания правки |
KEV (обсуждение | вклад) Нет описания правки |
||
| Строка 1: | Строка 1: | ||
'''Графоид''' (''[[Graphoid]]'') | '''Графоид''' (''[[Graphoid]]'') — комбинаторный объект, состоящий из непустого множества <math>M</math> и двух семейств <math>\mathcal{C}</math> и <math>\mathcal {D}</math> непустых подмножеств множества <math>M</math>, называемых соответственно [[цикл|циклами]] и [[коцикл|коциклами]], которые | ||
удовлетворяют следующим аксиомам: | удовлетворяют следующим аксиомам: | ||
| Строка 8: | Строка 8: | ||
3) если раскрасить элементы множества <math>M</math> так, что точно один элемент будет зеленого цвета, а остальные красного или синего, то найдется либо цикл <math>C</math>, содержащий зеленый элемент и не содержащий ни одного красного, либо коцикл <math>D</math>, содержащий зеленый элемент и не содержащий ни одного синего. | 3) если раскрасить элементы множества <math>M</math> так, что точно один элемент будет зеленого цвета, а остальные красного или синего, то найдется либо цикл <math>C</math>, содержащий зеленый элемент и не содержащий ни одного красного, либо коцикл <math>D</math>, содержащий зеленый элемент и не содержащий ни одного синего. | ||
==Литература== | ==Литература== | ||
* Харари Ф. Теория графов. — М.: Мир, 1973. | |||